Feeds to Scour
SubscribedAll
Scoured 13491 posts in 144.8 ms
Regular Expressions
pubs.opengroup.orgยท9h
โœ…Format Verification
Preview
Report Post
Concept Tokens: Learning Behavioral Embeddings Through Concept Definitions
arxiv.orgยท9h
๐Ÿ”ขDenotational Semantics
Preview
Report Post
HTML parsers in Portland
felix.dognebula.comยท16hยท
Discuss: Lobsters, Hacker News
๐Ÿ“Concrete Syntax
Preview
Report Post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks
youtube.comยท1h
ฮปLambda Formalization
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.comยท14h
โŸทBidirectional Programming
Preview
Report Post
Issue 506
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.orgยท9h
ฮปLambda Encodings
Preview
Report Post
Let AI speak in its mother tongue
manidoraisamy.comยท1dยท
Discuss: Hacker News
๐ŸงฎZ3 Applications
Preview
Report Post
Computational Depth
blog.computationalcomplexity.orgยท4hยท
Discuss: blog.computationalcomplexity.org
๐ŸงฎKolmogorov Complexity
Preview
Report Post
Inverting the user/agent relationship
dev.toยท5hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Preview
Report Post
Golomb-Rice coding for compressing a set of hashes
johndcook.comยท1h
๐Ÿ“ŠCompression Proofs
Preview
Report Post
A New Document Database
blog.spacegirl.nlยท17h
๐Ÿ—„๏ธDatabase Internals
Preview
Report Post
Chronology as a Consistency Invariant in Composable Information Systems
arxiv.orgยท1d
๐Ÿ”„Lens Laws
Preview
Report Post
Code-Mix Sentiment Analysis on Hinglish Tweets
arxiv.orgยท9h
๐Ÿ“Text Parsing
Preview
Report Post
TeleTables: A Benchmark for Large Language Models in Telecom Table Interpretation
arxiv.orgยท9h
๐ŸงฎKolmogorov Complexity
Preview
Report Post
A Practical guide to building a parser in Go
gagor.proยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿ“Concrete Syntax
Preview
Report Post
Impossibility Theorems for Fixed-Axis Classification Systems: With Application to Type Theory
zenodo.orgยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿ”ฒProof Irrelevance
Preview
Report Post
An Algebraic Representation Theorem for Linear GENEOs in Geometric Machine Learning
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Preview
Report Post
Introduction to Formal Methods โ€“ Part 1
vikramsg.github.ioยท3dยท
Discuss: Hacker News
โœ…Formal Methods
Preview
Report Post
Superstar64/Hazy: The Hazy Haskell Compiler
github.comยท1d
๐Ÿ”—Functional Compilers
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help