FSNet finds feasible power grid solutions in minutes, outperforming tried-and-true tools
techxplore.com·1d
🎯Constraint Solving
Flag this post
Petri Dish Neural Cellular Automata
🔀Concurrency Models
Flag this post
A journey of 4+ years to reach the 100th GitHub release of our open-source observability platform
🎮Language Ergonomics
Flag this post
Friday 5 December 2025 - 11am
informatics.ed.ac.uk·6h
🪜Recursive Descent
Flag this post
New comment by arymaheusky in "Ask HN: Who wants to be hired? (November 2025)"
🎮Language Ergonomics
Flag this post
The Drift Principle: why systems get worse even when they're "working"
🎮Language Ergonomics
Flag this post
ansi to html convertor using libghostty.
⚙️TOML Parsers
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔗Concatenative Theory
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·2d
🌱Forth Kernels
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
🚂Cranelift Backend
Flag this post
Why Finnish devs outperform silicon valley (long-term): The nordic way of code
⚡Supercompilation
Flag this post
Maxwell's Demon and the Arrow of Time
lesswrong.com·8h
⚡Effect Handlers
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📋Backus-Naur Form
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
⚡Live Coding
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·11h
∀Quantified Types
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
📊Query Optimizers
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
📡Binary Protocols
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·11h
🔍ML Language
Flag this post
Loading...Loading more...