Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
⚙️Proof Engineering
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
Building an AI Internal Linking Plugin for WordPress
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·1d
✓Automated Theorem Proving
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·1d
🔲Cellular Automata
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·1d
⬜Minimalism
The Programmer Identity Crisis
hojberg.xyz·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
Discuss: Hacker News, r/neovim
🔗Lisp
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·23h·
Discuss: DEV
📊Multi-vector RAG
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Unlock Your Enterprise Data: A Java/Spring Guide to AI-Ready Schema.org & JSON-LD
dev.to·2d·
Discuss: DEV
📋Document Grammar