Life is Tetris
boosted
This paper is great. It is like a good slice of what is going on in formal methods and machine learning right now.
- Methods of space convergence from AI, can, and do, outperform the brightest algorithm writers, especialy when the time complexity is high. And innacuracy is easy to control for.
- It is all just programming. It is research level, but still. ML algs can be used easily in code logic, if there is a layer to handle uncertainty.
- Many of the referenced papers are about software that generates code without programmers. Obviously computer vision is going to beat any human, but the best tech for other domains are referenced here. Much of it is about indirect code reasoning.
- Real data is not needed for ML (supervised) research to progress. This data, CLEVR, is synthetic. Sometimes richer synthetic datasets make a better playground.
Life is Tetris
boosted
I only started using bit torrent because all my friends were doing it - I couldn't resist the peer to peer pressure.
Life is Tetris
boosted
I am VERY happy and proud to announce the public release of the "OpenBSD Webzine" !
Life is Tetris
boosted
Here is my beginner's understanding, based on information I've collected from Mike and others over the past few years:
Hubzilla is a decentralized secure content management system that can do lots of things including social media.
The Zap family inherits many features from Hubzilla (and improves on them) but is primarily a social media platform. Zap is where new development occurs. Misty is something like "Zap stable", with only thorougly-tested new features. Osada and Redmatrix are updated with current performance and security patches so that they can be safely used and forked. Ditto for Redmatrix, but it has only Zot and not ActivityPub. Roadhouse is the start of a new thing.
That's all I know, and most of it is probably wrong. :-)
Hubzilla is a decentralized secure content management system that can do lots of things including social media.
The Zap family inherits many features from Hubzilla (and improves on them) but is primarily a social media platform. Zap is where new development occurs. Misty is something like "Zap stable", with only thorougly-tested new features. Osada and Redmatrix are updated with current performance and security patches so that they can be safely used and forked. Ditto for Redmatrix, but it has only Zot and not ActivityPub. Roadhouse is the start of a new thing.
That's all I know, and most of it is probably wrong. :-)
Life is Tetris
boosted
Life is Tetris
boosted
Some notes on Hypercard, a portable way to share apps with their (top-level) source code accessible to others.
https://en.wikipedia.org/wiki/HyperCard#Design
Some apps for inspiration: https://itch.io/jam/merveilles-hyperjam
Get started: https://www.gryphel.com/c/minivmac
C sources: https://www.gryphel.com/c/minivmac/download.html
Build instructions: https://www.gryphel.com/c/minivmac/build.html
You build it for arbitrary platforms by first building a setup tool.
gcc setup/tool.c -o setup
./setup -t lx64 > setup.sh
. ./setup.sh
make
setup options: https://www.gryphel.com/c/minivmac/options.html
Amazing!
Greetings, people! I am a software developer. Outside of work, I use free/libre software almost exclusively. I am pained that we continue to allow nature and community to get degraded by crony individualism. We can do much better, e.g. the voluntary refugee concept.
I have been chuffed with the #Fediverse almost all of the time I have been on it. There is plenty of food for thought in many a toot out there. I am having to move off @wyatwerp now, and really happy to find a Fediverse instance that ... uh ... federates.
