Mapping Faithful Reasoning in Language Models
arxiv.org·1d
🎯Dependent Parsing
Flag this post
Making MLS More Decentralized
blog.phnx.im·11h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·11h·
λLambda Encodings
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·6h
🦠Malware Analysis
Flag this post
dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.io·8h
🏷️Metadata Standards
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·15h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Medical Imaging
dev.to·23h·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·11h·
Discuss: Substack
🧬Functional Programming
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·6h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·1d
📐Error Bounds
Flag this post
Infrastructure as Code
opentofu.org·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Nonmonotonic Logic
cambridge.org·2d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·21h·
Discuss: Hacker News
📏Code Metrics
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.com·1d
📞Session Types
Flag this post
A Minimal Feast Tutorial: Turning the California Housing Dataset into Features
blog.devops.dev·1d
🔗Archive Combinators
Flag this post
Introducing gpt-oss-safeguard
openai.com·21h·
Discuss: Hacker News
🧠Program Logic
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·4h·
Discuss: Hacker News
📏Code Metrics
Flag this post
LPE via refcount imbalance in the af_Unix of Ubuntu's Kernel
ssd-disclosure.com·4h·
Discuss: Hacker News
🏺ZIP Archaeology
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·9h·
Discuss: Hacker News
Effect Handlers
Flag this post
Why AI agents fail without a Data Layer
dev.to·3h·
Discuss: DEV
🧮Datalog Systems
Flag this post