🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Interacting With Text Adventures Through Perl
entropicthoughts.com·1d
📟Terminals
Translating Cython to Mojo, a first attempt
fnands.com·1d·
Discuss: Hacker News
🔓Reverse engineering
The Sail instruction-set semantics specification language
alasdair.github.io·3d·
Discuss: Hacker News
🧩RISC-V Assembly
Bridging Cache-Friendliness and Concurrency: A Locality-Optimized In-Memory B-Skiplist
arxiv.org·1h
🌲B-tree Variants
Refactoring in the Age of Unlimited Code Generation
worksonmymachine.substack.com·3d·
Discuss: Substack
🦀Rust Macros
Efficacy of AI RAG Tools for Complex Information Extraction and Data Annotation Tasks: A Case Study Using Banks Public Disclosures
arxiv.org·1h
🔍Information Retrieval
Out of Distribution, Out of Luck: How Well Can LLMs Trained on Vulnerability Datasets Detect Top 25 CWE Weaknesses?
arxiv.org·1h
🎯Threat Hunting
DeepJIVE: Learning Joint and Individual Variation Explained from Multimodal Data Using Deep Learning
arxiv.org·1d
🌀Riemannian Computing
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·3d
🔤Type Theory
MapDiffusion: Generative Diffusion for Vectorized Online HD Map Construction and Uncertainty Estimation in Autonomous Driving
arxiv.org·1h
🌊Streaming Algorithms
SWIFT: A General Sensitive Weight Identification Framework for Fast Sensor-Transfer Pansharpening
arxiv.org·1d
📊Rate-Distortion Theory
MemTool: Optimizing Short-Term Memory Management for Dynamic Tool Calling in LLM Agent Multi-Turn Conversations
arxiv.org·1h
💻Local LLMs
Discovering Interpretable Ordinary Differential Equations from Noisy Data
arxiv.org·1h
🌀Differential Geometry
Numerical PDE solvers outperform neural PDE solvers
arxiv.org·1h
🌀Riemannian Computing
Advancing Mental Disorder Detection: A Comparative Evaluation of Transformer and LSTM Architectures on Social Media
arxiv.org·1d
📝Text Embeddings
Reminiscence Attack on Residuals: Exploiting Approximate Machine Unlearning for Privacy
arxiv.org·1d
💻Local LLMs
Multi-state Protein Design with DynamicMPNN
arxiv.org·1h
🔄Finite State Machines
Automated Identification of Sexual Orientation and Gender Identity Discriminatory Texts from Issue Comments
arxiv.org·1d
🔤Character Classification
AutoTIR: Autonomous Tools Integrated Reasoning via Reinforcement Learning
arxiv.org·1h
✓Automated Theorem Proving
Can LLMs Reason About Trust?: A Pilot Study
arxiv.org·1h
🔄Session Type Inference