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
🔣 Formal languages
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80358
posts in
726.6
ms
Show HN:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
13h
·
Discuss:
Hacker News
🏗️
Enterprise Software Architecture
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
19h
🏗️
Enterprise Software Architecture
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
1d
·
Discuss:
Hacker News
📥
Embeddings
[2004.00731] Small object
arguments
, plus-construction, and left-exact
localizations
arxiv.org
·
1h
📥
Embeddings
intersection
type in
nLab
ncatlab.org
·
2h
📊
type
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
15h
·
Discuss:
Blogger
🏗️
Enterprise Software Architecture
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
1h
·
Discuss:
Hacker News
📥
Embeddings
LLM-FSM
: Scaling Large Language Models for Finite-State Reasoning in
RTL
Code Generation
arxiv.org
·
10h
🏗️
Enterprise Software Architecture
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
13h
·
Discuss:
Hacker News
🏗️
Enterprise Software Architecture
Using AI to
write
a
transpiler
dev.to
·
15h
·
Discuss:
DEV
🏗️
Enterprise Software Architecture
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
📊
type
The Return of
Algol
68
jxself.org
·
1d
🏗️
Enterprise Software Architecture
The
Illusion
of
AGI
, or What Language Models Can Do Without Thought
techpolicy.press
·
1d
📊
type
Making
Waffles
with Group
Theory
hmpcabral.com
·
1d
·
Discuss:
Hacker News
📊
type
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
11h
🏗️
Enterprise Software Architecture
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
9h
·
Discuss:
Hacker News
,
r/programming
🏗️
Enterprise Software Architecture
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
19h
🏗️
Enterprise Software Architecture
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
17h
📥
Embeddings
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
🏗️
Enterprise Software Architecture
ESLint -
Pluggable
JavaScript
Linter
eslint.org
·
1d
·
Discuss:
r/javascript
🏗️
Enterprise Software Architecture
Loading...
Loading more...
« Page 1
•
Page 3 »
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