10 interesting things surfaced from HN on 2026-10-24

“Along these lines, we used Codex to collaboratively build an alloy model for verifying the authorization model of GoodMem. After building the model, we implemented the code based on it, and, while there could be a gap in the translation process, several hours of red-teaming the server (w/attacker source code access) to try and produce a privilege escalation attack using GLM 5.3 failed.”

svcrunch · recommendation · first hand use

Direct HN comment

“The beautiful thing about Janet is how lightweight and portable it is, no JVM. I use Janet for all my agentic scripting. Python is forbidden in my harness. Janet scripts for everything. Love it.”

phillc73 · recommendation · first hand use

Direct HN comment

“One of my favorite things about UUIDv7: the package https://pypi.org/project/uuid7/ does not implement compliant UUIDv7s, it's from a wholly incompatible draft format. That was not a fun debugging session. https://pypi.org/project/uuid-utils/ is what you want :)”

btown · recommendation · first hand use

Direct HN comment

“I did google take out > immich and it maintained all meta data. I used https://github.com/simulot/immich-go”

slickdork · recommendation · first hand use

Direct HN comment

“Oh, it's yours! Thank you. I've been using this dataset for two years now. It's really helped me in game development; specifically being able to use words instead of hex values in things like error messages and modeling palettes.”

venning · recommendation · first hand use

Direct HN comment

“We haven't done concrete measurements yet, but my intuition is that the quality of Lacuna proposals is a function of density of topics / research directions. Lacuna is most dense around AI topics; for neighboring ones (e.g. bio, physics), I'd join you in tempering expectations. The one thing I could recommend however is rigging up the mcp (https://github.com/tiptreesystems/lacuna-research-mcp) to your code agent and trawling the database for ideas worth thinking about.”

nasimrahaman_tt · recommendation · author or maintainer

Direct HN comment

“I used this during my walk around around Tirana, Albania this morning where I'm traveling right now. I learned some interesting history about the neighborhood I'm staying in. Also discovered some museums and buildings nearby that I'd like to check out now. When I visit a new city I usually spend time poking around Google Maps to discover points of interest nearby, but this will be another useful resource. Thanks!”

johnny_lol · recommendation · first hand use

Direct HN comment

“i love the feature where you can select a song to compare to.”

busssard · recommendation

Direct HN comment

“Singing is about so much more than just hitting the right notes. Breath management is one of the most important skills you can develop to improve your singing. Proper vocal technique helps you avoid injuring your voice when tackling difficult songs. Learning to recognize and use techniques like belting, twang, head voice, chest voice, vocal fry, etc., can really bring your singing to life. Prosody and rhythm training help you develop good timing (one of the most important aspects of music), and there's so much more to it. This kind of app is great for getting started and getting a taste of what singing involves, but it would be awesome to cover these other aspects as well, or at least mention their existence for aspiring singers.”

enzoaguado · caveat

Direct HN comment

“In case anyone is interested, you can test your relative pitch perception (as opposed to producing the pitch) in this excellent Yale site:”

wnissen · recommendation · first hand use

Direct HN comment

“A ridiculously great film you should see, about everything that matters, all in one modestly history-distorting bonkers movie, with some songs and some cracking dialogue:”

dofm · recommendation

Direct HN comment