prozacchiwawa.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

Learn programming with OCaml (Algorithms and data structures). ~ Sylvain Conchon, Jean-Christophe Filliâtre. usr.lmf.cnrs.fr/lpo/lpo.pdf #OCaml #FunctionalProgramming

submitted 4 days ago • 0 comments

A Coq implementation of a theory of tagged objects. ~ Matthew Gates, Alex Potanin. arxiv.org/abs/2502.11344 #ITP #Coq #Rocq

submitted 4 days ago • 0 comments

Advice for writing proofs. ~ Evan Chen (2023). web.evanchen.cc/handouts/eng... #Math

submitted 4 days ago • 0 comments

Pie in the sky wishlist for Motif: - An SDL surface widget - A modern canvas widget - An ffmpeg video playback widget

submitted 7 days ago • 0 comments

eating a garden gnome like a chicken wing

submitted 8 days ago • 23 comments

Portland IMO was never as good (and more recently as bad) as people not living in the city, and the press, would have you believe. Still, I do see signs of things getting better so it’s good to see the national press is picking on that too. www.bloomberg.com/news/feature...

submitted 8 days ago • 0 comments

A Minitel in the wild!!

submitted 9 days ago • 15 comments

read vaclav havel you fucking moron

submitted 10 days ago • 0 comments

I wrote an op-ed for voters in a red state about how devastating NIH indirect cuts are. This type of writing isn’t my comfort zone, but I think we as scientists need to get the word out. Happy to chat with others looking to do the same in their communities! www.tennessean.com/story/opinio...

submitted 10 days ago • 10 comments

I use generated answers to security questions. Today I had to spell one for the customer representative to type. "I'm sorry. I have an infosec background. I usually get to paste this. No, my first pet's name did not look like something a fascist billionaire would name his child. Yes, 'A' as in […]

submitted 11 days ago • 1 comment

OH MY GOD DOGE didn’t secure their CMS database and hasn’t taken this stuff down 🤣 If this link breaks - I’ll put screenshots

submitted 11 days ago • 27 comments

My pull request has just been merged! If you use difftastic with #elixirlang (you should! it is amazing) you will notice that changes in ~H sigils are now properly highlighted. github.com/Wilfred/diff...

submitted 15 days ago • 1 comment

Working on another demo for #eventsourcing in #ruby, including audit trail and time-traveling. I hope to push this to a public repo soon.

submitted 17 days ago • 1 comment

Due to the state of...uh...the comic book industry, I was recently laid off. I've been a full-time comic book editor for almost a decade, so if you or someone you know is in need of those types of services, I am available.

submitted 18 days ago • 17 comments

Placed my #pxlclocl on my table and watched the smooth reflection of colours on the table. …clock app made by @ursenzler.bsky.social written in #fsharp

submitted 17 days ago • 0 comments

New blog post! You might've noticed that I was into water simulation lately. In this article I explain the method I used and why I need this simulation in the first place. lisyarus.github.io/blog/posts/s...

submitted 19 days ago • 2 comments

Someone once told me that "no one wants highly technical talks at this tech conference" so I quietly named my next talk "highly technical talk." It was #1 talk and #3 talk in engagement viewership and minutes watched. I hope my point was made 😁

submitted 17 days ago • 28 comments

Holy smokes this is awesome, a new debugger for Phoenix LiveView. Think React devtools, but not a chrome extension. github.com/software-man... #ElixirLang

submitted 18 days ago • 8 comments

This is the wildest screenshot I've ever shared in my life. Somehow, my debut novel has sold to Ballantine / Penguin Random House. The elevator pitch is simple: what if Silicon Valley invented the time machine? Look for the book in stores next year! newsletter.goodtechthings.com/p/breaking-s...

submitted 17 days ago • 10 comments

just checking how the embed looks github.com/qexat/ansifmt

submitted 18 days ago • 1 comment

Sometimes you have a sad realization And there is not a soul in the world You can share it with, And so you sit on it. Lay with it. Swallow it down. And somewhere, Deep in the pit of your stomach, You hope it dissolves back away into ignorance. But it never does.

submitted 19 days ago • 7 comments

if i wanna setup my own pds for an art account how would i go about it?

submitted 19 days ago • 0 comments

First time I successfully published a post from a rsky-pds instance! Huge milestone for Blacksky in building a fully independent implementation of AT Protocol 🚀 pdsls.dev/at/did:plc:l... internect.info/did/did:plc:...

