todsacerdoti | Dark Hacker News

user:	todsacerdoti
created:	January 17, 2020
karma:	201.6k
about:	Founder/CEO @ Pipedream.com. Also #girldad, investor & lifelong learner.

1.	Setting Secrets in Env Vars(hugovk.dev) 1 points by todsacerdoti 3 days ago \| 0 comments
2.	Bending Emacs – Episode 6: Overlays(xenodium.com) 2 points by todsacerdoti 3 days ago \| 0 comments
3.	Pointer Pop Quiz(dave.cheney.net) 2 points by todsacerdoti 3 days ago \| 0 comments
4.	Electron vs. Tauri(dolthub.com) 4 points by todsacerdoti 3 days ago \| 0 comments
5.	Comparing Obelisk with DBOS(obeli.sk) 1 points by todsacerdoti 3 days ago \| 0 comments
6.	Sharing Your Work Is Like Lifting with Your Legs(devonzuegel.com) 3 points by todsacerdoti 3 days ago \| 1 comment
7.	Lowtype: Elegant Types in Ruby(codeberg.org) 2 points by todsacerdoti 3 days ago \| 0 comments
8.	Lazy Linearity for a Core Functional Language (POPL 2026)(alt-romes.github.io) 5 points by todsacerdoti 3 days ago \| 0 comments
9.	Optimizing Ray Tracing in Haskell (2020)(medium.com) 3 points by todsacerdoti 3 days ago \| 0 comments
10.	Generalized Worley Noise(ianthehenry.com) 4 points by todsacerdoti 3 days ago \| 0 comments
11.	Graph Algorithms in Rayon(davidlattimore.github.io) 4 points by todsacerdoti 3 days ago \| 0 comments
12.	Migrating the main Zig repository from GitHub to Codeberg(ziglang.org) 898 points by todsacerdoti 3 days ago \| 879 comments
13.	Fail2ban RCE(cve.org) 5 points by todsacerdoti 4 days ago \| 2 comments
14.	Rey, the Admin of 'Scattered Lapsus$ Hunters'(krebsonsecurity.com) 7 points by todsacerdoti 4 days ago \| 0 comments
15.	KDE going all-in on a Wayland future(blogs.kde.org) 11 points by todsacerdoti 4 days ago \| 0 comments
16.	Building a 64-Bit OS from Scratch with Claude Code(isene.org) 3 points by todsacerdoti 4 days ago \| 0 comments
17.	Go Proposal: Goroutine Metrics(antonz.org) 5 points by todsacerdoti 4 days ago \| 0 comments
18.	I don't care how well your "AI" works(fokus.cool) 485 points by todsacerdoti 4 days ago \| 765 comments
19.	Libinput 1.30 Released with Support for Writing Plug-Ins in Lua(phoronix.com) 2 points by todsacerdoti 4 days ago \| 0 comments
20.	Is This a CoreGraphics Framework Bug in macOS Tahoe?(lgug2z.com) 3 points by todsacerdoti 4 days ago \| 0 comments
21.	Stop Hacklore – An Open Letter(hacklore.org) 9 points by todsacerdoti 4 days ago \| 4 comments
22.	A Look at Rust from 2012(purplesyringa.moe) 4 points by todsacerdoti 5 days ago \| 0 comments
23.	Stop Telling Us XMPP Should Use JSON(process-one.net) 37 points by todsacerdoti 5 days ago \| 22 comments
24.	Unifying our mobile and desktop domains(techblog.wikimedia.org) 191 points by todsacerdoti 5 days ago \| 54 comments
25.	All that is solid melts into code(robinsloan.com) 4 points by todsacerdoti 5 days ago \| 0 comments
26.	Optique 0.7.0: Smarter error messages and validation library integrations(hackers.pub) 1 points by todsacerdoti 5 days ago \| 0 comments
27.	The Promise of P-Graphs(pavpanchekha.com) 3 points by todsacerdoti 5 days ago \| 0 comments
28.	Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers [pdf](steuwer.info) 1 points by todsacerdoti 5 days ago \| 0 comments
29.	What does it mean to be massively against AI?(pythonbynight.com) 4 points by todsacerdoti 5 days ago \| 1 comment
30.	APT Rust requirement raises questions(lwn.net) 265 points by todsacerdoti 5 days ago \| 478 comments