Feeds to Scour
SubscribedAll
Scoured 26626 posts in 23.0 ms
Rcarmo/go-AI: A mildly sane inference API library for go  ⚡gRPC
github.com·3d·Hacker News
FairyFuse: Multiplication-Free LLM Inference on CPUs via Fused Ternary Kernels  💻Local LLMs
arxiv.org·1d
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics  📏Linear Logic
arxiv.org·1d
shreeve/rip-lang: A modern language that compiles to JavaScript  🔗Concatenative Programming
github.com·5d·Hacker News
Characterizing Streaming Decidability of CSPs via Non-Redundancy  📼Tape Combinators
arxiv.org·1d
Fable 5, F# compiler released  🦀Rust Macros
github.com·3d·Hacker News
A continuum of K\"unneth theorems for persistence modules  🕳️Persistent Homology
arxiv.org·2d
midspiral/LemmaScript: verification toolchain for TypeScript (Tech Preview)  🛡️Proof-Carrying Archives
github.com·4d·Hacker News
Complexity Classes Arising from Circuits over Finite Algebraic Structures  🎞️Tape Combinatorics
arxiv.org·1d
Cortex 2.0: Grounding World Models in Real-World Industrial Deployment  🔲Cellular Automata
arxiv.org·2d
The classification of minimally unsatisfiable 2-CNFs -- a fundamental study  🔗Combinatory Logic
arxiv.org·1d
CoFEE: Reasoning Control for LLM-Based Feature Discovery  🔮Proof Search
arxiv.org·1d
Linear Constraints  📈Linear programming
arxiv.org·1d
Tokenised Flow Matching for Hierarchical Simulation Based Inference  🔍Type Inference
arxiv.org·2d
Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version)  🔗Combinatory Logic
arxiv.org·2d
Predicting food taste with bound-driven optimization  🧮Algorithmic Cooking
arxiv.org·2d
A General Technique for Searching in Implicit Sets via Function Inversion  🕸️Graph Algorithms
arxiv.org·2d
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification  ⚖️Verification Calculi
arxiv.org·1d
From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation  🏗️Compiler Archaeology
arxiv.org·1d
Active Inference of Extended Finite State Machine Models with Registers and Guards  🔄Finite State Machines
arxiv.org·1d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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
Save / unsave
s
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