FeedCity: I ♥ RSS

Expeditionary Force is by now a 19-book series that follows a US soldier (Joe Bishop) when Earth gets pulled into an interstellar conflict. Joe discovers an ancient AI of mysterious origin (which he names Skippy), who is as sarcastic as he is brilliant. In this first book i...

TheBenMeadows — site releases
12 Aug 23:36

Add the OpenTimestamps proof for build dd7cce9 (#101)

Site release 3618747: Add the OpenTimestamps proof for build dd7cce9 (#101). Every build ships a signed manifest; see /mirrors/ for verification.

Caleb Hailey
12 Aug 23:32

From @danielpunkass.micro.blog on making things:

A lot of people like to make things, and making things is great. But if you want to be a software developer, you have to enjoy fixing things. If you don’t enjoy fixing things, you’ll never be good at software.

Nailed it.

This is the part about the AI-fueled "everyone will become a developer" future that I have a hard time seeing.

Will more people than ever before write software, or make websites, or even make an app? Yes!

Will a significant portion of these new developers go back to paying for the very same apps they hoped to replace after they realize how much time they are spending fixing things? Also yes.

Music of Sound
12 Aug 23:27 • tim

HISSandaROAR 16th Birthday Sale

YAY!! Its HISSandaROAR 16th Birthday!! Every #sounddesign library is 50% off until Sept 1st, I have a bunch of new libraries to release and there will be cake! Thanks to everyone who has supported us – there will be some…

Andy Sylvester's Web
12 Aug 22:36 • Andy

Podcast about using formal methods in software development

Hillel Wayne explains why formal methods like TLA+ matter, how they help build reliable software, and whether AI will finally bring formal verification into the mainstream. I enjoyed listening to this, I am planning to watch the video since Hillel Wayne shows some tool demos. I have not used formal methods in my career, but […]