Up and Down the Ladder of Abstraction
🔲Cellular Automata
Flag this post
Creating Lisp Systems
📝Nix Language
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
🔢Algebraic Data Types
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
⚡Process Calculi
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.org·14h
🧩Parser Combinators
Flag this post
Beyond Basic RAG: AI Agents for Context-Aware Responses
thenewstack.io·3h
🧩Parser Combinators
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·14h
📐Linear Algebra
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·1d
🧩Separation Logic
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
⚙️Compiler Design
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·1d
λFunctional Programming
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🛡️seL4
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·14h
📡Network Protocol Design
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·1d
🔍CBMC
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·1d
🧩Separation Logic
Flag this post
Loading...Loading more...