| 31. | MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatib | (github.com) |
|
|
MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatible packet radio modems - datapartyjs/MeshTNC | |
| 5 points by todsacerdoti 6 hours ago | 0 comments |
| 32. | Red Robin Died by Spreadsheet. Don't Make the Same Mistake | (garryslist.org) |
|
||
| 5 points by mooreds 1 hour ago | 0 comments |
| 33. | A solver for Semantle | (victoriaritvo.com) |
|
|
||
| 5 points by evakhoury 3 days ago | 0 comments |
| 34. | I'm #1 on Google thanks to AI bullshit [video] | (youtube.com) |
|
my original video: https://youtu.be/II2QF9JwtLcandy's videos: GOOD WATCH:https://youtu.be/Vk8x0iRr2ekhttps://youtu.be/RJfWi5qRuAc | |
| 4 points by basilikum 1 hour ago | 0 comments |
| 35. | Cord: Coordinating Trees of AI Agents | (june.kim) |
|
AI agents are good at doing one thing at a time. Give Claude a focused task and it performs. But real work isn’t one task. It’s a tree of tasks with dependen... | |
| 7 points by gfortaine 1 day ago | 0 comments |
| 36. | Declarative, Inquisitive, then Imperative (2017) [pdf] | (forth.org) |
|
|
||
| 3 points by tosh 4 days ago | 0 comments |
| 37. | Are compilers deterministic? | (blog.onepatchdown.net) |
|
|
||
| 4 points by fragmede 2 hours ago | 0 comments |
| 38. | Lean 4: How the theorem prover works and why it's the new competitive edge in AI | (venturebeat.com) |
|
|
||
| 3 points by tesserato 4 days ago | 1 comments |
| 39. | Hackers Expose Age-Verification Software Powering Surveillance Web | (therage.co) |
|
Three hacktivists tried to find a workaround to Discord’s age-verification software. Instead, they found its frontend exposed to the open internet. | |
| 4 points by speckx 2 hours ago | 0 comments |
| 40. | Coccinelle: The Linux kernel's source-to-source transformation tool | (github.com) |
|
|
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria) - coccinelle/coccinelle | |
| 5 points by anon111332142 18 hours ago | 0 comments |
| 41. | Attention is all you need to bankrupt a university | (hollisrobbinsanecdotal.substack.com) |
|
Unbalancing the books | |
| 4 points by HR01 1 hour ago | 0 comments |
| 42. | What Is OAuth? | (leaflet.pub) |
|
|
Wherein I [try to] answer a seemingly straightforward question: "WTF is OAuth, anyhow?" | |
| 4 points by cratermoon 1 day ago | 0 comments |
| 43. | Beagle CRDT SCM outer interface | (gist.github.com) |
|
GitHub Gist: instantly share code, notes, and snippets. | |
| 3 points by gritzko 4 days ago | 0 comments |
| 44. | macOS's Little-Known Command-Line Sandboxing Tool | (igorstechnoclub.com) |
|
||
| 19 points by Igor_Wiwi 12 hours ago | 2 comments |
| 45. | I found a Vulnerability. They found a Lawyer | (dixken.de) |
|
What happens when you responsibly disclose a critical vulnerability exposing personal data - including that of minors - and the organization responds with legal threats instead of a thank you? | |
| 24 points by toomuchtodo 1 day ago | 7 comments |
| 46. | The bare minimum for syncing Git repos | (alexwlchan.net) |
|
I don't need GitHub or a cloud service to keep my Git repos in sync -- files and folders work just fine. | |
| 3 points by speckx 4 days ago | 0 comments |
| 47. | Approaches to writing two-sentence journal entries | (alexanderbjoy.com) |
|
Methods for writing and organizing your two-sentence journal. | |
| 4 points by fi-le 4 days ago | 0 comments |
| 48. | Apple researchers develop on-device AI agent that interacts with apps for you | (9to5mac.com) |
|
Despite having just 3 billion parameters, Ferret-UI Lite matches or surpasses the benchmark performance of models up to 24 times larger. | |
| 4 points by brandonb 1 hour ago | 0 comments |
| 49. | Ggml.ai joins Hugging Face to ensure the long-term progress of Local AI | (github.com) |
|
|
ggml.ai joins Hugging Face to ensure the long-term progress of Local AI | |
| 66 points by lairv 1 day ago | 7 comments |
| 50. | Mathematics in the Library of Babel | (daniellitt.com) |
|
Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mostly being stuck. It's about clinging to a giant edifice and feeling it out until you understand some tiny piece of it. It's about finding meaning in and intuition for the texture of an object which, at first, can only be apprehended by bashing your skull into it until it imprints on your forehead. Then trying to convey some of that insight to someone else, and watching as they find their own way to it. I started trying to get LLMs to do math in July 2020, through the game "AI Dungeon," one of the earliest applications powered by GPT-3. I first got GPT-3 to produce a correct proof (of Fermat's Little Theorem) in April 2022. At the time I did not think they would become useful for math research in the near term. This changed when the first reasoning models were released: on February 1, 2025, I wrote that the model o3-mini-high “clearly has passed the threshold of genuine usefulness” for research, while still making many, many mistakes. Since then, the models have improved, and ChatGPT 5.2 Pro (released in December 2025) can regularly provide reasonable proofs of lemmas that I would characterize as “involved but routine for experts,” though it still makes many errors. And I have been using Codex, OpenAI's coding/computer use agent, for scientific computing tasks I would not have considered attempting a few months ago. In public comments, I've tried to credit successes while pushing back against hype. I've talked a lot about "slop" papers on arXiv. I have worried that we are polluting the scientific commons with incorrect mathematics whose errors are enormously difficult to detect. I've tried to focus on the present. In this essay I'll talk about the future. | |
| 3 points by robinhouston 6 hours ago | 0 comments |
| 51. | Index, Count, Offset, Size | (tigerbeetle.com) |
|
Insights, updates, and technical deep dives on building a high-performance financial transactions database. | |
| 5 points by ingve 3 days ago | 0 comments |
| 52. | Turn Dependabot Off | (words.filippo.io) |
|
|
I recommend turning Dependabot off and replacing it with a pair of scheduled GitHub Actions, one running govulncheck, and the other running CI against the latest version of your dependencies. | |
| 4 points by todsacerdoti 1 day ago | 0 comments |
| 53. | Wikipedia bans Archive.today after site executed DDoS and altered web captures | (arstechnica.com) |
|
If DDoSing a blog wasn't bad enough, archive site also tampered with web snapshots. | |
| 6 points by nobody9999 1 day ago | 5 comments |
| 54. | Ace is a complete BASIC compiler for the Amiga computer platform | (github.com) |
|
|
AmigaBasic ACE. Contribute to mdbergmann/ACEBasic development by creating an account on GitHub. | |
| 3 points by doener 6 hours ago | 0 comments |
| 55. | The Big List of Naughty Strings | (github.com) |
|
|
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data. - minimaxir/big-list-of-naughty-strings | |
| 3 points by shirian 5 hours ago | 0 comments |
| 56. | Facebook is absolutely cooked | (pilk.website) |
|
|
Through the mirror into the lightly-clothed AI gooniverse | |
| 27 points by npilk 1 day ago | 21 comments |
| 57. | Trunk Based Development | (trunkbaseddevelopment.com) |
|
A portal on this practice | |
| 6 points by handfuloflight 19 hours ago | 1 comments |
| 58. | Trump's global tariffs struck down by US Supreme Court | (bbc.com) |
|
After most of his tariffs were outlawed on Friday, Trump announced new global tariffs of 10% - which he says he has now increased to 15%. | |
| 76 points by blackguardx 1 day ago | 26 comments |
| 59. | Large Language Model Reasoning Failures | (arxiv.org) |
|
|
Abstract page for arXiv paper 2602.06176: Large Language Model Reasoning Failures | |
| 4 points by T-A 17 hours ago | 1 comments |
| 60. | Loon: A functional lang with invisible types, safe ownership, and alg. effects | (loonlang.com) |
|
|
Loon is a modern LISP with invisible types, algebraic effects, and ownership without annotations. | |
| 5 points by surprisetalk 1 day ago | 2 comments |