A famous formula for π: π/4 = 1 − 1/3 + 1/5 − 1/7 + … This comes from a trigonometry formula: arctan(x) = x − x³/3 + x⁵/5 − x⁷/7 + … Putting x = 1 gives the series for π/4. This result was discovered independently by: Gottfried Wilhelm Leibniz (1673), James Gregory (1671), Nilakantha Somayaji (around 1500, in Tantrasangraha).

📊 @Solana is the largest network by RWA holder count at 290,353, up 133.5% year-to-date Below is the breakdown by asset class and market share: 1) Stocks: 234.6K (80.8%) 2) Commodities: 27.2K (9.4%) 3) U.S. Treasury Debt: 8.9K (3.1%) 4) Specialty Finance: 8.1K (2.8%) 5) Asset-Backed Credit: 5.6K (1.9%) 6) Non-US Government Debt: 4.3K (1.5%) 7) Real Estate: 1.3K (0.5%) 8) Diversified Credit: 159 (0.1%) 9) Corporate Credit: 71 (0.02%) 10) Active Strategies: 27 (0.01%) 11) Private Equity: 20 (0.01%) 12) Cryptocurrencies: 12 (0.01%)

In 2023, more than 5,000 attended the 30th Annual "OWN IT!" Baron Conference at New York's iconic Met Opera House. The 2024, 31st Annual "Building Legacy" Baron Conference on November 15th at The Met… features exceptional executives of SpaceX...MSCI...Arch Capital...and Red Rock Resorts...the Baron Capital team...incredible entertainment...and an ice cream cone served by former ice cream truck driver Ron... Oh yeah...good luck winning one of three awesome Tesla Y door prizes. All expenses, including door prizes...are paid by @BaronCapital...not our clients... Investors should consider the investment objectives, risks, and charges and expenses of the investment carefully before investing. The prospectus and summary prospectuses contain this and other information about the Funds. You may obtain them from the Funds’ distributor, Baron Capital, Inc., by calling 1-800-99-BARON or visiting Please read them carefully before investing. Portfolio holdings as a percentage of net assets as of June 30, 2024 for securities mentioned are as follows: Space Exploration Technologies Corporation - Baron Asset Fund (2.9%), Baron Fifth Avenue Growth Fund (0.9%), Baron Focused Growth Fund (10.3%), Baron Global Advantage Fund (6.1%), Baron Opportunity Fund (2.8%), Baron Partners Fund (13.2%*); Tesla, Inc. - Baron Fifth Avenue Growth Fund (3.2%), Baron Focused Growth Fund (8.6%), Baron Global Advantage Fund (3.3%), Baron Opportunity Fund (3.5%), Baron Partners Fund (28.9%*), Baron Technology Fund (2.5%); MSCI Inc. - Baron Asset Fund (0.5%), Baron Durable Advantage Fund (2.1%), Baron FinTech Fund (2.5%), Baron Focused Growth Fund (3.1%), Baron Growth Fund (9.8%), Baron Partners Fund (1.8%*); Arch Capital Group Ltd. - Baron Asset Fund (4.8%), Baron Durable Advantage Fund (2.1%), Baron FinTech Fund (3.0%), Baron Focused Growth Fund (6.4%), Baron Growth Fund (12.7%), Baron International Growth Fund (2.8%), Baron Partners Fund (9.5%*); Red Rock Resorts, Inc. - Baron Discovery Fund (1.6%), Baron Focused Growth Fund (3.9%), Baron Growth Fund (1.5%), Baron Partners Fund (1.5%*), Baron Real Estate Fund (1.7%), Baron Small Cap Fund (3.6%). *% of Long Positions. Portfolio holdings are subject to change. Current and future portfolio holdings are subject to risk. All expenses associated with this conference are paid by Baron Capital, Inc. No conference expenses are paid by Baron Funds. BAMCO, Inc. is an investment adviser registered with the U.S. Securities and Exchange Commission (SEC). Baron Capital, Inc. is a broker-dealer registered with the SEC and member of the Financial Industry Regulatory Authority, Inc. (FINRA).

