Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·22h
⚔️Lean Theorem
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
pyaccdb: Python library for Microsoft Access .accdb files
yingtongli.me·18h
🔤EBCDIC Mining
Flag this post
How I Use AI To Write Regex Without Memorizing Anything
dev.to·1h·
Discuss: DEV
🔍RegEx Engines
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Recipe 8.6. Picking a Random Line from a File (Perl Cookbook)
csg.sph.umich.edu·12h
📝Text Compression
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.com·1d·
Discuss: r/homelab
🎙️Whisper
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·9h
⚛️Quantum Tape
Flag this post
Adding an imaginary unit to a finite field
johndcook.com·6d·
Discuss: Hacker News
🔱Galois Cryptography
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.edu·14h
🎼Audio Lambda Calculus
Flag this post
Show HN: Enklayve – Free, Local, Private, and Secure Personal AI
enklayve.com·7h·
Discuss: Hacker News
🏠Homelab Compression
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post