🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Expanding the Range of Professional Philosophical Opportunities via Environmental Ethics
dailynous.com·2h
⚖️Archive Ethics
A Mile-Deep Detector Hints at the Universe’s Darkest Secret
scitechdaily.com·4h
⚛️Quantum Tape
Universities can turn AI from a threat to an opportunity by teaching critical thinking
phys.org·3h
🔲Cellular Automata
Understanding Object-Oriented Programming
understandingoop.com·9h·
Discuss: Hacker News
💻Programming languages
Why you should be using pathlib (2018)
treyhunner.com·3h·
Discuss: Lobsters
🪟Awesome windows command-line
When ChatGPT Turns Informant
futureofbeinghuman.com·2h·
Discuss: Hacker News
🔓Hacking
Show HN: Maudit, a Rust library to build static websites
maudit.org·3h·
Discuss: Hacker News
🦀Rust Macros
Sleeping Beauty Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔲Cellular Automata
A Manifesto for Data Realism
muskdeer.blogspot.com·6h·
Discuss: Hacker News
🧲Magnetic Philosophy
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·4h·
Discuss: Hacker News
📐Mathematical Art
Beating the L1 cache with value speculation (2021)
mazzo.li·3h·
Discuss: Lobsters
⚡CPU Microarchitecture
Increase of AMPA receptors associated with cognitive impairment of long Covid
pubmed.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🧠Intelligence Compression
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·16h·
Discuss: DEV
🧠Intelligence Compression
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·15h
🧪Hardware Fuzzing
Homophily-induced Emergence of Biased Structures in LLM-based Multi-Agent AI Systems
arxiv.org·15h
🔲Cellular Automata
Show HN: A minimal VPN implementation written in Go
github.com·8h·
Discuss: Hacker News
📡Network Protocol Design
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·2d·
Discuss: Hacker News
💻Local LLMs
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
🐚Shell Calculus
Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
arxiv.org·15h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·5h·
Discuss: r/rust
🦀Rust Verification