Cactus Language • Pragmatics 13
inquiryintoinquiry.com·6d
🔢Denotational Semantics
LUKS In-Place Conversion Tool
johannes-bauer.com·13h
🏺ZIP Archaeology
Updates!
scottaaronson.blog·5d
🌳Context free grammars
DuckDB in Production
datamethods.substack.com·13h·
Discuss: Substack
✅Archive Fixity
History of IRC (Internet Relay Chat)
daniel.haxx.se·17h·
Discuss: Hacker News
📡Network Archaeology
'We're the authority': These 'sovereign citizen' sheriffs want to jail a PM
abc.net.au·1d
⚖️Digital Evidence
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·4d·
Discuss: Hacker News
🧪Binary Fuzzing
FinOps as Code – Unlocking Cloud Cost Optimization
devops.com·1h
🌊Stream Processing
Silent Speak and Spell Gets Its Voice Back
hackaday.com·7h
⚡Circuit Archaeology
Pico2-Ice development board combines Raspberry Pi RP2350B with Lattice iCE40UP5K FPGA
cnx-software.com·7h
🔌Single Board PC
RegimeNAS: Regime-Aware Differentiable Architecture Search With Theoretical Guarantees for Financial Trading
arxiv.org·1d
📊Quantization
Emerging Skycube
arxiv.org·4d
📥Feed Aggregation
Which Ways of Knowing Work? Building an Epistemology Tier List
linch.substack.com·5d·
Discuss: Substack
🔲Cellular Automata
CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
arxiv.org·1d
⚡CPU Microarchitecture
A Real-time Concrete Crack Detection and Segmentation Model Based on YOLOv11
arxiv.org·1d
🤖Advanced OCR
The Best Platforms for Evaluating AI Models in 2025
dev.to·5d·
Discuss: DEV
🔍Concolic Testing
HN: Solo founder building "GTM agent swarm" – anyone else?
news.ycombinator.com·23h·
Discuss: Hacker News
🌀Brotli Internals
[D] Cool new ways to mix linear optimization with GNNs? (LP layers, simplex-like updates, etc.)
reddit.com·3d·
Discuss: r/MachineLearning
💻Local LLMs
Automated Dynamic Characterization of SARS-CoV-2 Spike Protein Corona Dynamics via Hyperdimensional Feature Space Analysis
dev.to·3d·
Discuss: DEV
🌀Differential Geometry
Real Madrid vs Osasuna prediction: Los Blancos to get opening win at the Bernabeu
the-independent.com·3h
🎯Proof Tactics