Cure - Verification-First Programming for the BEAM
cure-lang.org·7h·
Discuss: Lobsters
🦀Rust
Flag this post
Orange Tunisia Empowers Youth for 15 Years of Sustainable Innovation.
siliconafrica.com·4d
🎯reinforcement learning
Flag this post
Is 'learn to craft' the new 'learn to code?'
qz.com·1d·
Discuss: Hacker News
🏭manufacturing
Flag this post
Families mourn after loved ones' last words went to AI instead of a human
scrippsnews.com·7h·
Discuss: Hacker News
🤖llm
Flag this post
AWS and OpenAI announce multi-year strategic partnership
aboutamazon.com·3h·
Discuss: Hacker News
📱Edge AI
Flag this post
Celtic Code: Drawing Knots with Python
2earth.github.io·9h·
Discuss: Hacker News
🦀Rust
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·5h·
Discuss: Hacker News
🧮Mathematics
Flag this post
German Research Foundation wants to retrieve data from US clouds
heise.de·8h·
Discuss: Hacker News
🌤️Atmospheric Sensing
Flag this post
I tested Sora's new 'Character Cameo' feature, and it was borderline disturbing
zdnet.com·19h·
Discuss: Hacker News
🎨Neural Rendering
Flag this post
Dictionary.com's 2025 Word of the Year is 67
dictionary.com·2d·
Discuss: Hacker News
🤖llm
Flag this post
Using classic physical phenomena to solve new problems
news.mit.edu·3d·
Discuss: Hacker News
🌊Underwater Robotics
Flag this post
Genetic Mechanisms May Explain Why Bowhead Whales Can Live for 200 Years
iflscience.com·1h·
Discuss: Hacker News
🌊Ocean Sensing
Flag this post
Learn to Be Bored
allenc.com·1d·
Discuss: Hacker News
📱Edge AI
Flag this post
30 Years of Code, 25 Years of Tests
phpunit.expert·1d·
Discuss: Hacker News
🦀Rust
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·16h·
Discuss: Hacker News
🚀CUDA Kernels
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🧮Mathematics
Flag this post
“I Deliver Parcels in Beijing”: Chinese literary sensation reaches U.S.
restofworld.org·6h·
Discuss: Hacker News
🏭manufacturing
Flag this post
Show HN: I built Cuiz-AI, turns documents into quizzes in seconds
cuiz-ai.com·3d·
Discuss: Hacker News
🎮mujoco
Flag this post
AGI ???
blog.gomonish.com·8h·
Discuss: r/LocalLLaMA
📱Edge AI
Flag this post
Just Write Tests
theblackarrovv.github.io·9h·
Discuss: Hacker News
🐞Debugging
Flag this post