Feeds to Scour
SubscribedAll
Scoured 74749 posts in 535.3 ms
Don't Break the Boundary: Continual Unlearning for OOD Detection Based on Free Energy Repulsion
arxiv.org·18h
⚓Anchors
Linear Realisability and Implicative Algebras
arxiv.org·18h
📏Linear Types
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
Hello Edge: Keyword Spotting on Microcontrollers
paperium.net·3d·
Discuss: DEV
📱Edge AI
C and Undefined Behaviour
lelanthran.com·1d·
Discuss: Hacker News, r/C_Programming, r/programming
📚Stack Unwinding
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
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
Private Data Space Model
privatedata.space·4d
🔗Intrusive Containers
RoomKit, Pipecat, TEN Framework, LiveKit Agents: Choosing the Right Conversational AI Framework
dev.to·8h·
Discuss: DEV
💬Prompt Engineering
Manton Reece - Read the code
manton.org·2d
⚛️Calvin
Deep dive into Hierarchical Navigable Small Worlds
amandeepsp.github.io·1d·
Discuss: Hacker News, r/Zig, r/programming
📐Computational Geometry
Cross compiling made easy, using Clang and LLVM
mcilloni.ovh·1d
🔨LLVM
Context Is Part of the Game
joy.pm·1d·
Discuss: Hacker News
💬Prompt Engineering

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