| 121. | The mysterious black fungus from Chernobyl that may eat radiation | (bbc.com) |
|
Mould found at the site of the Chernobyl nuclear disaster appears to be feeding off the radiation. Could we use it to shield space travellers from cosmic rays? | |
| 4 points by bookmtn 21 hours ago | 0 comments |
| 122. | Experimenting with Robin Hood Hashing | (twdev.blog) |
|
C++ & Golang software engineering blog by Tomasz Wisniewski. Lessons learned and tips and tricks about modern software development with C++ and Golang. | |
| 3 points by signa11 5 days ago | 0 comments |
| 123. | 10 years of writing a blog nobody reads | (flowtwo.io) |
|
|
||
| 4 points by thejoeflow 1 day ago | 1 comments |
| 124. | Bfs: A breadth-first version of the Unix find command | (github.com) |
|
|
A breadth-first version of the UNIX find command. Contribute to tavianator/bfs development by creating an account on GitHub. | |
| 5 points by todsacerdoti 18 hours ago | 0 comments |
| 125. | Just Use Postgres for Everything | (amazingcto.com) |
|
|
Replace Redis, MongoDB, Kafka & more with PostgreSQL. Reduce complexity, boost development speed. Complete guide with real examples. | |
| 5 points by b-man 9 hours ago | 1 comments |
| 126. | Last Issue of "ECMAScript News" | (ecmascript.news) |
|
|
||
| 3 points by Klaster_1 2 days ago | 0 comments |
| 127. | Underrated reasons to be thankful V | (dynomight.net) |
|
even more | |
| 9 points by numeri 1 day ago | 0 comments |
| 128. | Designing a Mechanical Calculator | (signoregalilei.com) |
|
Nearly two years ago, I decided to 3D print a mechanical calculator. This project is extremely in character for me. I love old technology, and especially mixing old and new technology (like sending digital data via ham radio). When you want to 3D print something, there are different levels of how sane you can be.… | |
| 3 points by surprisetalk 5 days ago | 0 comments |
| 129. | How/why to sweep async tasks under a Postgres table | (taylor.town) |
|
|
I like slim and stupid servers, where each endpoint wraps a very dumb DB query. Dumb queries are fast. Fast queries make websites smooth and snappy. Keep those click/render loops sacred. Sweep complexity under a task table. | |
| 6 points by ostler 7 days ago | 0 comments |
| 130. | Coq: The World's Best Macro Assembler? [pdf] | (nickbenton.name) |
|
|
||
| 5 points by addaon 2 days ago | 1 comments |
| 131. | S&box is now an open source game engine | (sbox.game) |
|
|
||
| 4 points by MaximilianEmel 2 days ago | 0 comments |
| 132. | The Hidden Language of Our Body's Rhythms | (thereader.mitpress.mit.edu) |
|
Daniel Forger on how our biological rhythms influence sleep, mood, and performance. | |
| 4 points by the-mitr 15 hours ago | 0 comments |
| 133. | Collabora Online Desktop Released with Improved UI from LibreOffice | (collaboraonline.com) |
|
||
| 5 points by nogajun 2 days ago | 0 comments |
| 134. | Social media algorithms can alter political views, browser extension study shows | (euronews.com) |
|
A browser extension powered by AI can reduce how people feel about opposing political views, according to new research that looked into the 2024 US presidential election. | |
| 4 points by geox 13 hours ago | 0 comments |
| 135. | ZZ9000 multifunction card for Zorro Amigas | (amiga-shop.net) |
|
|
The ZZ9000 is an expansion card for Zorro Amigas and offers HD resolution graphics, USB, network and flickerfixer functionality. | |
| 4 points by doener 6 days ago | 0 comments |
| 136. | TPUv7: Google Takes a Swing at the King | (newsletter.semianalysis.com) |
|
Anthropic’s 1GW+ TPUs, New customers Meta/SSI/xAI/OAI, Full Stack Review of v7 Ironwood, CUDA Moat at risk, Next Generation TPUv8AX and TPUv8X versus Vera Rubin | |
| 7 points by pella 18 hours ago | 0 comments |
| 137. | Can Advanced Type Systems Be Usable? [pdf] | (cs.cmu.edu) |
|
|
||
| 3 points by azhenley 16 hours ago | 0 comments |
| 138. | Comparing xeus-Haskell and ihaskell kernels | (datahaskell.org) |
|
|
Overview | |
| 4 points by mchav 3 days ago | 1 comments |
| 139. | Music eases surgery and speeds recovery, study finds | (bbc.com) |
|
A new study finds patients who listen to music during surgery wake faster and need fewer painkillers. | |
| 10 points by 1659447091 2 days ago | 0 comments |
| 140. | ML-KEM Mythbusting | (keymaterial.net) |
|
What is this? There have been some recent concerns about ML-KEM, NIST's standard for encryption with Post-Quantum Cryptography, related standards of the IETF, and lots of conspiracy theories about malicious actors subverting the standardization process. As someone who has been involved with this standardization process at pretty much every level, here a quick debunking of… | |
| 12 points by durumcrustulum 1 day ago | 3 comments |
| 141. | Terence Tao: At the Erdos problem website, AI assistance now becoming routine | (mathstodon.xyz) |
|
|
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold". 2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean. 3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0 | |
| 9 points by dwohnitmok 6 days ago | 0 comments |
| 142. | bonsai_term: A library for building dynamic terminal apps by Jane Street | (github.com) |
|
|
A library for building dynamic terminal apps, using bonsai - janestreet/bonsai_term | |
| 4 points by azhenley 2 days ago | 1 comments |
| 143. | How to Short the Bubbliest Firms | (economist.com) |
|
|
||
| 7 points by 1vuio0pswjnm7 12 hours ago | 0 comments |
| 144. | Mongolian Script | (en.wikipedia.org) |
|
||
| 3 points by Razengan 8 hours ago | 0 comments |
| 145. | Show HN: I turned algae into a bio-altimeter and put it on a weather balloon | (radi8.dev) |
|
|
||
| 4 points by radeeyate 6 days ago | 0 comments |
| 146. | Flights disrupted as Airbus requests modifications to planes | (bbc.co.uk) |
|
The issue is thought to affect 6,000 planes, which will need to undergo an urgent software update or have computers replaced. | |
| 5 points by martinald 13 hours ago | 0 comments |
| 147. | Ruby Was Ready from the Start | (obie.medium.com) |
|
|
“” is published by Obie Fernandez. | |
| 4 points by thunderbong 5 days ago | 0 comments |
| 148. | Study Reveals How Tattoo Ink Affects the Immune System | (swissinfo.ch) |
|
||
| 6 points by croh 15 hours ago | 0 comments |
| 149. | Shai-Hulud Returns: Over 300 NPM Packages Infected | (helixguard.ai) |
|
|
HelixGuard provides open-source research on supply chain malware and vulnerability intelligence. Advanced threat detection tools and datasets for the security community. | |
| 55 points by mrdosija 4 days ago | 5 comments |
| 150. | The Input Stack on Linux: An End-to-End Architecture Overview | (venam.net) |
|
Let's explore and deobfuscate the input stack on Linux. Our aim is to understand its components and what each does. Input handling can be divided into two parts, separated by a common layer. We’ll try to make sense of all this, one thing at a time, with a logical and coherent approach. | |
| 10 points by venamresm__ 1 day ago | 0 comments |