Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Language Design
📐 Language Design
compilers, syntax, semantics, PL research, DSL
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
55
posts in
27.6
ms
📊
Data Structures
GitHub
·
3d
3 days ago
Show HN: Wirewright, an experimental symbolic physics environment
Covers
TailwindCSS v4 with new high-performance engine and CSS-first configuration
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: Wirewright, an experimental symbolic physics environment
🗄️
Databases
DEV Community
·
6d
6 days ago
Building the In-Memory Store: Strings, Lists, Hashes and Expiry
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Building the In-Memory Store: Strings, Lists, Hashes and Expiry
🤖
LLM
arXiv
·
2d
2 days ago
ForEx: A
Formal
Verification
Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation
☁️
Cloud Computing
DEV Community
·
5d
5 days ago
What is AWS Blocks? How it differs from Amplify and App Studio, and what each one is aiming for
Covers
2 stories
See all stories this covers
including
Composable building blocks for full-stack AWS apps
Covered by
InfoQ
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for What is AWS Blocks? How it differs from Amplify and App Studio, and what each one is aiming for
☁️
Cloud Computing
GitHub
·
6d
6 days ago
Breaking Build: Kiro and Claude delivered exactly what I asked, and it wasn't what I wanted
Covered by
DEV Community
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Breaking Build: Kiro and Claude delivered exactly what I asked, and it wasn't what I wanted
✍️
Prompt Engineering
arXiv
·
1d
1 day ago
VeryTrace: Verifying Reasoning Traces through
Compilable
Formalism
and Structured
Verification
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification
🐦
Swift
DEV Community
·
5d
5 days ago
From Zero to Hero in
TypeScript
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for From Zero to Hero in TypeScript
🤖
AI Research
arXiv
·
1d
1 day ago
Cycle-Consistent Neural Explanation of
Formal
Verification
Certificates
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Cycle-Consistent Neural Explanation of Formal Verification Certificates
🔓
Open Source
DEV Community
·
3d
3 days ago
Top Static Code Analysis Tools Every Developer Should Know in 2026
Covers
2 stories
See all stories this covers
including
Biome, makeprg and errorformat
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Top Static Code Analysis Tools Every Developer Should Know in 2026
📋
Formal Methods
arXiv
·
1d
1 day ago
ESBMC-PLC+: A Unified IEC~61131-3
Formal
Verification
Framework as a PLCverif Successor
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ESBMC-PLC+: A Unified IEC~61131-3 Formal Verification Framework as a PLCverif Successor
💻
Command Line Tools
DEV Community
·
4d
4 days ago
Coding Agents Suck at Tools
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Coding Agents Suck at Tools
🦀
Rust
DEV Community
·
2d
2 days ago
Five overlooked packages running my AI directory stack
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Five overlooked packages running my AI directory stack
🤖
LLM
arXiv
·
2d
2 days ago
Formally
Verified
Code Synthesis for Structured Data Translation in a Medical Internet of Things
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things
🔧
Compilers
DEV Community
·
4d
4 days ago
Why I'm building yet another UML tool in 2026
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Why I'm building yet another UML tool in 2026
🐦
Swift
DEV Community
·
6d
6 days ago
TypeScript
Types Demystified: Simple Types,
Special
Types, and Type Inference
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for TypeScript Types Demystified: Simple Types, Special Types, and Type Inference
🕵️
AI Agents
arXiv
·
2d
2 days ago
Specifying
AI-SDLC Processes: A Protocol
Language
for Human-Agent Boundaries
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries
🦀
Rust
DEV Community
·
3d
3 days ago
Enum
Type
Safety in C
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Enum Type Safety in C
📋
Formal Methods
arXiv
·
2d
2 days ago
A
Formal
Tool for
Verification
of Probabilistic Spiking Neural Networks Based on Quotient
Abstractions
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions
🔲
ML Hardware
DEV Community
·
2d
2 days ago
Series Teaser — 6 People, 36 Stratagems, and an AI Rabbit Hole That Keeps Getting Deeper
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Series Teaser — 6 People, 36 Stratagems, and an AI Rabbit Hole That Keeps Getting Deeper
🐦
Swift
DEV Community
·
5d
5 days ago
Event-Handling-Basics
Discussed on
DEV
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Event-Handling-Basics
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report