| 31. | I put a real search engine into a Lambda, so you only pay when you search | (nixiesearch.substack.com) |
|
How we compiled a Lucene-based JVM search engine into native code, moved the index to S3+EFS, and managed to cold-start it in 600 milliseconds, and still failed to make the setup reasonably fast. | |
| 8 points by shutty 8 hours ago | 0 comments |
| 32. | A Unified Theory of Ego, Empathy, and Humility at Work | (matthogg.fyi) |
|
In our daily lives empathy and humility are obvious virtues we aspire to. They keep our egos in check. Less obvious is that they're practical skills in the workplace, too. I think, for developers and technical leaders in particular, that the absence of ego is the best way to further our careers and do great work. | |
| 4 points by mrmatthogg 17 hours ago | 0 comments |
| 33. | Opus 4.5 | (platform.claude.com) |
|
|
||
| 6 points by p0seidon 27 minutes ago | 0 comments |
| 34. | Set Theory with Types | (lawrencecpaulson.github.io) |
|
|
||
| 5 points by baruchel 2 days ago | 0 comments |
| 35. | Fast Lua runtime written in Rust | (astra.arkforge.net) |
|
🔥 Blazingly Fast 🔥 lua runtime | |
| 6 points by akagusu 5 hours ago | 4 comments |
| 36. | A free tool that stuns LLMs with thousands of invisible Unicode characters | (gibberifier.com) |
|
|
Gibberifier - Block AIs from reading your text with invisible Unicode characters while preserving meaning for humans. Prevent AI detection and plagiarism with advanced text obfuscation. | |
| 5 points by wdpatti 16 hours ago | 3 comments |
| 37. | 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 1 day ago | 0 comments |
| 38. | The Cloudflare outage was a good thing | (gist.github.com) |
|
The CloudFlare outage was a good thing. GitHub Gist: instantly share code, notes, and snippets. | |
| 3 points by radeeyate 16 hours ago | 0 comments |
| 39. | Building the largest known Kubernetes cluster, with 130k nodes | (cloud.google.com) |
|
Learn about the architectural innovations we used to build a 130,000-node Kubernetes cluster, and the trends driving demand for these environments. | |
| 4 points by TangerineDream 3 days ago | 0 comments |
| 40. | Show HN: I wrote a minimal memory allocator in C | (github.com) |
|
|
a custom memory allocator in C. Contribute to t9nzin/memory development by creating an account on GitHub. | |
| 5 points by t9nzin 20 hours ago | 0 comments |
| 41. | Bureau of Meteorology asked to examine $96.5M bill for website redesign | (abc.net.au) |
|
|
Federal Environment Minister Murray Watt has asked the weather agency's new boss to examine how the website's cost and redesign went so wrong. | |
| 6 points by OuterVale 6 hours ago | 1 comments |
| 42. | Fifty Shades of OOP | (lesleylai.info) |
|
|
This post talks about the many different aspects under the umbrella term OOP | |
| 6 points by todsacerdoti 9 hours ago | 0 comments |
| 43. | Pixar: The Early Days | (stevejobsarchive.com) |
|
A never-before-seen 1996 interview | |
| 3 points by tosh 5 days ago | 0 comments |
| 44. | Iowa City Made Its Buses Free. Traffic Cleared, and So Did the Air | (nytimes.com) |
|
|
||
| 19 points by bookofjoe 21 hours ago | 4 comments |
| 45. | An Economy of AI Agents | (arxiv.org) |
|
|
Abstract page for arXiv paper 2509.01063: An Economy of AI Agents | |
| 7 points by nerder92 1 day ago | 1 comments |
| 46. | A desktop app for isolated, parallel agentic development | (github.com) |
|
|
A desktop app for isolated, parallel agentic development - coder/mux | |
| 4 points by mercat 20 hours ago | 0 comments |
| 47. | Native Secure Enclave backed SSH keys on macOS | (gist.github.com) |
|
|
Native Secure Enclaved backed ssh keys on MacOS . GitHub Gist: instantly share code, notes, and snippets. | |
| 45 points by arianvanp 1 day ago | 1 comments |
| 48. | Mount Proton Drive on Linux using rclone and systemd | (github.com) |
|
|
Contribute to dadtronics/protondrive-linux development by creating an account on GitHub. | |
| 4 points by cf100clunk 1 day ago | 0 comments |
| 49. | Having Fun with Complex Numbers: A Real-Life Journey for Upper Elementary Studen | (mathwonder.org) |
|
|
This complex number book is based on the innovative work of deriving the imaginary unit and Euler formula from first principles. Complex numbers formed from imaginary numbers have widespread applications, but have remained puzzling to many learners. The work opens up the opportunity to explore, extend and share with the general public the newly gained comprehensive understanding of complex numbers for the thorough demystificatio, popularization and empowerment to broader educational levels. | |
| 5 points by smm16r 5 days ago | 2 comments |
| 50. | Hyperoptic: IPv6 and Out-of-Order Packets | (blog.zakkemble.net) |
|
Troubleshooting Hyperoptic IPv6, covering suppressed router advertisement responses and MAC-related out-of-order packet issues. | |
| 3 points by speckx 6 days ago | 0 comments |
| 51. | General principles for the use of AI at CERN | (home.web.cern.ch) |
|
|
||
| 6 points by singiamtel 8 hours ago | 3 comments |
| 52. | Moss survived outside of the International Space Station for 9 months | (livescience.com) |
|
A species of moss survived for 9 months on the outside of the International Space Station, new research reveals — and 80% of the samples kept reproducing when returned to Earth. | |
| 5 points by geox 3 days ago | 0 comments |
| 53. | Editing Code in Emacs | (redpenguin101.github.io) |
|
|
||
| 25 points by redpenguin101 1 day ago | 0 comments |
| 54. | Jimmy Cliff, Jamaican reggae singer, actor and cultural icon, dies aged 81 | (theguardian.com) |
|
Star of The Harder They Come had hits including You Can Get It If You Really Want and I Can See Clearly Now | |
| 4 points by gfortaine 6 hours ago | 0 comments |
| 55. | Norway's lesson for Europe on wealth taxes: let some millionaires go | (reuters.com) |
|
|
||
| 5 points by wslh 38 minutes ago | 0 comments |
| 56. | A time-travelling door bug in Half Life 2 | (mastodon.gamedev.place) |
|
Attached: 1 image Recent discussion about the perils of doors in gamedev reminded me of a bug caused by a door in a game you may have heard of called "Half Life 2". Are you sitting comfortably? Then I shall begin. | |
| 4 points by AshleysBrain 2 days ago | 0 comments |
| 57. | Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] | (mathcs.holycross.edu) |
|
|
||
| 6 points by o4c 1 day ago | 1 comments |
| 58. | Shaders: How to draw high fidelity graphics with just x and y coordinates | (makingsoftware.com) |
|
|
||
| 3 points by Garbage 1 day ago | 0 comments |
| 59. | Racket v9.0 | (blog.racket-lang.org) |
|
|
_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.0 is now available from https://download.racket-lang.org/. **Racket 9.0 is here!** A major release is always exciting and Racket 9.0 is no exception in that it intr... | |
| 5 points by Fice 1 day ago | 0 comments |
| 60. | Band of Holes | (en.wikipedia.org) |
|
||
| 3 points by user070223 5 days ago | 0 comments |