Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
Clarity
robinsloan.com·2d
🧠Intelligence Compression
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·7h·
Discuss: Hacker News
🌀Differential Geometry
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1d·
Discuss: Hacker News
🎯Performance Proofs
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
Cold Calculation
kae3g.codeberg.page·7h·
Discuss: Hacker News
⚡Incremental Computation
Clojure Data Cookbook – How to manipulate data, analyze, and visualize tasks
github.com·3d·
Discuss: Hacker News
🧬Functional Programming
Cactus Language • Semantics 2
inquiryintoinquiry.com·3d
🔢Denotational Semantics
End-to-end testing of Gen AI Apps
dev.to·12h·
Discuss: DEV
🔍Concolic Testing
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
RecGen: a powerful tool to create recommendation systems
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·10h·
Discuss: DEV
📊Multi-vector RAG
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org·2d
🎙️Whisper
Guide to OCI AI Certification: From Machine Learning Basics to Advanced Neural Networks
dev.to·3d·
Discuss: DEV
🤖Advanced OCR
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·1d
🧮Prolog Parsing
The rapidly evolving field of artificial intelligence has le
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·2h·
Discuss: DEV
⚡Z3 Optimization