Bogdanp
Thurs Jul 2, 2009 10:58am PST
Karma:
1818
about
https://defn.io/page/about

Submissions are not endorsements.

submitted
Sun Jun 15, 2025 7:07am PST
The Art of Lisp and Writing
@Bogdanp
4
11
59
Sat Jun 14, 2025 2:39pm PST
The Talk Show Live from WWDC 2025
@Bogdanp
1
2
Sat Jun 14, 2025 1:39pm PST
Resa: Transparent Reasoning Models via SAEs
@Bogdanp
1
Sat Jun 14, 2025 10:56am PST
Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix
@Bogdanp
35
95
131
Sat Jun 14, 2025 6:20am PST
Datalog in Rust
@Bogdanp
4
Sat Jun 14, 2025 12:58am PST
Solving LinkedIn Queens with APL
@Bogdanp
3
Fri Jun 13, 2025 6:25pm PST
Strace Tips for Better Debugging
@Bogdanp
1
7
Fri Jun 13, 2025 3:36pm PST
HTML WARDen - an HTML-based wiki
@Bogdanp
1
6
Fri Jun 13, 2025 2:46pm PST
100 years of Zermelo's axiom of choice: What was the problem with it? (2006)
@Bogdanp
10
126
118
Fri Jun 13, 2025 2:46pm PST
The Twom Database Format
@Bogdanp
1
2
1
Thurs Jun 12, 2025 11:42pm PST
The Case for Software Craftsmanship in the Era of Vibes
@Bogdanp
15
78
164
Thurs Jun 12, 2025 8:17pm PST
Cursor YOLO deleted everything in my computer
@Bogdanp
2
1
21
Thurs Jun 12, 2025 4:56pm PST
Diceomatic: A DSL for making children's dice games
@Bogdanp
2
Thurs Jun 12, 2025 2:49pm PST
The Python Language Summit 2025
@Bogdanp
3
Thurs Jun 12, 2025 1:00pm PST
Rumour: Google Intends to Discontinue the Android Open Source Project
@Bogdanp
2
3
9
Thurs Jun 12, 2025 8:45am PST
A Lightweight Merge Queue Using GitHub Actions
@Bogdanp
2
Thurs Jun 12, 2025 4:13am PST
A new way to style gaps in CSS
@Bogdanp
2
Thurs Jun 12, 2025 2:29am PST
Writing a Verified Postfix Calculator in Ada/Spark
@Bogdanp
6
Wed Jun 11, 2025 8:42pm PST
Raku's "Core"
@Bogdanp
5
Wed Jun 11, 2025 5:49pm PST
Proving completeness of an eventually perfect failure detector in Lean4
@Bogdanp
2
Wed Jun 11, 2025 4:36pm PST
Verse Language
@Bogdanp
1
1
4
Wed Jun 11, 2025 2:45pm PST
Under the hood with Apple's new Containerization framework
@Bogdanp
1
6
Wed Jun 11, 2025 2:03pm PST
Hare-update assists in addressing breaking changes in your code
@Bogdanp
4
Wed Jun 11, 2025 11:11am PST
How to Bring Back Oddly Shaped App Icons in macOS 26 Tahoe
@Bogdanp
15
49
74
Wed Jun 11, 2025 12:45am PST
Multi-player, serverless, durable terminals
@Bogdanp
6
Tues Jun 10, 2025 9:50pm PST
Why Doctors Hate Their Computers (2018)
@Bogdanp
3
Tues Jun 10, 2025 4:56pm PST
Green Threads Explained
@Bogdanp
1
2
Mon Jun 9, 2025 4:59pm PST
Radeon Software for Linux Dropping AMD's Proprietary OpenGL/Vulkan Drivers
@Bogdanp
2
1
3
Mon Jun 9, 2025 1:48pm PST
Apple WWDC 2025
@Bogdanp
1
1
Mon Jun 9, 2025 1:03pm PST
Ruby Gem Naming: The Art of Delightful Obscurity
@Bogdanp
1
4
Mon Jun 9, 2025 12:19pm PST
The high-level OS challenge
@Bogdanp
5
Mon Jun 9, 2025 11:43am PST
LLMs are cheap
@Bogdanp
47
309
342
Mon Jun 9, 2025 8:39am PST
Context7: Up-to-date documentation for LLMs and AI code editors
@Bogdanp
1
Mon Jun 9, 2025 1:05am PST
Unlocking the Motorola G23 (and some words on Motorola)
@Bogdanp
2
2
9
Sun Jun 8, 2025 11:53pm PST
The Software Design I See: Thick–Thin Clients
@Bogdanp
3
Sun Jun 8, 2025 10:00pm PST
Poison everywhere: No output from your MCP server is safe
@Bogdanp
21
70
156
Sun Jun 8, 2025 5:18pm PST
A Low-Impact Keybase Impersonation Issue on Lobsters
@Bogdanp
3
Sun Jun 8, 2025 3:56pm PST
PieFed federates "flair" on posts and comments
@Bogdanp
3
Sun Jun 8, 2025 8:36am PST
Why not use DNS over HTTPS (DoH)?
@Bogdanp
41
293
153
Sun Jun 8, 2025 8:24am PST
Shell Scripting in C
@Bogdanp
1
1
20
Sun Jun 8, 2025 8:22am PST
Getting started with Qt, without the nonsense
@Bogdanp
2
Sun Feb 16, 2025 8:02am PST
DSLs for Safe iOS/WatchOS Communication
@Bogdanp
2
7
26
Mon Jan 27, 2025 8:56am PST
Show HN: I Made an iOS Podcast Player with Racket
@Bogdanp
32
85
226
Tues Feb 6, 2024 7:58am PST
Show HN: Franz – A desktop client for Apache Kafka
@Bogdanp
5
5
45
Fri Dec 1, 2023 12:53pm PST
A practical introduction to kill-safe, concurrent programming in Racket
@Bogdanp
15
Sun Oct 15, 2023 7:01am PST
Franz for Windows
@Bogdanp
5
Sat Sep 23, 2023 10:50am PST
Restoring the Old Dashboard Feed on GitHub
@Bogdanp
1
Sun Aug 27, 2023 8:28am PST
Working Through Gossip Glomers in Racket
@Bogdanp
3
Mon Aug 21, 2023 8:29am PST
Dash 7: Now Available
@Bogdanp
1
2
5
Sun Feb 5, 2023 11:13am PST
Safe Foreign Callouts from Racket to Swift
@Bogdanp
1
2
37