Terence Tao says ChatGPT saved him hours solving a math problem
the-decoder.com·1h
🧮SMT Solvers
The battle over the EU’s Big Tech rules begins. Here are 5 fights to watch.
politico.eu·1d
⚖️Legal Compliance
The First Programming Language: A Timeline
tuple.nl·21h·
Discuss: Hacker News
📊APL Heritage
AI Acceleration Vs. Precaution
noemamag.com·21h·
Discuss: Hacker News
🇷🇺Russian Computing
Issue 729
iosdevweekly.com·1d
🔌Interface Evolution
Engineering at HRT: Roles, Interviews, and What to Expect
hudsonrivertrading.com·23h·
Discuss: Hacker News
⚙️Proof Engineering
The AI Money Vortex
theatlantic.com·16h
🤖AI Curation
Benchmark: Spark vs. Ray Data vs. Daft on Multimodal Workloads
daft.ai·19h·
Discuss: Hacker News
🌊Stream Processing
Conversation Is Over: In AI-powered shopping, dialogue only gets in the way
aboard.com·20h·
Discuss: Hacker News
🎯Recommendation Metrics
Alibaba cloud FPGA: the $200 Kintex UltraScale+
essenceia.github.io·15h·
🔧FPGA Preservation
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·10h·
Discuss: Hacker News
🧪CBOR Fuzzing
Blogpost: A Mental Model for GPU Engineering for LLMs
modelcraft.substack.com·1h·
Discuss: Substack
🔩Systems Programming
A (1995) company that made nothing but bad ads
buttondown.com·1d·
Discuss: Hacker News
🕹️Retro Gaming
Major Tech News: October 1, 2025
dev.to·1d·
Discuss: DEV
🔍BitFunnel
Magnificent Seven surpass EU GDP: Is this a tech bubble warning?
euronews.com·12h
🖥️Terminal Renaissance
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·13h·
Discuss: Hacker News
🔤Type Theory
‘A paroxysm of disposability’: France’s distaste for Shein’s ultra-fast fashion
theguardian.com·1d
📖Nordic Typography
Show HN: TorchSystem, Event driven systems with PyTorch
github.com·13h·
Discuss: Hacker News
Incremental Computation