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
81109
posts in
901.4
ms
Automation of
Repetitive
Tasks
dev.to
·
2d
·
Discuss:
DEV
🎭
Program Synthesis
How I
accidentally
start
SDD
by failing at prompts for six months
dev.to
·
1d
·
Discuss:
DEV
🎭
Program Synthesis
Back to Basics:
Revisiting
Exploration in Reinforcement Learning for LLM Reasoning via Generative
Probabilities
arxiv.org
·
3d
🪜
Recursive Descent
Learning to
Reason
in 13
Parameters
arxiv.org
·
4d
·
Discuss:
Hacker News
🌱
Minimal ML
Writing an
RSS
reader in 80 lines of
bash
yobibyte.github.io
·
4d
·
Discuss:
Hacker News
⚡
Incremental Parsing
AI and the
Reconfiguration
of the
Counterintelligence
Battlefield
tandfonline.com
·
4d
🏗️
MLIR
Two steps
forward
…
QT4CG
progress
blog.saxonica.com
·
4d
🌈
Gradual Languages
Super speed, super quality: lessons from the
Aptos
Network site launch—Martian Chronicles, Evil
Martians
’ team blog
evilmartians.com
·
5d
💬
Smalltalk VMs
Fitness Functions:
Automating
Your Architecture
Decisions
lukasniessen.medium.com
·
5d
·
Discuss:
r/devops
,
r/node
,
r/programming
,
r/typescript
🎮
Language Ergonomics
slow
abstraction
steel-water.bearblog.dev
·
5d
🔗
Weak References
Optimized
LLM Inference
Engines
rishirajacharya.com
·
4d
🗺️
Region Inference
How not to program in
Dyalog
APL
toolofthought.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔀
Control Structures
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🌳
Tree Walking
Beyond Giant Models: Why AI
Orchestration
Is the New
Architecture
kdnuggets.com
·
5d
🎭
Program Synthesis
## Hyper-Universal Quantification via
Fibrational
Logic and Knowledge Graph Embedding for Semantic Integrity Verification in Decentralized Autonomous Organizations (
DAOs
)
freederia.com
·
4d
🏛️
Elm Architecture
suzgunmirac/belief-in-the-machine
: Belief in the Machine: Investigating
Epistemological
Blind Spots of Language Models
github.com
·
4d
🌱
Minimal ML
SalesforceAIResearch/promptomatix
: An Automatic Prompt Optimization Framework for Large Language Models
github.com
·
3d
🚀
PyPy JIT
**Abstract:** This paper introduces a novel system for automated solution synthesis and
validation
in competitive programming,
specifically
targeting graph-b...
freederia.com
·
4d
🎭
Program Synthesis
Wirth
's
Revenge
jmoiron.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🌳
Tree Shaking
Speed
Crafting
with
Machines
forgonetokens.com
·
5d
·
Discuss:
DEV
🎭
Program Synthesis
Loading...
Loading more...
« Page 15
•
Page 17 »
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