SpaceXAI just launched Grok Voice Think Fast 2.0 - its most capable speech-to-speech model yet The numbers are so impressive: • 82.9% overall Speech-to-Speech Quality Index • 97.2% on speech reasoning • 56.5% on agentic voice tasks • Just 0.70 seconds to first audio • Uses only 0.4× the reasoning tokens of Think Fast 1.0 Grok Voice Think Fast 2.0 now ranks ahead of GPT-Realtime-2.1 and Gemini 3.1 Flash on overall speech-to-speech benchmarks But the biggest improvement is real-world listening Across thousands of short phrases in 24 languages, it delivers 1.5–2× better transcription accuracy than Deepgram Nova 3 and ElevenLabs Scribe v2 In noisy environments and compressed phone calls, that advantage grows to around 10× It can also reason while speaking, allowing tool calls to begin before it even finishes its first sentence.....with no added latency Conversations now feel much more natural: • Shorter responses • One question at a time • Less filler • More fluid dialogue • Better guidance through complex tasks SpaceXAI has already deployed it on Starlink's phone line and saw significant increases in both sales conversion and customer support containment Grok Voice Think Fast 2.0 becomes the default grok-voice-latest model on August 5 Pricing: $0.08 per minute of audio Voice AI is rapidly evolving from scripted assistants into intelligent agents that can listen, reason, speak, and take action in real time

Hardy and Ramanujan’s most famous joint paper was in the theory of partitions, the ways of representing a given whole number n as the sum of positive whole numbers. The number 5, for example, can be “partitioned” seven ways: 5 = 5 5 = 4 + 1 5 = 3 + 2 5 = 3 + 1 + 1 5 = 2 + 2 + 1 5 = 2 + 1 + 1 + 1 5 = 1 + 1 + 1 + 1 + 1 As n grows, the number of partitions balloons. For n = 10, there are 42. For n = 50, there are 204,226. For n = 100, there are 190,569,292. And for n = 200 there are 3,972,999,029,588. In 1918, in a forty-page paper on partition theory, Hardy and Ramanujan offered a surprisingly accurate asymptotic formula for the number of partitions of an integer n. In 1942, Erdős was able to show that Hardy and Ramanujan didn’t need to use heavy machinery to deduce the first term of their formula, that the term could be found by “elementary” methods. Elementary techniques are not necessarily simpler. In this context, elementary means that the proof of the formula relies on a restricted set of numbers, the so-called real.

Helldivers 2 has announced the Optimising Liberty project, an ongoing initiative focused on performance and technical improvements for PC, PlayStation, and Xbox platforms. The first major update launches on May 27, 2026, and introduces official upscaling support developed in collaboration with Nixxes Software. New performance options include: On PC: >DLSS 4.5, FSR 4.0.3, FSR 3.1.5 fallback, and XeSS 3.0 upscaling >NVIDIA Reflex and AMD Anti-Lag 2 for lower input latency >Dynamic Resolution Scaling and Variable Rate Shading On consoles: >FSR 3.1 upscaling on base PS5 and Xbox >PSSR support on PS5 Pro >Variable Refresh Rate on PS5 consoles Arrowhead has described this as the first step in a series of technical updates planned throughout the year.

