pesco @pesco@bsd.network
Pinned post
Hi. I followed @phessler's invite so I guess it's #introduction time. My main account is @pesco@chaos.social. Incidentally, I've been an OpenBSD convert for a few years. I also happen to enjoy C and some other programming languages...
Really though, I came here for the 
-- maybe i'll stay for the 
?
Proving binge continues. My regex matching function that has never been called is correct!
This finishes chapter "IndProp" (Inductive Propositions) of #softwarefoundations and that means I am now fully caught up in terms of chapters with where I left it all those years ago - major milestone!
IndProp is also by far the heftiest chapter in Volume 1, so... not far now.
I can now End Pumping. 💪​
This was pretty fun, but phew - lengthy. Proving the (regular) pumping lemma in Coq.
pesco
boosted
https://www.openwall.com/lists/oss-security/2026/01/20/2 OH MY FUCKING GOD complete auth bypass in inetutils telnetd for over a decade and obviously nobody inside that decade should have been running a telnet daemon but wow
pesco
boosted
We have "growth hackers" but no "stability hackers." "Disruptors" but no "preservers." Our entire vocabulary is oriented toward the new. We have no language for the equally difficult work of keeping existing things from falling apart.
https://www.joanwestenberg.com/the-rime-of-the-ancient-maintainer/
This game (still) rocks.
I binge-completed the first four chapters some time in 2014, did the next four in 2016, and then sadly let the project of finishing "Software Foundations" sit idle for almost ten years. :(
Well, any time is infinitely better than never, so here I go with the significantly expanded 2025 edition!
https://softwarefoundations.cis.upenn.edu/
Image warning: Screenshot spoils the solution to one exercise.
pesco
boosted
The Amiga Pointer Archive
oh my god gothub's ssh-based signup bot is adorable! 
​
pesco
boosted
We have revised the pricing tiers of our #gameoftrees based #git hosting service for the coming year.
Community tiers are now cheaper, starting at 5€/month. These tiers now just about cover the hosting costs we are spending to keep the lights on.
To compensate, prices of professional tiers have been raised slightly. Commercial support is now available for these tiers through our fiscal host and can be booked separately. Our commercial support team members are @stsp, @gonzalo, and @op
pesco
boosted
The R.E.S.I.S.T.O.R.S: high school hackers from the 60s and 70s. I've known a bunch of these folks - smart cookies.
pesco
boosted
Here we go! http://squoze.net/UNIX/v4/ #unix v4 :) i'm so happy about this! hopefully it runs too
pesco
boosted
The Unix V4 tape read was successful
https://discuss.systems/@ricci/115747843169814700
pesco
boosted
Petition for German residents regarding Open Source Contribution:
I would be delighted if many people would sign. Thank you!
pesco
boosted
pesco
boosted
pesco
boosted
“You know you want to do more with Artificial Intelligence. Two problems have held you back: the expense of the hardware and the scarcity of #LISP programmers.” 512K of memory recommended. (Ad from Byte magazine, Jan 1985)
pesco
boosted
For my company I have put together #gameoftrees and #OpenBSD support packages which cover tasks I have been doing via ad-hoc consulting gigs for years now. And I asked some freelancing friends from the OpenBSD community to share the work with me.
We support deployments of OpenBSD in server and firewall roles via yearly fixed-price contracts. All base system components can be supported.
From our existing client base we know for a fact that there are small and mid-sized businesses out there who run OpenBSD and would benefit from working with us. We want to find more of them.
pesco
boosted
While cleaning a storage room, our staff found this tape containing #UNIX v4 from Bell Labs, circa 1973
Apparently no other complete copies are known to exist: https://gunkies.org/wiki/UNIX_Fourth_Edition
We have arranged to deliver it to the Computer History Museum
pesco
boosted
