Open Catalyst Project
opencatalystproject.org·1d·
Discuss: Hacker News
Effect Inference
Flag this post
Show HN: I built an edge ML system to detect and classify trick-or-treaters
basecase.vc·2h·
Discuss: Hacker News
🔮Type Inference Visualization
Flag this post
Online Identity Is Evolving: From Data Storage to Proof-Based Verification with zkTLS
blogger.com·2d
🛡️Security Type Systems
Flag this post
George Boole, Boolean Logic and Computing
i-programmer.info·1d
🧩Prolog
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·11h
🪤Trap Handlers
Flag this post
The Case That A.I. Is Thinking
newyorker.com·8h·
Discuss: Hacker News
🧠Semantic Parsing
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·5h·
Discuss: DEV
🌪️V8 TurboFan
Flag this post
How Powerful AI Gets Cheap
lesswrong.com·2h
📏Linear Memory
Flag this post
Meta researchers open the LLM black box to repair flawed AI reasoning
venturebeat.com·4d
🌱Minimal ML
Flag this post
😸 AI agents failed 97% of freelance tasks; here's why...
theneurondaily.com·9h
🔄Incremental Parsers
Flag this post
CEO Interview with Wilfred Gomes of Mueon Corporation
semiwiki.com·1d
🏰Capability Machines
Flag this post
MCP standard
dev.to·1d·
Discuss: DEV
📡Protocol Parsers
Flag this post
🛡️ Fortify - AI-Powered Security Analysis Platform
dev.to·1h·
Discuss: DEV
🚂Cranelift Backend
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·1d·
Discuss: DEV
🪜Recursive Descent
Flag this post
Moving past speculation: How deterministic CPUs deliver predictable AI performance
venturebeat.com·1d
📅Instruction Scheduling
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·23h·
Discuss: DEV
📋Souffle Datalog
Flag this post