Bogdanp

34 ms·

841.
The Art of Lisp and Writing (2003)(dreamsongs.com)
205 points by Bogdanp 1y ago|114 comments
842.
The Talk Show Live from WWDC 2025(daringfireball.net)
2 points by Bogdanp 1y ago|0 comments
843.
Resa: Transparent Reasoning Models via SAEs(arxiv.org)
1 points by Bogdanp 1y ago|0 comments
844.
Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix(netflixtechblog.com)
140 points by Bogdanp 1y ago|103 comments
845.
Datalog in Rust(github.com)
5 points by Bogdanp 1y ago|0 comments
846.
Solving LinkedIn Queens with APL(pitr.ca)
3 points by Bogdanp 1y ago|1 comments
847.
Strace Tips for Better Debugging(rrampage.github.io)
8 points by Bogdanp 1y ago|0 comments
848.
HTML WARDen - an HTML-based wiki(ratfactor.com)
6 points by Bogdanp 1y ago|0 comments
849.
100 years of Zermelo's axiom of choice: What was the problem with it? (2006)(research.mietek.io)
122 points by Bogdanp 1y ago|129 comments
850.
The Twom Database Format(fastmail.com)
4 points by Bogdanp 1y ago|2 comments
851.
The Case for Software Craftsmanship in the Era of Vibes(zed.dev)
167 points by Bogdanp 1y ago|78 comments
852.
Cursor YOLO deleted everything in my computer(forum.cursor.com)
22 points by Bogdanp 1y ago|1 comments
853.
Diceomatic: A DSL for making children's dice games(robertheaton.com)
2 points by Bogdanp 1y ago|0 comments
854.
The Python Language Summit 2025(pyfound.blogspot.com)
3 points by Bogdanp 1y ago|0 comments
855.
Rumour: Google Intends to Discontinue the Android Open Source Project(osnews.com)
9 points by Bogdanp 1y ago|3 comments
856.
A Lightweight Merge Queue Using GitHub Actions(sketch.dev)
2 points by Bogdanp 1y ago|0 comments
857.
A new way to style gaps in CSS(developer.chrome.com)
2 points by Bogdanp 1y ago|0 comments
858.
Writing a Verified Postfix Calculator in Ada/Spark(pyjarrett.github.io)
8 points by Bogdanp 1y ago|0 comments
859.
Raku's "Core"(gist.github.com)
6 points by Bogdanp 1y ago|0 comments
860.
Proving completeness of an eventually perfect failure detector in Lean4(protocols-made-fun.com)
2 points by Bogdanp 1y ago|0 comments
861.
Verse Language(dev.epicgames.com)
4 points by Bogdanp 1y ago|1 comments
862.
Under the hood with Apple's new Containerization framework(anil.recoil.org)
6 points by Bogdanp 1y ago|0 comments
863.
Hare-update assists in addressing breaking changes in your code(harelang.org)
4 points by Bogdanp 1y ago|0 comments
864.
How to Bring Back Oddly Shaped App Icons in macOS 26 Tahoe(simonbs.dev)
76 points by Bogdanp 1y ago|55 comments
865.
Multi-player, serverless, durable terminals(s2.dev)
6 points by Bogdanp 1y ago|0 comments
866.
Why Doctors Hate Their Computers (2018)(newyorker.com)
3 points by Bogdanp 1y ago|0 comments
867.
Green Threads Explained(c9x.me)
2 points by Bogdanp 1y ago|0 comments
868.
Radeon Software for Linux Dropping AMD's Proprietary OpenGL/Vulkan Drivers(phoronix.com)
3 points by Bogdanp 1y ago|1 comments
869.
Apple WWDC 2025(apple.com)
1 points by Bogdanp 1y ago|0 comments
870.
Ruby Gem Naming: The Art of Delightful Obscurity(stevengharms.com)
4 points by Bogdanp 1y ago|0 comments

More ›