🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Emacs Artist clock
mbork.pl·1d
📟Terminal Physics
Open Source Summit and OpenSSF Community Days EU 2025 Reflection
ostif.org·2d
🔓Open Source Software
Sharks sign Michael Misa to entry level contract with training camp on horizon
mercurynews.com·11m
📰Feed Readers
LibreOffice 25.2.6 Rolls Out with 37 Bug Fixes
linuxiac.com·1d
🔓Open Source Software
Authentik or Authelia: Attack Surface & Disclosed Vulnerabilities
reddit.com·2d·
Discuss: r/homelab
🔓Hacking
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·6d·
Discuss: Hacker News
🔩Systems Programming
Hackers abuse TOR network and misconfigured Docker APIs to steal crypto - so keep an eye on your wallet
techradar.com·2h
🎫Kerberos Exploitation
Teck Resources Limited (TECK.B:CA) Anglo American And Teck Resources Merger Of Equals Conference Call Transcript
seekingalpha.com·8h
🔤EBCDIC Mining
Ebony and ivory: Why elephants and forests rise and fall together in the Congo Basin
phys.org·23m
⚖️Archive Ethics
Chaining Path Traversal Vulnerability to RCE — Meta’s 111,750$ Bug
infosecwriteups.com·2d
🔓Hacking
New Tenable Report: How Complexity and Weak AI Security Put Cloud Environments at Risk
tenable.com·4h
🏠Homelab Security
First Advantage Corporation (FA) Presents At Barclays 23rd Annual Global Financial Services Conference Transcript
seekingalpha.com·56m
🌊Streaming Systems
EverTracer: Hunting Stolen Large Language Models via Stealthy and Robust Probabilistic Fingerprint
arxiv.org·6d
💻Local LLMs
Deep Learning Reconstruction of Spatially Resolved CMB Polarization Anomalies from Simulated Foreground Maps
dev.to·2d·
Discuss: DEV
🌊Digital Signal Processing
Code Wars - 6kyu 'Split Strings' solution in Python
dev.to·6d·
Discuss: DEV
🧪Binary Fuzzing
Are LLM Agents Behaviorally Coherent? Latent Profiles for Social Simulation
arxiv.org·5d
🔲Cellular Automata
Microsoft Patch Tuesday security updates for September 2025 fixed two zero-day flaws
securityaffairs.com·9h
🔓Hacking
Designer Brands Inc. (DBI) Q2 2025 Earnings Call Transcript
seekingalpha.com·23h
📰Feed Readers
AI Autopilot for Your Optimization Algorithms
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
How Originalism Killed the Constitution
theatlantic.com·7h
📜Text Collation