Icecream95 @ixn@mastodon.xyz

the evolution of an idea in database theory:

unreadable scrawl on back of napkin
page of notebook
whiteboard diagram
proof-of-concept code (performs abysmally)
thesis paper
journal article
"seminal" journal article
mailing list discussion

and of course, the final form

chapter of PostgreSQL manual + page in SQLite docs explaining why SQLite doesn't do it

Alpine is peak lightweight tbh

@cstanhope @humanetech Wait, you mean GitHub isn't a social media website? I mean, how many decades have we heard about the benefits of hosting on GitHub for, and I kid you not, "Better Discoverability"?

Hmmm....

you know I love me some covers, and I particularly like jazzy covers of rock and pop songs, and most particularly when they take it in a whole new direction.

The Bad Plus does some tasty covers that fit the bill. This Pink Floyd cover they do isn't very distant from the original cut, but enough to make it have a whole new flavor.

https://yewtu.be/watch?v=Ar30KyQFnIc

Oh hey look I got the new gcobol compiler working on #OpenBSD. It's alpha-level stuff but it can compile quite a lot of code. Here's the ubiquitous hello world in #COBOL. Expect a blog post soon!

#program #programming #compile #compiler #compilers #compilation #gcc #bsd #freebsd #netbsd #unix #linux #opensource #open-source #freesoftware #free-software #foss #floss

Weird-ass, 27-year-old C is often more readable than plain modern rust code is (and Ada is obviously far more readable than both).

For example:
https://github.com/servo/rust-url/blob/master/url/src/parser.rs
https://www.w3.org/Library/src/HTParse.c
https://github.com/AdaCore/aws/blob/master/src/core/aws-url.adb

The impossible seemingly has happened, the first open source driver bits for powervr gpus is here :O

https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/15243

"Imagine if Microsoft got a dime every time Windows crashed"

Uhm, I think they did.

https://wordlix.app/

cute, wordle with POSIX
first wordle-type thing I've actually played instead of just spectating

Slackware 15.0 released.

http://slackware.com

@fribbledom@mastodon.social but which ones they are differ from person to person and project to project

Racket Guide:

> (if "Bob" 1 0)
1

Me, a C programmer:

(cries)

In Bruce Sterling's *Locus* review of my novel Walkaway, he describes the book as "advancing and demolishing potential political arguments that have never been made by anybody but [me]." That is a fair cop. I spend a lot of time worrying about esoteric risks that no one else seems to care about.

https://locusmag.com/2017/06/bruce-sterling-reviews-cory-doctorow/

1/

How to write efficient software?

First off if you're actually having performance issues: measure first! You're intuition's probably off.

But there's some habits you can fold into your code style to avoid performance becoming an issue to begin with!

1. Strive for a happy medium regarding dependencies, not too many not too few. Choose the simplest yet convenient tool appropriate for your usecase. Know how your dependencies work in case you need to rewrite them yourself.

1/?

Until now, no Valhall devices (Mali-G57, Mali-G78) ran mainline #Linux. While this made driver development obviously difficult, there's no better time to write drivers than before hardware reaches end-users. A tale from Alyssa Rosenzweig: https://col.la/valhall #Panfrost #OpenSource

​ hi, im looking for anyone who has something with an ARM CPU in it from 2004-2012 or so, as i want to know which devices all have Jazelle implementations (and what they implement), as part of my Jazelle reverse-engineering effort

these CPUs can be found in a lot of devices, ranging from embedded things with an ARM9 (eg. something with an FX3, or a TI Nspire), to smartphones or tables from the era, with a Cortex-A8/A9

the info i need is 1. the exact CPU model (eg. "ARM926EJ-S" or "dualcore Cortex-A9"), 2. the 'CPU ID' code (from CP15 0,c0,c0,0), 3. the contents of the JIDR register (cp14,7,c0,c0,0) and 4. the JTAG IDCODE (if possible) (please reply in DM, or if you have questions about how to retrieve these)

thanks!