Hacker News: tarasglek

New comment by tarasglek in "Lean proved this program correct; then I found a bug"

tarasglek — Tue, 14 Apr 2026 05:43:51 +0000

sorry to hijack the thread. Really cool post. How long did the whole exercise including porting zlib to lean take?

i have a hard real time system that i would love to try this on, but that's a lot of tools to learn and unclear how to model distributed systems in lean.

also, please add rss so i could subscribe to your blog

New comment by tarasglek in "Building a Reader for the Smallest Hard Drive"

tarasglek — Sun, 22 Mar 2026 22:21:22 +0000

yeah all phones were supposed to survive 2m drop test on concrete and still be able to make a call

New comment by tarasglek in "Building a Reader for the Smallest Hard Drive"

tarasglek — Fri, 20 Mar 2026 17:58:07 +0000

Had an accelerometer that turned off hard drive when motion detected. High end ibm thinkpads had that too. Turns out if seek head is parked properly, its fairly robust

N91 also had a ridiculously high quality DAC that beat pants off iPods of that gen.

New comment by tarasglek in "Building a Reader for the Smallest Hard Drive"

tarasglek — Fri, 20 Mar 2026 14:32:12 +0000

Worked on that phone. I diagnosed if music player cache was working by putting back of phone to my ear and listening for seeking clicks from hdd

New comment by tarasglek in "Show HN: Claude-File-Recovery, recover files from your ~/.claude sessions"

tarasglek — Sat, 28 Feb 2026 06:38:27 +0000

This is why aider only edits files via git commits

New comment by tarasglek in "Ladybird adopts Rust, with help from AI"

tarasglek — Tue, 24 Feb 2026 04:26:38 +0000

I quit x so cant read beyond toplevel links. I subscribed to your tool on github, would appreciate blog-posts-in-release notes to keep up with future developments. Will try the tool. Rare to find something new among ai hype, thank you.

New comment by tarasglek in "Ladybird adopts Rust, with help from AI"

tarasglek — Mon, 23 Feb 2026 19:13:11 +0000

your patch queue approach is very clever. Solves a huge tech debt poblem with llm code gen. Should work with jujitsu too probably.

Would be curious to see more about how you save tokens with lua too.

Do you blog?

New comment by tarasglek in "The Architecture of Open Source Applications (Volume 1) Berkeley DB"

tarasglek — Sun, 15 Feb 2026 17:04:31 +0000

The db that was the cause of redhat rpm db corrupting itself

New comment by tarasglek in "Lite^3, a JSON-compatible zero-copy serialization format"

tarasglek — Fri, 19 Dec 2025 07:18:56 +0000

hash collision limitation for keys is the most questionable part of design. Usually thats handled by forcing key lookup to verify that what you looked up matches what you tried to lookup. Resolving this perf hit is probably doable by having an extra table of conflicting hashes

New comment by tarasglek in "Switching from GPG to Age"

tarasglek — Sun, 16 Nov 2025 07:49:06 +0000

I love that age lets one reuse ssh identities and thus identity sharing systems. The single most useful thing I ever wrote was a tool to sync github identities with age. https://github.com/tarasglek/github-to-sops

This way you get git for change tracking on your secrets and who-has-access-to-secrets and key rotation and this can be trivially expanded to other forges.

Its easy to introduce age this way into any modern project whereas gpg would-ve been a non started on most teams I worked on.

disclaimer: this was mostly vibe-coded because I really did not want to work on this and wasnt sure if teammates would adopt it. Then it just worked, so stayed ugly inside

New comment by tarasglek in "Why I love my Boox Palma e-reader"

tarasglek — Sat, 08 Nov 2025 06:33:58 +0000

my $100 mobiscribe lets me read HN. I only read online on my eink devices. LCD is much less enjoyable

New comment by tarasglek in "Show HN: Open-Source Voice AI Badge Powered by ESP32+WebRTC"

tarasglek — Mon, 20 Oct 2025 06:21:01 +0000

To make it open source in the fullest sense one needs to document what youve done. This esp repo could use some details on what protocols the hardware speaks, sequence diagrams, auth, etc. I doubt you running webrtc on esp

New comment by tarasglek in "Building the heap: racking 30 petabytes of hard drives for pretraining"

tarasglek — Wed, 01 Oct 2025 18:01:27 +0000

but they have multiple head nodes, so its some distributed setup or just active/passive type thing?

New comment by tarasglek in "Building the heap: racking 30 petabytes of hard drives for pretraining"

tarasglek — Wed, 01 Oct 2025 17:56:53 +0000

i am still confused what their software stack is, they dont use ceph but bought netapp, so they use nfs?

New comment by tarasglek in "Show HN: Open-sourcing our text-to-CAD app"

tarasglek — Sat, 06 Sep 2025 07:28:53 +0000

It would be killer to be able to integrate this with 3d scans. Eg "make me a mount that hugs this shape" where you can draw both render the scan and mark it with a 2d paint tool

The Case for Secrets as Code: Stop Click-Managing Secrets

tarasglek — Mon, 07 Jul 2025 15:23:15 +0000

Article URL: https://taras.glek.net/posts/secrets-as-code/

Comments URL: https://news.ycombinator.com/item?id=44491328

Points: 1

# Comments: 0

New comment by tarasglek in "Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format"

tarasglek — Tue, 17 Jun 2025 07:27:02 +0000

But you can probably tail -F quite well! Which is perfect for logs (eg gimme last day i can get grep through)

New comment by tarasglek in "Focus and Context and LLMs"

tarasglek — Sun, 08 Jun 2025 12:11:32 +0000

Indeed, that was my original working title

Focus and Context and LLMs

tarasglek — Sun, 08 Jun 2025 09:09:19 +0000

Article URL: https://taras.glek.net/posts/focus-and-context-and-llms/

Comments URL: https://news.ycombinator.com/item?id=44215726

Points: 95

# Comments: 48

New comment by tarasglek in "Stop over-thinking AI subscriptions"

tarasglek — Tue, 03 Jun 2025 15:09:25 +0000

These articles seem to justify spending money without considering alternatives It's like saying "cold meds let me get back to work, I am well justified paying $100/day for NyQuil".

I would appreciate a less "just take my money" and more "here are features various tools offer for particular price, I chose x over y cos z". Would sound more informed.

Would also like to see a reason on not using open source tools and locking yourself out of various further ai-integration opportunities because $200/mo service doesn't support em.