Hou Tu Pranownse Inglish
zompist.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
An Illustrated Introduction to Linear Algebra, Chapter 2
ducktyped.org·8h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
dcaf: An implementation of the ACE-OAuth framework
docs.rs·4h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Speedrunning an RL Environment
sidb.in·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·3d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·10h·
Discuss: Hacker News, r/reactjs
🤖Program Synthesis
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Smaller Surfaces
nrempel.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·3d
🔍CBMC
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Revisiting Model Interpolation for Efficient Reasoning
dev.to·19h·
Discuss: DEV
🧩Separation Logic
Flag this post
Introduction to Python Module Three Part Three: Conditionals
dev.to·5h·
Discuss: DEV
🔄Finite State Machines
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.com·9h·
Discuss: Hacker News, r/LocalLLaMA
🌐ActivityPub
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·17h
🔲Cellular Automata
Flag this post
In AI, Everything is Meta
dev.to·2h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·3h·
Discuss: Substack
🔧DevOps
Flag this post
Auditing LLM Editorial Bias in News Media Exposure
arxiv.org·17h
📝Term Rewriting
Flag this post
Towards Gaussian processes modelling to study the late effects of radiotherapy in children and young adults with brain tumours
arxiv.org·17h
🎨GADTs
Flag this post
M^3Detection: Multi-Frame Multi-Level Feature Fusion for Multi-Modal 3D Object Detection with Camera and 4D Imaging Radar
arxiv.org·17h
🧩Separation Logic
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·1d·
Discuss: DEV
🕸️Graph Theory
Flag this post