Skip to main content
Scour
Browse
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
beachlorn's Feed
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80671
posts in
373.8
ms
Loading...
Subscribe
STELLAR: Structure-guided LLM
Assertion
Retrieval and Generation for
Formal
Verification
arxiv.org
·
9h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
An
Elementary
Theory of the
Category
of Sets
golem.ph.utexas.edu
·
1d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I
cannot
escape
podcasts
newstatesman.com
·
20h
🎧
Listen to Podcasts, Listen to Music, Programming, Cooking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Pratt parsing to the
Dijkstra
shunting
yard
matklad.github.io
·
2h
·
Discuss:
Hacker News
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
What’s Your
Sick
Day
Comfort
Drink or Food?
cupofjo.com
·
21h
🫙
Fermentation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
RECORDING
TECHNIQUE ⸜ music:
3M
DIGITAL AUDIO MASTERING SYSTEM Part 2 || MUSIC
highfidelity.pl
·
42m
🎚️
Audio Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
·
1d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel approach to augmenting automated theorem
provers
(
ATPs
) using hyperdimensional semantic encoding to improve logic...
freederia.com
·
1h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Wasmer
7.0 Released For Advancing
WebAssembly
On The Desktop & Anywhere
phoronix.com
·
17h
🌐
WebAssembly
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
An
Exhausting
Yet
Necessarily
Incomplete Study Of The Properties Of Musical Scales
ianring.com
·
18h
🎵
Music Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Future model in go
reddit.com
·
2h
·
Discuss:
r/golang
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
hughes7370/AbletonComposer
: Ableton Live AI Composer - MCP-based tools for automated music composition
github.com
·
1h
·
Discuss:
Hacker News
🎚️
Audio Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Shrinking
a language detection model to under 10
KB
david-gilbertson.medium.com
·
5h
·
Discuss:
Hacker News
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Etude des
morphismes
pr{\'e}servant les mots
primitifs
arxiv.org
·
1d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How a Browser Works: A
Beginner-Friendly
Guide to Browser
Internals
dev.to
·
23h
·
Discuss:
DEV
🌐
WebAssembly
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How we
interfaced
single-threaded
C++ with
multi-threaded
Rust
antithesis.com
·
2h
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Value
Capture
in
Philosophy
dailynous.com
·
22h
🤔
Programming, Programming Languages, Philosophy
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Monad
tutorials
timeline
wiki.haskell.org
·
2d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Science of
Fermentation
(The Food
Programme
)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🫙
Fermentation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
your free time is for you :~)
blog.avas.space
·
8h
🎧
Listen to Podcasts, Listen to Music, Programming, Cooking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
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