Bitcoin Miner TeraWulf's Stock Surges as Google Ups Its Stake in the Company
finance.yahoo.com·1d
⚖Algorithmic Game Theory
Vikings trade veteran DT Harrison Phillips to Jets for 2026 draft pick, 2027 pick swap: Sources
nytimes.com·6h
🎲Probabilistic Programming
Towards Building Efficient SCALES Protocols
eprint.iacr.org·3d
🔐Cryptography
How to Build a Brand Monitoring Bot on X
anchorbrowser.io·10h·
Discuss: Hacker News
🦀Rust
Progress on my open source funding experiment
hezmatt.org·6h
👐Open Source Software
LLM-D, with Clayton Coleman and Rob Shaw
sites.libsyn.com·16h
🧮Programming Language Theory
That's Not Refactoring
codewithjason.com·14h·
Discuss: Hacker News
⚙Functional Programming
Holding Myself Accountable for Next Steps
tbr.bearblog.dev·10h
🧩Theorem Proving
Open the pod bay door, GPT-4o
theregister.com·23h
🤖Sci-Fi
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·2d·
Discuss: Hacker News
🎲Probabilistic Programming
[R] Is data the bottleneck for video/audio generation?
reddit.com·1d·
Discuss: r/MachineLearning
🎲Probabilistic Programming
High-Throughput Low-Cost Segmentation of Brightfield Microscopy Live Cell Images
arxiv.org·2h
🧫Cellular Automata
⚡ Go Arenas: Request‑Scoped Speed in 2025
dev.to·2h·
Discuss: DEV
🦀Rust
I Tried AI Coding Tools. Now I Want to Learn to Code.
every.to·20h
🔌Network Programming
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
arxiv.org·3d
🧭SMT Solvers
TinyTim: A Family of Language Models for Divergent Generation
arxiv.org·3d
🔧Compiler Design
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·6d·
Discuss: r/rust
⚙Functional Programming
# How I Built a Fully Decentralized On-Chain Game with 0 Lines of Code, Thanks to Gemini
dev.to·6h·
Discuss: DEV
🔐Cryptography
How I Use AI to Learn Faster Than Ever Before
dev.to·2h·
Discuss: DEV
🧩Theorem Proving
Context Matters: Incorporating Target Awareness in Conversational Abusive Language Detection
arxiv.org·2d
🧮Programming Language Theory