submitted 19 days ago • 32 comments

🎉 Go 1.24 Release Candidate 3 is released! 🔐 Security: Includes security fixes for the go tool and the crypto/elliptic package. 🏖 Run it in dev! Run it in prod! File bugs! go.dev/issue/new 🗣 Announcement: groups.google.com/g/golang-ann... 🚚 Download: go.dev/dl/#go1.24rc3

submitted 19 days ago • 1 comment

My #ocaml people what's the idiomatic way to do this so I have a flexible tree I can add annotations on? gist.github.com/7h3kk1d/2e59... if you want the example at the bottom.

submitted 19 days ago • 7 comments

If something brings you joy it's not stupid, never let what other people think police you out of something you like.

submitted 19 days ago • 0 comments

During an era of failing traditional media, TechDirt is absolutely killing it covering, explaining, contextualizing what is happening. Not a surprise if you’ve read them for a while.

submitted 20 days ago • 28 comments

Im running deepseek LOCALLY here (7b) and I provided a clisp file and asked deepseek about its content, i am really impressed with the answer The lisp file and the answer: #clisp #lisp #deepseek #math

submitted 21 days ago • 3 comments

quick F# falco #openapi api in 1 script 🦅🦔🌎 #fsharp gist.github.com/jkone27/5dd1... , falco 5.0 will make it even shorter probably ; )

submitted 22 days ago • 0 comments

I've reached a point of precarity where I actually need to get a job so maybe someone here could help me? I currently only have the french baccalaureate, but I'd be hoping to find a job in CS. Preferably it would be part-time so I can continue my degree along the way, but I potentially can drop...

submitted 24 days ago • 2 comments

Pragmatic Type-Level Design: Practical introduction into type-level programming: design principles, design patterns, methodologies, approaches leanpub.com/pragmatic-ty... by Alexander Granin is the featured book on the Leanpub homepage! leanpub.com #SoftwareEngineering #Haskell

submitted 22 days ago • 0 comments

This is just so funny 😂😂🤣

submitted 22 days ago • 1 comment

Maxima in the browser using Embedded Common Lisp on WASM. maxima-on-wasm.pages.dev #Maxima #CoomonLisp #Math

submitted 22 days ago • 0 comments

Had a great interview with @slate.bsky.social's @alexkirshner.com about the horrid state of the tech industry, how the tech media can step up, the AI bubble, and the cognitive dissonance of Silicon Valley slate.com/technology/2...

submitted 23 days ago • 27 comments

It's that time of week, y'all! Come by for some good reads. 🤠 My weekly newsletter has thousands of devs learning, practicing coding, and reading jokes, and you should join 'em! cassidoo.co/newsletter/

submitted 22 days ago • 8 comments

What a great start to a new week! Looking forward to speaking at JNation in Portugal for the first time!

submitted 22 days ago • 0 comments

On celebrating for very little, this is my fastest growing video on YouTube. Not even a month gone by and it has already reached 100 views. Learn the basics of #kotlin #coroutines with me. Have a good one! Multipart Kotlin Coroutines Course - E01 - The Basics youtu.be/LyAOF37cJ-c

submitted 22 days ago • 0 comments

Hey. I'm a journalist in Atlanta. I write for The Guardian and Rolling Stone. If you work for the federal government, and want to connect in person to discuss the illegal and unconstitutional activities you are seeing inside your agency, send me a note via Signal. They can't kill us all.

submitted 22 days ago • 70 comments

Hi, I am @motherjones.com' disability reporter. In the following weeks, I am very interested in hearing how tariff nonsense impacts getting your meds and medical equipment. My email to get in touch is [email protected]. Reposts appreciated.

submitted 22 days ago • 126 comments

This is Jerry Lawson. He invented the video game cartridge for the Fairchild Channel F system. Because of his invention, many consoles had cartridges and CD formats and would become the norm. The Atari 2600, NES, Genesis, and many consoles wouldn't exist without him. Happy Black History Month.

submitted 23 days ago • 60 comments

Hi all, We’re still here at OPM. We have a situation where we MIGHT, and I do mean, MIGHT have four of Elon’s people blocked from the building. Can we get press or a member of Congress down here? We’ve blocked them for two hours and they keep coming back and trying to go in.

submitted 22 days ago • 1175 comments