Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Prolog
Logic Programming, Unification, Backtracking, Constraint Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81204
posts in
430.1
ms
language games
ascara.bearblog.dev
·
3d
🌱
Tiny Languages
Agentic
reasoning
for Large Language Models
arxiv.org
·
2d
🧠
Semantic Parsing
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
3d
📝
PEG Parsing
How I Built a Random Number
Generator
(
Sort
Of)
dev.to
·
1d
·
Discuss:
DEV
🔢
Bit Manipulation
B+-Tree
Structure
: How Order Is
Maintained
at Scale
dev.to
·
20h
·
Discuss:
DEV
🌳
B+ Trees
Easy 6502 by
skilldrick
skilldrick.github.io
·
3d
📱
Bytecode Design
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
🌊
Reactive Languages
An Introduction to
XML
Data
Binding
in C++
artima.com
·
1d
📋
Template Compilers
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🌐
WASM Runtimes
**Abstract:** Enhancing the efficiency of legal professionals requires automated tools capable of rapidly
synthesizing
information from vast legal
repositori
...
freederia.com
·
3d
🗂️
Term Indexing
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
🔀
Control Structures
Going to the Library
yamlscript.org
·
2d
⚡
functional programming
Tip of the Week #176:
Prefer
Return Values to Output
Parameters
abseil.io
·
1d
⚡
Interpreter Optimization
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
3d
·
Discuss:
Hacker News
🌊
Gradual Effects
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
4d
📊
Row Polymorphism
Evaluate generative AI models with an Amazon Nova
rubric-based
LLM judge on Amazon
SageMaker
AI (Part 2)
aws.amazon.com
·
2d
✨
Gleam
Released:
DeepBrainz-R1
— reasoning-first small models for agentic workflows (
4B
/ 2B
huggingface.co
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🧩
Constraint Solvers
**Abstract:** This paper introduces Quantum-Inspired Algorithm for
Axiomatic
System Generation and Verification (
QASAGV
), a novel approach to automatically c...
freederia.com
·
2d
📜
Proof Languages
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
3d
🎭
Program Synthesis
Building a data
greenhouse
jmduke.com
·
2d
🌳
B+ Trees
Loading...
Loading more...
« Page 9
•
Page 11 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help