What is currying?
alexandrehtrb.github.io·2d·
Discuss: r/programming
🧮Lambda Calculus
Understanding the Future of No-Code Data Import Solutions
dromo.io·27m·
Discuss: Hacker News
🐳Containerization
The World's 2.75B Buildings
tech.marksblogg.com·8h·
Discuss: Hacker News
⎈Kubernetes
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·1d·
Discuss: Hacker News
💎Refinement Types
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·6h·
Discuss: Hacker News
🌐NetworkProtocols
You might not need Python-dotenv
blog.natfu.be·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·1d·
Discuss: Substack
🔧Unikernel Development
Follow up experiments on preventative steering
lesswrong.com·21h
🧩Separation Logic
Welcome EmbeddingGemma, Google's new efficient embedding model
huggingface.co·3d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🧩Parser Combinators
AnomalyLMM: Bridging Generative Knowledge and Discriminative Retrieval for Text-Based Person Anomaly Search
arxiv.org·1d
📚Automata Learning
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·2d
🛡️seL4
Autonomation, Not Automation: Activities and Needs of European Fact-checkers as a Basis for Designing Human-Centered AI Systems
arxiv.org·1d
✓Automated Theorem Proving
Kangaroo: A Private and Amortized Inference Framework over WAN for Large-Scale Decision Tree Evaluation
arxiv.org·2d
🧠Automated Reasoning
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·1d·
Discuss: Hacker News
🛡️seL4
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·3d
📚Automata Learning
Domain Adaptation of LLMs for Process Data
arxiv.org·2d
📚Automata Learning
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·22h·
Discuss: Substack
🔍Formal Verification
Are LLM Agents Behaviorally Coherent? Latent Profiles for Social Simulation
arxiv.org·1d
📚Automata Learning
MedCOD: Enhancing English-to-Spanish Medical Translation of Large Language Models Using Enriched Chain-of-Dictionary Framework
arxiv.org·3d
🐫OCaml
Reasoning Vectors: Transferring Chain-of-Thought Capabilities via Task Arithmetic
arxiv.org·3d
🧩Parser Combinators