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
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74664
posts in
677.2
ms
Don't Break the Boundary: Continual Unlearning for
OOD
Detection Based on Free Energy
Repulsion
arxiv.org
·
23h
⚓
Anchors
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
23h
📏
Linear Types
Automatic
WS2812
Characterization
cpldcpu.com
·
2d
🎯
BPF CO-RE
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
5d
·
Discuss:
blog.computationalcomplexity.org
🎰
Treap
The anti-Bayesian is standing at the back window with a shotgun, scanning for priors coming over the hill, while a million assumptions just walk right into his house through the front door. (also, an interesting point by
Yann
LeCun
about human language)
statmodeling.stat.columbia.edu
·
3d
⏰
Lamport Clocks
On
Linguistic
Precision
blog.firedrake.org
·
2d
📝
Parsing
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
📊
Datalog
Hardness
of
hinted
ISIS from the space-time
hardness
of lattice problems
eprint.iacr.org
·
4d
🔢
Homomorphic Encryption
TypeScript
: JavaScript With
Syntax
For Types.
typescriptlang.org
·
4d
📘
TypeScript
What should I program?
jamesmcm.github.io
·
1d
🦀
Rust
Show HN:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
2h
·
Discuss:
Hacker News
🌀
Naiad
Hello Edge: Keyword
Spotting
on
Microcontrollers
paperium.net
·
3d
·
Discuss:
DEV
📱
Edge AI
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🏛️
Region-Based Memory
Using AI to
write
a
transpiler
dev.to
·
4h
·
Discuss:
DEV
🎭
Program Synthesis
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
2d
·
Discuss:
Hacker News
🍱
Nom
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌊
CALM Theorem
C and
Undefined
Behaviour
lelanthran.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
📚
Stack Unwinding
The Future of Software Engineering
poberezkin.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
6d
·
Discuss:
Lobsters
📐
Type Theory
Convolutional
Neural Networks using
Logarithmic
Data Representation
dev.to
·
1d
·
Discuss:
DEV
📱
Edge AI
Loading...
Loading more...
« Page 6
•
Page 8 »
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