@unwoundstack

I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code. I sometimes spout-off opinions on other topics.

 Portland, Oregon area
unwoundstack.com/
Joined June 2009
  • Tweets1.5K
  • Following771
  • Followers117
95Media
Hey @Pinboard , everything alright over there? I'm trying to hit your API & getting connection timeouts...
1
1
578
Kennedy Road climb tops Shannon Road rayhosler.wordpress.com/2026… via @rayhosler

Kennedy Road climb tops Shannon Road

Guadalupe Reservoir is an earthen dam, completed in 1935. You have two roads to choose from on rides over to Hicks Road, Kennedy and Shannon. Now that Shannon is closed, I decided to try Kennedy. I…

rayhosler.wordpress.com
1
32
Hey @digitalocean , I'm locked out of my account because you're demanding a confirmation code that you've emailed me... that I never receive. Frustrating. Please fix your login flow!
1
1
898
LOL... caught someone on Mt. Tam this evening:
1
33
A few notes on the Haskell fixpoint combinator unwoundstack.com/blog/haskel…
24
I'm not sure why Emacs Geiser thinks ten seconds is the appropriate timeout for all computations, but here's how to work around it unwoundstack.com/blog/impati…
46
I've been working on a new project, github.com/sp1ff/indielinks. My elevator pitch is "del.icio.us in the Fediverse". I hope to bring the benefits of federated web services to social bookmarking to produce a better means of content discovery.

GitHub - sp1ff/indielinks: del.icio.us in the Fediverse

del.icio.us in the Fediverse. Contribute to sp1ff/indielinks development by creating an account on GitHub.

github.com
1
32
Read more here: unwoundstack.com/blog/indiel…
15
Just reclaimed 127Gb through `docker prune`. JFC, guys...
18
How to build a Rust integration test suite for a binary package that supports fixture setup & teardown and async test functions:
1
47
unwoundstack.com/blog/integr…
22
Wasn't there another one of these last month? And more last summer? In the year 2025, why can't airlines operate their computers? nypost.com/2025/08/06/us-new…

Over 1,000 United Airlines flights delayed overnight at several US airports after glitch sparks...

United Airlines grounded mainline flights at major US airports — including the problem-plagued Newark —  for several hours on Wednesday due to a short-lived technology issue and warned of...

nypost.com
63
Wow... the 2013 Silver Mountain Alloy is something... earthy & rich, redolent of the Santa Cruz Mountain forests. Opened one bottle this afternoon-- looking forward to opening a second in ten years.
35
This take from the @PirateWires Daily 👇
23
I decided to try to adapt tower middleware to the Reqwest HTTP client. I wrote about happened 👇
1
22
unwoundstack.com/blog/rust-c…
11
I think I'm becoming a better coder. I can now code Rust while drinking wine (which I could not do before). It's now Idris for which I need to be stone-cold sober.
35
Yeesh... just reclaimed 174Gb via `docker system prune`.
44
Forget about @deepseek_ai -- @OpenAI needs to get their damn web app working...
5
51
LOL... watching Die Hard, and the local police are balking at the thought of shutting down power to "ten square city blocks". Californians: there was a time when power was reliable!
2
131
Load more