Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·12h·
Discuss: Lobsters, Hacker News, r/javascript
🗃️Query Compilation
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·12h·
Discuss: Lobsters, Hacker News, r/programming
📦Compression Algorithms
Red Stone One Carat — TryHackMe Challenge Write-up
infosecwriteups.com·2d
🚪Escape Hatch
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
"Bridge sorting" problem
reddit.com·1d·
Discuss: r/compsci
🪢Rope Data Structures
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·1d·
Discuss: r/webdev
🚀Code Motion
Eclectic English Vocab
404wolf.com·1d
🔄Incremental Lexing
# Building Production-Ready LLM Applications: Introducing llama-app-generator
dev.to·9h·
Discuss: DEV
📋Tablegen
Invisible Ink for AI: Proof of Creation in a Generative World
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
📱 React Native at Scale: Lessons from 100K+ Users
dev.to·1d·
Discuss: DEV
🏛️Elm Architecture
Our Experience Running Independent Evaluations on LLMs: What Have We Learned?
lesswrong.com·3d
🔮Metacircular Evaluators
Neural Jump ODEs as Generative Models
arxiv.org·1d
🪜Recursive Descent
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
🧮Theorem Provers
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·3d·
Discuss: DEV
🎮Language Ergonomics
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·1d
🎮Language Ergonomics
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·1d
🔍ML Language
How to get and use free PVS-Studio license. Part 3: working with report and warnings
dev.to·3d·
Discuss: DEV
🔧Error Recovery
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·2d·
Discuss: DEV
✨Effect Inference
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.org·1d
⚖️Inference Rules
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·1d
✅Type Checking