Appears on
Articles11
'Fuck Off AI Music' Movement Declares Opposition to AI-Generated Music
fuck off ai music
Opinion
0
fuckoffaimusic2mo agoLamBench: A Benchmarking Project on GitHub
github.com/VictorTaelin/LamBench v1
News
0
victortaelin.github.io2mo agoH
US National OS-Level Age Verification Bill Introduced in Congress
News
0
social.coop3mo ago
Effect Systems: A Better Alternative to Async Programming for Managing Side Effects
Insight
0
willhbr.net4mo ago10% of Firefox crashes are caused by bitflips
Article URL: Comments URL: Points: 156 # Comments: 60
0
mas.to4mo ago
WhatsApp to Enable Cross-Platform Messaging in Europe Under Digital Markets Act
News
0
tuta.com7mo ago
De Bruijn Numerals: A Novel Number Encoding Method in Lambda Calculus
Insight
0
text.marvinborner.de8mo ago
Quiz: Distinguish Programming Language Inventors from Serial Killers
News
0
vole.wtf10mo agoResearchers Formally Verify Fifth Busy Beaver Value S(5) = 47,176,870 Using Coq Proof Assistant
We prove that $S(5) = 47,176,870$ using the Coq proof assistant. The Busy Beaver value $S(n)$ is the maximum number of steps that an $n$-state 2-symbol Turing machine can perform from the all-zero tape before halting, and $S$ was historically introduced b
News
0
arxiv.org10mo ago
Microsoft BASIC Version 1.1 Source Code for 6502 Microprocessor - Historical Software Repository
Code
0
github.com10mo ago
Linear types for programmers
News
0
twey.io11mo ago