Mastodawn

@RolloTreadway @kottke and at that time Spain was occupied by the French. British troops fought with Portuguese and Spanish troops to free Spain from the French invasion.

Roger Sen 7h ago

EuroBSDCon 11h ago

📢 Calling all BSD enthusiasts! 😈⛳️🐡

The call for papers for EuroBSDCon 2026 in Brussels is open, and we're looking for your brilliant ideas! 🌟

Got a groundbreaking discovery in *BSD applications, architecture, or implementation? Or maybe you've cracked the code on performance and security? We want to hear from you!

Don't miss this chance to:
- Demonstrate how *BSD are tackling today’s challenges and solving real-world problems.
- Explore the inner workings of *BSD, share your expertise on its design, structure, and innovation.
- Unveil your best practices, clever hacks, and practical tips for optimizing and fine-tuning *BSD.
- Unlock the full potential of *BSD to maximizing efficiency, speed, and scalability.
- Showcase your expertise in hardening *BSD and building robust defenses against modern threats.
- Highlight how *BSD is driving change in economic, organizational, and societal contexts.

https://events.eurobsdcon.org/2026/cfp

Deadline: June 20, 2026 🕒

Let's make EuroBSDCon 2026 the best one yet! See you in Brussels! 🌟

EuroBSDCon 2026 in Brussels, Belgium 🇧🇪
September 09-13, 2026

#RUNBSD #FreeBSD #NetBSD #OpenBSD #EuroBSDCon #EuroBSDCon2026 #BSD #Conference #CFP

Roger Sen 1d ago

nixCraft 🐧1d ago

Sometimes you end up typing gail.com (typo) instead of gmail.com and you get this nice little website. Hah!

URL: https://gail.com/

gail.com FAQ

Roger Sen 1d ago

doragasu 1d ago

Oh, somebody used my #MegaWiFi cart to make a stock ticker application for the #SEGA #Megadrive / #Genesis. Didn't see that coming 😂.
➡️ Article on Hackaday: https://hackaday.com/2026/03/19/sega-genesis-finally-gets-long-awaited-stock-ticker-app-37-years-after-launch/
➡️ Video: https://www.youtube.com/watch?v=MrvGraH3D7k

Sega Genesis Finally Gets Long-Awaited Stock Ticker App 37 Years After Launch

Until now, if you were seated at your Sega Genesis and wanted to check your stock portfolio, you were out of luck. You had to get a smartphone, or a computer, or maybe even a television to look up …

Hackaday

Roger Sen 1d ago

Martin Escardo 1d ago

A new definition of "routine" in mathematical proofs appearing in mathematical papers.

It can be done by an LLM trained on what has already been done by people in the last couple of millennia.

Please don't publish routine things. A blog post will be enough.

And, even so, check it, because LLM's are also trained on the wrong things people say.

Roger Sen 1d ago

🆎1d ago

If SQL is pronounced "sequel" then surely DNS is pronounced "Dennis"?

Show thread

Roger Sen 2d ago

@robinadams thanks for the info.

I'm not part of the community, so I assume Martin's comment is on the lack of fraternity that Leonardo shows to other theorem provers' creators.

But I'm extremely impressed on Lean's strategy to verify software correctness. Even if it's well know that multiple implementations help to find bugs, I'm surprised the Lean team invested time and effort to set up a system to cross check the different implementations result accross multiple proofs.

Roger Sen 4d ago

Alan Coopersmith 4d ago

If you've ever wanted to see the source code for the Free & Open Source Software (FOSS) packages in #OracleSolaris, I have a blog post just for you!

https://blogs.oracle.com/solaris/source-code-for-foss-software-in-oracle-solaris

Roger Sen 5d ago

bert hubert 🇺🇦🇪🇺🇺🇦Mar 13

Tempted to write a post that software development lost the plot a long time ago, and that the recent LLM developments are merely the icing on that cake. Software these days is not the painstaking work by people like @bagder or @hyc or @vitaut who write the best code they possibly can. Over the past decade, "the software world" has been developing in a very different way than that.