Three ways formally verified code can go wrong in practice
buttondown.comยท9h
๐Ÿ“œProof Carrying Code
How Calyx Is Solving The $100 Billion Problem That's Fragmenting DeFi Across 19 Blockchains
hackernoon.comยท10h
๐Ÿ”—Hash Chains
In-Depth Analysis: "Attention Is All You Need"
dev.toยท11hยท
Discuss: DEV
๐Ÿง Intelligence Compression
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.comยท1d
๐Ÿ’ปLocal LLMs
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.coยท1dยท
Discuss: Hacker News
๐Ÿ“ŠLearned Metrics
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท22h
๐ŸงฎTheorem Proving
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท13hยท
Discuss: Hacker News
๐Ÿ”—Lisp
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.orgยท22h
๐ŸงฎVector Embeddings
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.toยท17hยท
Discuss: DEV
๐Ÿ•ต๏ธFeed Discovery
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.orgยท1d
๐Ÿง Learned Codecs
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Estimating Fair Graphs from Graph-Stationary Data
arxiv.orgยท22h
๐ŸŒˆSpectral Methods
Programmer in Wonderland
binaryigor.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
LinVideo: A Post-Training Framework towards O(n) Attention in Efficient Video Generation
arxiv.orgยท22h
๐Ÿง Learned Codecs
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.orgยท22h
๐Ÿ—บ๏ธCompetency Maps
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.orgยท1d
๐Ÿ“ŠGraph Databases
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.orgยท22h
๐ŸงฎKolmogorov Complexity
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.orgยท22h
๐Ÿ“ผCassette Combinators
TCDRM: A Tenant Budget-Aware Data Replication Framework for Multi-Cloud Computing
arxiv.orgยท22h
๐Ÿ’พStorage Replication