🔤 Type Theory

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

Back-to-School Made Easy with PDFelement
pdfa.org·5h
📄PDF Archaeology
Tensor computing from scratch part II - Advanced operations
e-dorigatti.github.io·4d
📐Linear Algebra
One network service policy architecture
infoq.com·17h·
Discuss: Hacker News
🕸️Mesh Networks
Implementing JSON-LD Structured Data in Django
andycarnevale.com·1d·
Discuss: Hacker News
📋Document Grammar
What If We Built Legal Systems Like We Build Everything Else?
philosophermaker.substack.com·1d·
Discuss: Substack
🧲Magnetic Philosophy
Time is a Flat Circle (2015)
thecritique.com·1d·
Discuss: Hacker News
🏛️Philosophy
PEP 802: Display Syntax for the Empty Set
peps.python.org·5d·
Discuss: Hacker News, r/programming
📝Concrete Syntax
Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.dev·1d·
Discuss: Hacker News
🔓Open Source Software
Using C as a scripting language
lazarusoverlook.com·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
TIL about Cryptophasia, a phenomenon where a pair of twins develop a language only they can understand.
en.wikipedia.org·4d·
Discuss: Hacker News, r/todayilearned
📼Tape Linguistics
Anthropic's Claude Sonnet 4 now processes up to one million tokens in a single pass on its API
the-decoder.com·1d
🏛Digital humanities
Hiring >> Senior Software Engineer (Go)
dev.to·15h·
Discuss: DEV
🌀Brotli Internals
Health of K8S External Secrets Project
github.com·3h·
Discuss: Hacker News
❄️Nix Flakes
President of the Midnight Foundation Fahmi Syed on The Glacier Drop, Rational Privacy, and More
hackernoon.com·11h
🔗Hash Chains
Event-Aware Sentiment Factors from LLM-Augmented Financial Tweets: A Transparent Framework for Interpretable Quant Trading
arxiv.org·1d
🔍BitFunnel
Unlocking the Magic of Models: Customizing Use Cases with Retrieval-Augmented Generation (RAG)
dev.to·10h·
Discuss: DEV
📊Feed Optimization
Vertalk : Supercharge E-cormmerce with Real-Time AI Calls Powered by Redis 8
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
How I Used Claude to Create and Assign Issues in Linear
dev.to·1d·
Discuss: DEV
👑Isabelle
Memory Enhanced Fractional-Order Dung Beetle Optimization for Photovoltaic Parameter Identification
arxiv.org·1d
🧠Machine Learning
Through Their Eyes: User Perceptions on Sensitive Attribute Inference of Social Media Videos by Visual Language Models
arxiv.org·1d
🏛Digital humanities