paper of the day (by @HilaCodes@twitter.com et al): extending the REPL (read-eval-print loop) to the RESL (read-eval-synth loop) as an interaction paradigm for human-in-the-loop program synthesis http://cseweb.ucsd.edu/~hpeleg/resl-oopsla20.pdf
and so it begins... 'YouTube-DL repository taken down from GitHub by RIAA due to DMCA request' -- https://github.com/ytdl-org/youtube-dl/
"We moved to GitHub because everyone's already there"
"We shut down the mailing lists because most of our users prefer to use GitLab in their web browser"
"We're rewriting in Rust because we don't really have any non-x86_64 users"
"We're leaving IRC because Discord is more user-friendly"
What all of these arguments have in common is that they exclude people, centralize infrastructure, and eschew free software for proprietary solutions, all in the name of some ill-defined measure of "progress".
'[Haskell-cafe] Release a book about math and programming in Haskell' -- https://github.com/liuxinyu95/unplugged
Someone should bring back the Plus Four Wristlet Route Indicator, a British proto-GPS invention from the early days of the automobile, and market it to retrogrouch gravel cyclists #MastoBikes
This is what I mean when I say Goblins is a distributed programming system: here we have something that *looks* like a network program, but the person writing it doesn't have to think about the network pretty much at all. It just looks like normal programming. Which meant that with no changes, the program I wrote to run in one process locally also worked spanning across machines over the network (over Tor onion services even!).
'Computer search settles 90 years old math problem' -- https://www.quantamagazine.org/computer-search-settles-90-year-old-math-problem-20200819/
'Saturday Morning Breakfast Cereal - Jonathan Dowling' -- https://www.smbc-comics.com/comic/jonathan-dowling
"You want to give in," the vampire whispered softly, "give up, surrender to me."
"No, sorry, I don't feel any inclination to do so," the robot said.
"Well, it was worth a try."
"Thank you," said the robot, "but it seems I do not have a soul."
"No! We haven't disproven it."
#TypoCorrection #MicroFiction #TootFic #SmallStories
'What Goes On in a Proton? Quark Math Still Conflicts With Experiments.' -- https://www.quantamagazine.org/what-goes-on-in-a-proton-quark-math-still-conflicts-with-experiments-20200506/
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!