Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
↔️ Bidirectional Typing
Specific
Type Synthesis, Type Checking, Local Inference, Elaboration
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
158688
posts in
14.1
ms
Quadratic
Micropass
Type Inference
🔍
Type Inference
articles.luminalang.com
·
6d
·
Hacker News
·
…
Runtime
type
checking
is great (2023)
✅
Type Checking
blog.jez.io
·
1d
·
Lobsters
·
…
Mix-and-match
synthesis
of 3D small
molecules
✨
Effect Inference
nature.com
·
5h
·
Hacker News
·
…
A C library for Teenage Engineering PO-32
acoustic
data transfers &
drum
synthesis
🧸
Toy Compilers
blog.adafruit.com
·
19h
·
…
How to
Solve
Secure Program
Synthesis
🎭
Program Synthesis
lesswrong.com
·
2d
·
…
Unfiltered
Audio
Battalion
: update 1.2 brings new sample engines to the hybrid generative drum machine
🌊
Async Compilers
synthanatomy.com
·
22h
·
…
The
Synthesis
Problem: Why I’m Building a New Logic
Toolchain
🔬
Nanopasses
llama.gs
·
6d
·
Hacker News
·
…
facebook/pyrefly
0.59.0
🏠
indieweb
github.com
·
1d
·
…
Stretching
metals can tune
catalysis
: A new method predicts energy shifts
💾
Register Pressure
phys.org
·
17h
·
…
An Exploration of Agent Scaling for
HLS
Design Space Exploration (
IBM
)
🎭
Program Synthesis
semiengineering.com
·
1d
·
…
Introducing Amazon
Polly
Bidirectional
Streaming: Real-time speech synthesis for conversational AI
🌊
Streaming Lexers
aws.amazon.com
·
6d
·
…
Shape-Invariant
Transforms
Using Wide-Band Voice Pulse Modeling
🚀
Tokenizer Performance
queuesevenm.wordpress.com
·
2d
·
Hacker News
,
r/SideProject
·
…
Vowel
Synthesis (with
vowel
space proposed by Dr.
Geoff
Lindsey)
🔗
Concatenative
editor.p5js.org
·
3d
·
…
Automated configuration synthesis of solid oxide fuel cell – gas turbine (
SOFC-GT
) hybrid systems: A
fuel-syngas
block state-mapping approach under
SOFC
safety ...
⚡
Control Synthesis
sciencedirect.com
·
1d
·
…
Scientists Build Five-in-One “Super
Molecule
” for Next-Gen
Electronics
🔄
Nanopass
scitechdaily.com
·
2d
·
…
DeepSeek
V3
Complete Guide: Deploy and
Optimize
Local AI in 2026
🗺️
Region Inference
sitepoint.com
·
3d
·
…
Final synthesis of the
necessary
2026
paradigm
shift.
🧱
First Principles
threadreaderapp.com
·
1d
·
…
not much
happened
today
⚡
Performance
news.smol.ai
·
6d
·
…
Hydroxy-induced
cobalt oxides for syngas to light
olefins
✨
Effect Inference
nature.com
·
23h
·
…
${\mathrm{Fe}}_{2}{\mathrm{Mg}}_{3}$
stabilization
and solid-solution preliminary
observations
in the Fe-Mg system at high pressure and high temperature
💾
Register Pressure
link.aps.org
·
2d
·
…
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