[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·15h·
Discuss: r/programming
🔬Reverse Engineering
Flag this post
Bloom filters are good for search that does not scale
notpeerreviewed.com·1d·
🔤Kleene Algebra
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·20h
λFunctional Programming
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.org·1d
🎨GADTs
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
📦Module Systems
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·2d
📚Automata Learning
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·2d·
Discuss: DEV
🧮Z3
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
Existential Types
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·1d
🧪Property-Based Testing
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.to·12h·
Discuss: DEV
💎Refinement Types
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Variational Geometric Information Bottleneck: Learning the Shape of Understanding
arxiv.org·10h
🎯Hindley-Milner
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·1d
📚Automata Learning
Flag this post
Maxwell's Demon and the Arrow of Time
lesswrong.com·7h
🩹Self-Healing Systems
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·2d
📚Automata Learning
Flag this post
GeneFlow: Translation of Single-cell Gene Expression to Histopathological Images via Rectified Flow
arxiv.org·1d
🧩Parser Combinators
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.org·1d
🧩Parser Combinators
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·10h
🧩Parser Combinators
Flag this post