🔤 Type Theory

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

Authentication in 5GC – Nausf-auth
nickvsnetworking.com·15h
⚙Backus-Naur Form
Orcas and the Price of Consciousness: Lessons in Love and Loss from Earth’s Most Successful Predator
themarginalian.org·19h
🔲Cellular Automata
Direct3D-to-Vulkan Library vkd3d 1.17 Released with Shader Enhancements
linuxiac.com·6h
🔓Open Source Software
Intent Amplified: Teaching Students How to Learn with Artificial Intelligence
dailynous.com·23h
🤖Grammar Induction
Glitch cop
nature.com·5h
🔓Hacking
Show HN: Telescopo – View any file beautifully on your Mac
apps.apple.com·23h·
Discuss: Hacker News
🔠Terminal Fonts
Clojure Async Flow Guide
clojure.github.io·4d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
An Analysis of the Impact of Gold Open Access Publications in Computer Science
cacm.acm.org·2d
📊Citation Graphs
Catching AI Hallucination in SQL: The Chess Example
timeplus.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Seda – Discovery Engine for the Internet – Co-Founder/CTO – Raising $15M
news.ycombinator.com·14h·
Discuss: Hacker News
🧭Content Discovery
Asking Eric: I come back from a run and he’s eating fries. Is there hope for us?
mercurynews.com·7h
🏠Personal Archives
Is this project worth my time?
reddit.com·2d·
Discuss: r/golang
📡Feed Security
How to Capture OAuth Callbacks in CLI and Desktop Apps with Localhost Servers
hackernoon.com·2d
⚡gRPC
Smart Charging Impact Analysis using Clustering Methods and Real-world Distribution Feeders
arxiv.org·12h
📈Time Series
Hackaday Podcast Episode 334: Radioactive Shrimp Clocks, Funky Filaments, Owning the Hardware
hackaday.com·28m
🧪Cassette Hacks
Towards a general diffusion-based information quality assessment model
arxiv.org·2d
📊Citation Graphs
The Code Review Approach That Catches More Than Bugs
dev.to·3d·
Discuss: DEV
📏Code Metrics
ArmSoM RK3588 AI Module7 system-on-module follows NVIDIA Jetson Nano form factor (Crowdfunding)
cnx-software.com·6h
🦾ARM Cortex-M
`My Dataset of Love': A Preliminary Mixed-Method Exploration of Human-AI Romantic Relationships
arxiv.org·2d
🏛Digital humanities
MPCAR: Multi-Perspective Contextual Augmentation for Enhanced Visual Reasoning in Large Vision-Language Models
arxiv.org·3d
📊Learned Metrics