This tetris with SK combinators is absolutely amazing.
rules in the link below
"There is no 'The Scientific Method,' and science offers no path to truth. That may seem paradoxical at first, because science offers innumerable, excellent methods, and is the most reliable path to truth."
How do #Spritely's actor and storage layers tie together? https://dustycloud.org/blog/how-do-spritelys-actor-and-storage-layers-tie-together/
Debian Installer Buster RC 2 release https://lists.debian.org/debian-devel-announce/2019/06/msg00005.html
You've heard of spam on the fediverse, now get ready for spear-phishing on the fediverse!
Brought to you by:
- easily spoofed avatars and usernames
- classic domain name spoofing problems
- the fact that humans are not wired to be able to identify these kinds of attacks
(On the next episode, something something petnames+ocaps https://www.w3.org/2005/Security/usability-ws/papers/02-hp-petname/ )
If you're interested in bootstrapping compilers from nothing, you can join freenode IRC #bootstrappable to chat about it
Want to find your way from A to B?
You should try:
I've used it a couple of times today, and it was great.
* Uses OpenStreetMap data
* Service provided by HeiGIT
* Doesn't spy on you
* Maps look great
* Effective routes
* Share with friends
* Add your own tracks
* Export to GPX plus others
* Elevation profile
You can also go to C, D, E and many more. 😉
@cwebber Higher up the stack, I'm delighted to see the adoption rate of Rust. A memory-safe systems language is a huge boon to the computing community.
For high level languages, I worry we're going too far with sandboxing. I value elisp/smalltalk openness, whereas my Mac won't let me attach a debugger any more.
Sandboxing has usability challenges too: I'd much rather use OpenBSD's pledge than SELinux.
If you asked me what the 4 best documents regarding bootstrapping are i'd say:
* Egg of the Phoenix (Blog post) - http://canonical.org/~kragen/eotf/
* The Cuniform Tablets of 2015 (Blue-sky academic research) - http://www.vpri.org/pdf/tr2015004_cuneiform.pdf
* Preventing The Collapse of Civilization (Video) - https://www.youtube.com/watch?v=pW-SOdj4Kkk
* Coding Machines (scifi story about trusting-trust attack) - https://www.teamten.com/lawrence/writings/coding-machines/
@trebach @cwebber @wilfredh Christopher Lemmer Webber and David Thompson gave a talk at LibrePlanet 2016 with on reproducible builds in Guix and GuixSD and they gave credit to the Debian developers for the work they were doing on it first.
It's what got me interested in Guix, though I only have it on a VM at the moment.
I'm quite sad that dunking on Free Software folks has become so... normalized here on Fedi.
Software Freedom is an ideal that fundamentally wants to make the world a better place and combat some very important power imbalances.
I have many frustrated thoughts on this topic, few of which have germinated to the point that they're likely to mend anything.
Quite the opposite, really. So I'll just say that I'm sad about this.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!