| 31. | TLA+ Modeling Tips | (muratbuffalo.blogspot.com) |
|
|
||
| 5 points by birdculture 14 hours ago | 0 comments |
| 32. | I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h | (simonwillison.net) |
|
||
| 3 points by pbowyer 1 day ago | 0 comments |
| 33. | Prediction: AI will make formal verification go mainstream | (martin.kleppmann.com) |
|
|
||
| 15 points by evankhoury 1 day ago | 4 comments |
| 34. | Modern SID chip substitutes [video] | (youtube.com) |
|
More 6502: https://eater.net/6502Support these videos on Patreon: https://www.patreon.com/beneater or https://eater.net/support for other ways to support.---... | |
| 4 points by vismit2000 3 days ago | 0 comments |
| 35. | Track Surveillance (Flock Cameras) Tech in Local Government Meetings | (alpr.watch) |
|
|
Track ALPR (Automated License Plate Readers), Flock Safety cameras, facial recognition, and surveillance technology discussions in local government meetings across the US. Get alerts when your city discusses surveillance tech. | |
| 29 points by theamk 1 day ago | 2 comments |
| 36. | Japan to revise romanization rules for first time in 70 years | (japantimes.co.jp) |
|
The change is expected to be approved within the current fiscal year, then gradually rolled out in school textbooks and other materials. | |
| 7 points by rgovostes 1 day ago | 2 comments |
| 37. | No Graphics API | (sebastianaaltonen.com) |
|
Graphics APIs and shader languages have significantly increased in complexity over the past decade. It’s time to start discussing how to strip down the abstractions to simplify development, improve performance, and prepare for future GPU workloads. | |
| 11 points by ryandrake 1 day ago | 1 comments |
| 38. | GitHub postponing the announced billing change for self-hosted GitHub Actions | (twitter.com) |
|
|
||
| 9 points by coloneltcb 3 hours ago | 2 comments |
| 39. | The World Happiness Report is beset with methodological problems | (yaschamounk.substack.com) |
|
A case study in elite misinformation. | |
| 13 points by thatoneengineer 1 day ago | 3 comments |
| 40. | Nvidia 800 Gbps ConnectX-8 SuperNIC | (servethehome.com) |
|
In our NVIDIA ConnectX-8 SuperNIC review, we show full next-gen 800G performance from the C8240 dual 400GbE card in PCIe Gen5 servers | |
| 3 points by geerlingguy 1 hour ago | 0 comments |
| 41. | Nvidia Nemotron 3 Family of Models | (research.nvidia.com) |
|
|
||
| 3 points by ewt-nv 2 days ago | 0 comments |
| 42. | AI capability isn't humanness | (research.roundtable.ai) |
|
Despite superficial similarities, humans and LLMs operate under fundamentally different constraints and algorithms. Scaling AI will only widen this gap. | |
| 7 points by mdahardy 5 hours ago | 3 comments |
| 43. | FCC chair suggests agency isn't independent, word cut from mission statement | (axios.com) |
|
|
||
| 23 points by jmsflknr 4 hours ago | 2 comments |
| 44. | Pricing Changes for GitHub Actions | (resources.github.com) |
|
GitHub Actions pricing update: Discover lower runner rates (up to 39% off) following a major re-architecture for faster, more reliable CI/CD. | |
| 29 points by kevin-david 1 day ago | 8 comments |
| 45. | FIFA Arrives on Netflix Games | (netflix.com) |
|
Play a newly reimagined FIFA football game exclusively on Netflix Games ahead of the FIFA World Cup 2026, available for Netflix members worldwide. | |
| 7 points by 0xedb 2 hours ago | 2 comments |
| 46. | Nvidia plans heavy cuts to GPU supply in early 2026 | (overclock3d.net) |
|
Nvidia reportedly plans to axe as much as 40% of its GeForce RTX 50 series GPU production in early 2026. Why? Memory costs... | |
| 13 points by tareqak 6 hours ago | 0 comments |
| 47. | GPT Image 1.5 | (platform.openai.com) |
|
|
||
| 5 points by charlierguo 1 day ago | 1 comments |
| 48. | Dafny: Verification-Aware Programming Language | (dafny.org) |
|
|
The Dafny Programming and Verification Language and tools. | |
| 6 points by handfuloflight 1 day ago | 0 comments |
| 49. | Living Particle System | (creative-art-points.vercel.app) |
|
|
Generated by create next app | |
| 4 points by lovegrenoble 5 days ago | 0 comments |
| 50. | The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video] | (youtube.com) |
|
The United States government has revoked the non-immigrant visa of Wole Soyinka, the Nobel laureate.In a letter dated October 23 and signed by the US consula... | |
| 5 points by Geekette 2 hours ago | 0 comments |
| 51. | P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems | (github.com) |
|
|
The P programming language. Contribute to p-org/P development by creating an account on GitHub. | |
| 3 points by Davidbrcz 15 hours ago | 0 comments |
| 52. | 30 Years of <Br> Tags | (artmann.co) |
|
I'm a software engineer and product builder. I write about software development, product management, and personal growth. | |
| 4 points by FragrantRiver 4 days ago | 0 comments |
| 53. | Mozilla Appoints New CEO Anthony Enzor-Demeo | (blog.mozilla.org) |
|
|
Today, I step into the role of CEO of Mozilla Corporation. It is a privilege to lead an organization with a long history of standing up for people and buil | |
| 6 points by recvonline 1 day ago | 1 comments |
| 54. | Rust GCC back end: Why and how | (blog.guillaume-gomez.fr) |
|
tuto articles | |
| 3 points by ahlCVA 1 day ago | 0 comments |
| 55. | 40 percent of MRI signals do not correspond to actual brain activity | (tum.de) |
|
Interpretation of numerous MRI data may be incorrect: blood flow is not a reliable indicator of brain activity. | |
| 18 points by geox 1 day ago | 0 comments |
| 56. | Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger | (esquire.com) |
|
Bob Rutan is legendary among the tight-knit fraternity of Macy’s Santa Clauses. Like many of these men, playing Santa changed Bob. Profoundly. His story is one of struggle and failure, heartbreak and grace and—yes—the magic of Christmas. | |
| 3 points by Lightbody 4 days ago | 0 comments |
| 57. | Testing a cheaper laminar flow hood | (chillphysicsenjoyer.substack.com) |
|
Cheaper home science. | |
| 5 points by surprisetalk 5 days ago | 0 comments |
| 58. | Writing a blatant Telegram clone using Qt, QML and Rust. And C++ | (kemble.net) |
|
|
||
| 6 points by tempodox 1 day ago | 0 comments |
| 59. | Bonsai: A Voxel Engine, from scratch | (github.com) |
|
|
The procedural generation voxel engine. Contribute to scallyw4g/bonsai development by creating an account on GitHub. | |
| 8 points by jesse__ 1 day ago | 1 comments |
| 60. | Chat-tails: Throwback terminal chat, built on Tailscale | (tailscale.com) |
|
|
Brian Scott made an app that's safe, simple, and educational for kids to chat in, using Tailscale's tsnet and connectivity. | |
| 7 points by nulbyte 1 day ago | 0 comments |