I've been discussing Huawei's τ scaling (temporal scaling) with people recently, and noticed the conversation tends to stay at the surface level without reaching its substance — likely because many participants don't come from an EE background and aren't familiar with the classical meaning of τ in circuit theory. The very first time constant you learn in a circuits course is τ = RC: the resistance of a wire multiplied by its capacitance gives the order of magnitude of the time a signal needs to traverse that wire. The longer the wire, the greater the resistance and capacitance, and the slower the signal. Within this framework, the past sixty years of geometric scaling are reinterpreted as one particular implementation of temporal scaling. Transistors were shrunk to shorten switching delay; circuits were packed more tightly to shorten metal interconnects and reduce signal propagation delay. Geometric scaling was only ever the means — compressing delay was always the end. Huawei's thesis is that once geometric scaling stalls, you find other ways to keep compressing delay. As it happens, He Tingbo's τ scaling paper released its v2 a couple of days ago, expanding from 16 to 23 pages. I compared the two versions: the data and conclusions are unchanged. The additions are essentially responses to several points of criticism the industry raised about v1. Three are worth discussing. The most important addition is the test evidence now backing the previously bare claim of "41% energy efficiency improvement." In v1, that number had no baseline and no test conditions — the most obvious target for scrutiny. V2 supplies a full comparison table. The baseline is the 2025 Kirin 9030 Pro. Both chips use the same mature process node; the key difference is that the baseline uses a conventional planar design, while Kirin 2026 folds critical paths across two vertically bonded wafers. Folding shortens interconnects and reduces interconnect delay. The timing margin freed up on the critical path translates directly into a higher maximum clock frequency: 3.1 GHz at 1.1 V supply, 13% above the baseline. The "41% energy efficiency improvement" comes from a separate operating point specifically configured for an iso-performance comparison: voltage scaled down to 0.9 V, frequency scaled down to 2.5 GHz, with measured power at 25°C coming in at 0.59× the baseline. A back-of-the-envelope estimate checks out: dynamic power scales roughly with the square of supply voltage, so an 18% voltage reduction contributes about one-third of the power drop from the square term alone. Factor in the 9% frequency reduction and the interconnect capacitance eliminated by folding, and you land right around 0.59×. So the precise meaning of "41% energy efficiency improvement" is power reduction at iso-performance. In essence, the timing margin gained from folding is traded for lower power consumption; the efficiency gain comes from logic folding. As a side note, v2 also reports that power density after dual-layer stacking is actually 5.6% lower than the baseline. The second addition addresses the question peers are most likely to ask: 3D stacking has been around for years — AMD's 3D V-Cache and Intel's Foveros are both in volume production — so what's new about LogicFolding? To understand the paper's answer, you first need to know how two layers of silicon communicate. They rely on inter-layer bond pads, which function like elevators connecting the upper and lower floors. In prior production 3D stacking, bond pad pitch ranges from 9 μm to tens of micrometers, yielding roughly ten thousand connections per square millimeter — enough to attach a bus to an entire cache block. So the established design approach has been to move complete functional blocks wholesale onto the upper tier. AMD, for example, stacks an entire cache die on top of a processor die; the two tiers are designed independently and connected through an interface. But inside a chip, a single square millimeter contains hundreds of millions of transistors. If you want adjacent logic gates to sit on different tiers — one on top, one on the bottom — that connection density falls far short. Kirin 2026 brings bond pad pitch down to 1.5 μm, yielding 440,000 connections per square millimeter. That approaches the density of the top-level metal wiring inside a chip. Routing a signal across tiers costs roughly the same as routing it across metal layers within a single die. At this point, the two silicon layers merge into a single entity in the circuit sense. EDA tools can decide at the individual logic-gate level which gate goes on which tier, handing the problem to algorithms for global optimization — a completely different degree of design freedom from what came before. The paper also explains why they didn't take the more aggressive route of fabricating a second device layer directly on top of the first. That approach offers the finest inter-layer connectivity, but manufacturing the second layer requires high temperatures that damage the already-completed first layer. It isn't production-viable today. The third addition is thermal management. Vertical stacking significantly increases thermal density per unit area, and the lower die's heat dissipation path is blocked by the upper die. This is the first objection anyone raises about 3D stacking, and v1 did not address it in depth. V2 openly acknowledges that thermal management remains a key challenge for the LogicFolding architecture. The countermeasure is thermally-aware partitioning and floorplanning: during the design phase, high-power circuits are excluded from folding candidates, and the floorplan avoids placing high-power blocks in vertical adjacency to prevent hotspot superposition. Whether this strategy is a set of manually imposed engineering constraints or has already been codified into an automated flow within their internal EDA tools, the paper does not say. It only identifies a multi-physics tool chain as the single most important investment for the next decade. Combined with the measured data showing power density 5.6% below the baseline at the iso-performance operating point, the thermal concern has at least received a direct response. That said, this approach is fundamentally avoidance-based. As stacking grows to three or four tiers, the design space eligible for folding will be progressively squeezed by thermal constraints — a boundary the paper does not explore. Additionally, v2 includes a cross-sectional micrograph of the bond interface between the two wafers and explicitly states that wafer-on-wafer hybrid bonding is used. This spec is worth benchmarking against the industry: 1.5 μm pitch wafer-to-wafer hybrid bonding on a production logic chip has no precedent. TSMC's SoIC is currently in production at 6 μm pitch; Intel's Foveros Direct is at 9 μm. Impressive, to say the least. After comparing the two versions, I'm left with two questions. One is about equipment: who supplied the bonding tools capable of this spec? The paper says only that it is the result of years of process development across a multi-vendor ecosystem. The other is about EDA: designing two wafers as a single chip is beyond what any commercially available EDA tool can do today. The paper acknowledges this, stating only that methodological details will be "published within months." Yet the frequency table shows that the 2027-generation Kirin at 3.39 GHz is already tagged as having physical silicon, meaning this toolchain was up and running inside Huawei long ago — and has been validated on at least two product generations. My personal guess is that this EDA capability was built in-house by Huawei. If anyone has insight on this, I'd welcome the discussion.