Feeds to Scour
SubscribedAll
Scoured 9578 posts in 3.08 s
T3X.ORG nmhbasic/index
t3x.org·8h·
Discuss: Hacker News
📺VT100
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io·6h·
Discuss: DEV
🔐Capability Systems
Preview
Report Post
Parameter-free inexact block Schur complement preconditioning for linear poroelasticity under a hybrid Bernardi-Raugel and weak Galerkin finite element discretization
arxiv.org·2d
📐Linear Algebra
Preview
Report Post
Overengineering float serialization for no good reason
wejn.org·2d
🧪Binary Fuzzing
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
💧Liquid Types
Preview
Report Post
HyperFoldUK/sparse-ternary-fma: High-performance ternary arithmetic kernel with 2-bit encoding and AVX-512 SIMD acceleration for FHE and AI applications
github.com·4d·
Discuss: Hacker News
🔐Homomorphic Encryption
Preview
Report Post
The Anti-Cloud AI Manifesto: Meet “Ratio,” the DSL That Runs Game-Grade Intelligence on a Laptop
hackernoon.com·3d
🌊Stream Processing
Preview
Report Post
A data-directed approach to lexing.
lambda-the-ultimate.org·3d
🧪Binary Fuzzing
Preview
Report Post
Towards a Security Plane for 6G Ecosystems
arxiv.org·2d
⚡gRPC
Preview
Report Post
Context Mesh Lite: Hybrid Vector Search + SQL Search + Graph Search Fused (for Super Accurate RAG)
vibe.forem.com·3d·
Discuss: DEV
✅Format Verification
Preview
Report Post
Tanya Khovanova's Math Blog » Blog Archive
blog.tanyakhovanova.com·5d
📐Mathematical Art
Preview
Report Post
Switching It Up a Bit
xania.org·4d·
Discuss: Hacker News
🧮Algebraic Datatypes
Preview
Report Post
Adaptive Neuro-Symbolic Planning for precision oncology clinical workflows with inverse simulation verification
dev.to·4d·
Discuss: DEV
🔗Constraint Handling
Preview
Report Post
On Factoring and Power Divisor Problems via Rank-3 Lattices and the Second Vector
arxiv.org·4d
🧮SMT Solvers
Preview
Report Post
FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
arxiv.org·4d
💧Liquid Types
Preview
Report Post
Multilinear Maps and Tensor Product
rinterested.github.io·6d
🕸️Tensor Networks
Preview
Report Post
Formally Verifying Peephole Optimisations in Lean
l-m.dev·4d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Understanding Vibe Proving | Towards Data Science
towardsdatascience.com·5d
🎯Proof Tactics
Preview
Report Post
Equivariant Polynomial Functional Networks
arxiv.org·4d
🕸️Tensor Networks
Preview
Report Post
Merge on workspaces as Hopf algebra Markov chain
arxiv.org·4d
⚙️Syntactic Monoids
Preview
Report Post