Forwarded from Programming Deadlock
A Minimalistic Verified Bootstrapped Compiler
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
popl21.sigplan.org
A Minimalistic Verified Bootstrapped Compiler (Proof Pearl) (CPP 2021 - Certified Programs and Proofs) - POPL 2021
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematicsβ¦
Forwarded from (Ο (ΞΌ (Ξ»)))
Introduction to Computing: Explorations in Language, Logic, and Machines by David Evans
https://computingbook.org/
https://computingbook.org/
Forwarded from 0xjIbsπΎ
0xjIbsπΎ
https://arxiv.org/html/2507.12425v1
AI & SEO Fundemantals
Is RRF the Secret to Dominating AI Citations? I Decoded ChatGPT's Ranking Formula - AI & SEO Fundamentals
Like many SEOs, I love looking at ChatGPT's dev console on Chrome. I was digging around for Google & Bing fingerprints when I discovered a code snippet
Share the channel my lovely subscribers otherwise I will call you with that n word
π1
π Cs/books/uwu
what tech stack should i chose for cs-lib-uwu
suggest me a database
π Cs/books/uwu
anyone programming minecraft?
simple modifications, very very simple