BlackRock iShares Bitcoin ETF Surges Past 700K BTC in Record-Breaking Run

BlackRock’s iShares Bitcoin Trust (IBIT) now holds 700,000 bitcoin (BTC), according to Glassnode data, and has amassed $76 billion in assets under management in just 18 months, outstripping both the iShares Core S&P 500 ETF (IVV), which tracks the U.S. equity benchmark, and iShares Russell 2000 ETF (IWM), which tracks the performance of small-cap U.S. … Read more

How Typing Rules and Type Soundness Work in Core and Fun Programming Languages

Table of Links Introduction Translating To Sequent Calculus 2.1 Arithmetic Expressions 2.2 Let Bindings 2.3 Top-level Definitions 2.4 Algebraic Data and Codata Types 2.5 First-Class Functions 2.6 Control Operators Evaluation Within a Context 3.1 Evaluation Contexts for Fun 3.2 Focusing on Evaluation in Core Typing Rules 4.1 Typing Rules for Fun 4.2 Typing Rules for … Read more

Australian Crypto Asset Manager DigitalX Secures Over $13M to Expand Bitcoin Holdings

Crypto asset manager DigitalX (DCC) has locked in 20.7 million australian dollar ($13.5 million) from heavyweight crypto investors to deepen its focus on bitcoin (BTC). The placement attracted funding from Animoca Brands, UTXO Management and ParaFi Capital, alongside individual contributions from executives in the crypto space. One of those participants is Simon Gerovich, President and … Read more

XRP Futures Open Interest Zooms to 5-Month High as Traders Seek Bullish Bets

Futures tied to XRP XRP are flashing positive signals as the payments-focused cryptocurrency looks to build bullish momentum. On Monday, cumulative open interest in XRP perpetual futures listed on major exchanges briefly rose to 800 million XRP, the most since Jan. 19, according to data source Velo. The platform tracks activity in USDT and USD … Read more

Why Type Soundness Matters in Functional Programming Languages

Table of Links Introduction Translating To Sequent Calculus 2.1 Arithmetic Expressions 2.2 Let Bindings 2.3 Top-level Definitions 2.4 Algebraic Data and Codata Types 2.5 First-Class Functions 2.6 Control Operators Evaluation Within a Context 3.1 Evaluation Contexts for Fun 3.2 Focusing on Evaluation in Core Typing Rules 4.1 Typing Rules for Fun 4.2 Typing Rules for … Read more

Coinbase Recovers to Listing Day Valuation. What Next for COIN?

This is a daily technical analysis by CoinDesk analyst and Chartered Market Technician Omkar Godbole. Shares in cryptocurrency exchange Coinbase recently rose to $380, reclaiming valuations last seen on its Nasdaq debut on April 15, 2021, according to data source TradingView. The round trip, encompassing a recovery from the 2022 low of $31.55, has triggered … Read more

Dogecoin ‘Triangle Pattern’ in Play as DOGE Prints Higher Low After Pullback

Dogecoin has stabilized near $0.17 after a 4.6% decline, with strong support forming at the $0.166–$0.167 zone. Despite recent weakness, the surge in large wallet accumulation and easing macro headwinds point to potential bullish continuation if price can break through technical resistance zones at $0.18, $0.21, and $0.36. News Background The cryptocurrency market is navigating … Read more

How Focusing Resolves Stuck Terms in Core Evaluation

Table of Links Introduction Translating To Sequent Calculus 2.1 Arithmetic Expressions 2.2 Let Bindings 2.3 Top-level Definitions 2.4 Algebraic Data and Codata Types 2.5 First-Class Functions 2.6 Control Operators Evaluation Within a Context 3.1 Evaluation Contexts for Fun 3.2 Focusing on Evaluation in Core Typing Rules 4.1 Typing Rules for Fun 4.2 Typing Rules for … Read more

OpenAI tightens the screws on security to keep away prying eyes

OpenAI has reportedly overhauled its security operations to protect against corporate espionage. According to the Financial Times, the company accelerated an existing security clampdown after Chinese startup DeepSeek released a competing model in January, with OpenAI alleging that DeepSeek improperly copied its models using “distillation” techniques. The beefed-up security includes “information tenting” policies that limit … Read more

Eric Trump to Headline BTC Asia in August

The Trump crypto conference tour continues, with Eric Trump confirmed to speak at BTC Asia conference in Hong Kong in August. Hong Kong is pushing through a variety of pro-crypto legislation through its local assembly, known as LegCo. The city had its own stablecoin legislation before the U.S. passed the GENIUS Act. Trump, speaking earlier … Read more

Crypto Traders Shrug Off Dormant Bitcoin Whale Moves, With Profit-Taking on XRP, DOGE, SOL

Bitcoin (BTC) posted its highest-ever weekly close at nearly $110,000 on Sunday, defying a week marked by potential headwinds, including dormant whale wallets moving $8 billion in BTC, renewed tariff drama, and thin holiday liquidity. By Tuesday, the asset was holding steady just under $108,000 after a brief sell-off on Monday night. Major crypto assets … Read more

The Risks and Realities of Leverage Staking

Table of Links Abstract and 1. Introduction 2. Related Work 3 Background 3.1 Blockchain and DeFi 3.2 Ethereum PoS 3.3 Staking Options 3.4 LSD 3.5 DeFi Lending Protocols 4 System Model and 4.1 System Participants 4.2 Leverage Staking with LSDs 5 Analytical Study 6 Empirical Study 7 Cascading Liquidation 7.1 stETH Price Deviation and Terra … Read more

Comparative Analysis of Leverage Borrowing and Leverage Staking in Ethereum’s LSD Ecosystem

Table of Links Abstract and 1. Introduction 2. Related Work 3 Background 3.1 Blockchain and DeFi 3.2 Ethereum PoS 3.3 Staking Options 3.4 LSD 3.5 DeFi Lending Protocols 4 System Model and 4.1 System Participants 4.2 Leverage Staking with LSDs 5 Analytical Study 6 Empirical Study 7 Cascading Liquidation 7.1 stETH Price Deviation and Terra … Read more

Stress Testing the Ethereum LSD Market

:::info Authors: (1) Xihan Xiong, Imperial College London, UK; (2) Zhipeng Wang, Imperial College London, UK; (3) Xi Chen, University of Sussex, UK; (4) William Knottenbelt, Imperial College London, UK; (5) Michael Huth, Imperial College London, UK. ::: Table of Links Abstract and 1. Introduction 2. Related Work 3 Background 3.1 Blockchain and DeFi 3.2 … Read more