Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

Masked Softmax Layers in PyTorch
mcognetta.github.io·1d·
Discuss: Hacker News
🎯Complexity Classes
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·16h·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
Existential Types
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·17h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·18h·
🔧ppx
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
🎨GADTs
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🔍CBMC
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
Process Calculi
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.org·1d
🧩Parser Combinators
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
⚙️Compiler Design
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·1d
🧩Parser Combinators
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques (Save 15+ Hours Weekly)
dev.to·9h·
Discuss: DEV
🎮Verification Games
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·6h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·6h
🔧Microcontrollers
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.org·6h
🧩Parser Combinators
Flag this post