DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data on 2024-10-14 15:44 (#6RF4Y) Comments
AlphaCodium outperforms direct prompting of OpenAI's o1 on coding problems on 2024-10-14 15:20 (#6RF4Z) Comments
Scientists successfully breed corals to improve their heat tolerance on 2024-10-14 14:34 (#6RF26) Comments
Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2024 on 2024-10-14 10:18 (#6REZD) Comments
Graph Databases for Crime-Fighting: How Memgraph Maps and Analyzes Criminal on 2024-10-14 07:34 (#6REVN) Comments
A review after using Rust on embedded in production for over a year on 2024-10-14 06:06 (#6RET1) Comments
A FLOSS platform for data analysis pipelines that you probably haven't heard of on 2024-10-14 04:38 (#6REQ2) Comments
C++ String Conversion: Exploring std:from_chars in C++17 to C++26 on 2024-10-14 02:43 (#6REQ6) Comments
Rama on Clojure's terms, and the magic of continuation-passing style on 2024-10-14 02:20 (#6REQ7) Comments
The TikTok documents: Stripping teens and boosting 'attractive' people on 2024-10-14 00:11 (#6REMM) Comments
FriendlyElec NanoPi R5S as PTP Grandmaster Clock with GNSS/GPS Discipline (2022) on 2024-10-13 22:05 (#6REMN) Comments
Show HN: I built Bazaari.io to make launching online stores simple and fast on 2024-10-13 21:59 (#6REKJ) Comments
Refurb weekend: the Symbolics MacIvory Lisp machine I have hated on 2024-10-13 21:31 (#6REJ9) Comments
Catastrophically warm predictions are more plausible than we thought on 2024-10-13 21:05 (#6REJA) Comments
The Optimus robots at Tesla's Cybercab event were humans in disguise on 2024-10-13 19:54 (#6REJC) Comments
Fish Out of Water: The Military Is an Impossible Place for Hackers, What to Do on 2024-10-13 19:42 (#6REGW) Comments
The military is an impossible place for hackers, and what to do about it (2018) on 2024-10-13 19:42 (#6REJD) Comments