Logic Programming, Recursive Queries, Static Analysis, Souffle

checking in - october/november
blog.avas.space·9h
🔗Concatenative
Flag this post
Amazon gets hit by a Comet
platformer.news·1h
Gleam
Flag this post
Help with Neovim configuration as an IDE for embedded systems development.
youtu.be·8h·
Discuss: r/embedded
🎯99-Line Tools
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·18h·
Discuss: Hacker News
📖Literate Programming
Flag this post
Show HN: I built an edge ML system to detect and classify trick-or-treaters
basecase.vc·1d·
Discuss: Hacker News
🔮Type Inference Visualization
Flag this post
Missing top 3 players, Lakers continue to find ways to win anyway
nytimes.com·16h
📐Standard ML
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
🪢Rope Data Structures
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·8h·
Discuss: Hacker News
🏁Language Benchmarks
Flag this post
DSQL: Keeping Your Pager Quiet
brooker.co.za·3d
📈Query Optimization
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·12h·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
PhpStorm Plugins You Might Not Know
blog.jetbrains.com·11h
🌳Tree Shaking
Flag this post
What Are Auto-regressive Models? A Deep Dive and Typical Use Cases
blog.pangeanic.com·1d
🎯Finite Automata
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·5h·
Discuss: Hacker News
🌙Lua
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.to·1d·
Discuss: DEV
🗂️Term Indexing
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Flag this post
RimStone is a different kind of programming language
dev.to·3d·
Discuss: DEV
🌱Minimal Languages
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·1d·
Discuss: DEV
🧩SAT Solvers
Flag this post
SmartReader
dev.to·1d·
Discuss: DEV
🔄Incremental Lexing
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·1d·
Discuss: DEV
🌉Language Bridges
Flag this post