hp
@theboycalledhp.bsky.social
Distributed Systems. Databases. Operating System. Low level stuff enthusiast.
https://hp77-creator.github.io
https://hp77-creator.github.io
Reposted by hp
In two weeks I'm speaking at systemsdistributed.com with "What Isn't Your System Supposed To Do", a highly experimental talk about what mainstream software developers can learn from formal methods.
Emphasis on "experimental": this condense some ideas I've had for years!
Emphasis on "experimental": this condense some ideas I've had for years!
Systems Distributed '25
A conference to teach systems programming and thinking, and how to apply these ideas. All the way across the stack. From systems languages and compilers, to databases and distributed systems.
systemsdistributed.com
June 9, 2025 at 3:43 PM
In two weeks I'm speaking at systemsdistributed.com with "What Isn't Your System Supposed To Do", a highly experimental talk about what mainstream software developers can learn from formal methods.
Emphasis on "experimental": this condense some ideas I've had for years!
Emphasis on "experimental": this condense some ideas I've had for years!
wrote a curl-parser and published it to npm
github.com/hp77-creator...
would love it, if u share some curl which breaks it,
www.npmjs.com/package/curl...
github.com/hp77-creator...
would love it, if u share some curl which breaks it,
www.npmjs.com/package/curl...
https://github.com/hp77-creator/c…
June 9, 2025 at 5:35 PM
wrote a curl-parser and published it to npm
github.com/hp77-creator...
would love it, if u share some curl which breaks it,
www.npmjs.com/package/curl...
github.com/hp77-creator...
would love it, if u share some curl which breaks it,
www.npmjs.com/package/curl...
TIL that you email clients don't render JS, so if you want to share a template which can render graph, chart.js won't come to your rescue, you will have to embed your chart into a SVG.
November 15, 2024 at 8:42 AM
TIL that you email clients don't render JS, so if you want to share a template which can render graph, chart.js won't come to your rescue, you will have to embed your chart into a SVG.
Just saw a very interesting thread on lobste.rs It contains a list of Open source projects which need some contributors, you can check out some if you are interested:
https://buff.ly/3NUnPrB
https://buff.ly/3NUnPrB
Lobsters
lobste.rs
November 6, 2024 at 5:11 PM
Just saw a very interesting thread on lobste.rs It contains a list of Open source projects which need some contributors, you can check out some if you are interested:
https://buff.ly/3NUnPrB
https://buff.ly/3NUnPrB
Reposted by hp
If you need some non-election material to distract you, Leslie Lamport just dropped a new book on TLA+ lamport.azurewebsites.net/tla/science-...
A Science of Concurrent Programs
lamport.azurewebsites.net
November 6, 2024 at 10:07 AM
If you need some non-election material to distract you, Leslie Lamport just dropped a new book on TLA+ lamport.azurewebsites.net/tla/science-...
Reposted by hp
New post! Materialized View turned one last week. 🎂 To celebrate, I wrote about what’s good and bad about DuckDB.
DuckDB Is Not a Data Warehouse
DuckDB is a tool, not a product.
materializedview.io
November 4, 2024 at 4:08 PM
New post! Materialized View turned one last week. 🎂 To celebrate, I wrote about what’s good and bad about DuckDB.
Reposted by hp
I’d be immensely excited to rebuild tech twitter here. Let’s make it happen.
October 23, 2024 at 5:49 AM
I’d be immensely excited to rebuild tech twitter here. Let’s make it happen.
just saw this conversation of @chris.blue youtu.be/wEAcNoJOBFI?...
I would love to hear your answer on why did you go with Rust?
Why not any other lang? Although, you have also added a go implementation of slatedb, so what are the benefits that you see in implementing a db in rust over other langs?
I would love to hear your answer on why did you go with Rust?
Why not any other lang? Although, you have also added a go implementation of slatedb, so what are the benefits that you see in implementing a db in rust over other langs?
Database Internals - SlateDB with Chris Riccomini
YouTube video by The Geek Narrator
youtu.be
October 22, 2024 at 6:50 PM
just saw this conversation of @chris.blue youtu.be/wEAcNoJOBFI?...
I would love to hear your answer on why did you go with Rust?
Why not any other lang? Although, you have also added a go implementation of slatedb, so what are the benefits that you see in implementing a db in rust over other langs?
I would love to hear your answer on why did you go with Rust?
Why not any other lang? Although, you have also added a go implementation of slatedb, so what are the benefits that you see in implementing a db in rust over other langs?
Reposted by hp
Hello lots of new followers! If you just joined Bluesky, welcome. In case you’re interested how it works under the hood, I helped write this architecture description: arxiv.org/abs/2402.03239 (updated with new content just a few days ago)
Bluesky and the AT Protocol: Usable Decentralized Social Media
Bluesky is a new social network built upon the AT Protocol, a decentralized foundation for public social media. It was launched in private beta in February 2023, and has grown to over 10 million regis...
arxiv.org
October 20, 2024 at 9:41 PM
Hello lots of new followers! If you just joined Bluesky, welcome. In case you’re interested how it works under the hood, I helped write this architecture description: arxiv.org/abs/2402.03239 (updated with new content just a few days ago)