🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⬌ Bidirectional Typing

Type Inference, Elaboration, Synthesis, Checking Modes

Parsing Safetensors File Format in C
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
✅Format Verification
Intermediate Zig Build
rdunnington.github.io·8h·
Discuss: Hacker News
⚙️Build Archaeology
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Helix Editor Release 25.07 Highlights
helix-editor.com·2d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·3d·
Discuss: Hacker News
🔩Systems Programming
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·4d
🎯Gradual Typing
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·9h
🧠Machine Learning
How I Built a Smarter AI with Neo4j (and Why You Might Want To Too)
dev.to·1d·
Discuss: DEV
🕸️Neo4j
Transformer-Based Person Identification via Wi-Fi CSI Amplitude and Phase Perturbations
arxiv.org·9h
🧠Machine Learning
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·9h
🧮Kolmogorov Complexity
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·3d
🔢Denotational Semantics
AI Quietly Getting Stronger: How Many Jobs Has It Already Taken?
dev.to·5h·
Discuss: DEV
🤖AI Translation
Anthropomimetic Uncertainty: What Verbalized Uncertainty in Language Models is Missing
arxiv.org·2d
🔢Denotational Semantics
Waiting is worth it and can be improved with predictions
arxiv.org·9h
📡Information theory
MapIQ: Benchmarking Multimodal Large Language Models for Map Question Answering
arxiv.org·1d
🚀SIMD Text Processing
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·9h
🧠Neural Compression
Secondary Bounded Rationality: A Theory of How Algorithms Reproduce Structural Inequality in AI Hiring
arxiv.org·3d
🔲Cellular Automata
Agentic Ai based SDLC automation
dev.to·5h·
Discuss: DEV
⚡Proof Automation
ShopSmart AI - Revolutionary E-commerce Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
👤Search Personalization
Loading...Loading more...
AboutBlogChangelogRoadmap