16 Dec 25
Darnell nodded, glancing over Robby like he was trying to place him in the hierarchy of important to ignorable and it could go either way. “What’s this?”
“MSF FNG,” Jack shot back. Whatever that meant, he sounded amused.
Darnell scoffed and looked to Robby, expression going decidedly unimpressed. “Oh, yeah? You here to find yourself? Have an adventure? Do something hard?” he asked, each question more mocking than the last.
And there was that question again, like it was haunting Robby. He stifled his instinct to bite back and kept it simple: “I’m here to help.”
A useful website to print out and stow away somewhere safe to help your loved ones or yourself once you forget your masterpassword.
via: https://lobste.rs/s/p1uk1o/are_you_one_is_free_money
Arch Linux RFCs. https://rfc.archlinux.page/
Contribute to R44VC0RP/ocmt development by creating an account on GitHub.
A series of videos covering the history of de Broglie’s famous matter wave theory. Bro is a genius, FRFR. Bro was doing unification before it even had a name. We ought to re-trear his work.
Project by Chaski ﹙Saskia Knowles﹚: Open visual archive on cybernetics in the expanded field.
Also see: https://www.are.na/sam-hart/cybernetics-image-library
Videogame executive Xu Bo, said to have more than 100 children, and other elites build mega-families, testing citizenship laws and drawing on nannies, IVF and legal firms set up to help them
Fucking kill me.
15 Dec 25
I promise I will stop with the vulkan stuff..
you know, maybe we should listen to people when they’re telling us something
SMT-LIB is an international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT). Since its inception in 2003, the initiative has pursued these aims by focusing on the following concrete goals.
Provide standard rigorous descriptions of background theories used in SMT systems.
Develop and promote common input and output languages for SMT solvers.
Connect developers, researchers and users of SMT, and develop a community around it.
Establish and make available to the research community a large library of benchmarks for SMT solvers.
Collect and promote software tools useful to the SMT community.