Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·22h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.com·1d·
Discuss: Hacker News, r/LLM
📚Automata Learning
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·3d·
Discuss: Hacker News
🔍CBMC
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·1d
λFunctional Programming
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·2d·
Discuss: Hacker News
📦Module Systems
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·14h
🎯Hindley-Milner
Flag this post
How to be convincing when talking to people about existential threat from AI
lesswrong.com·12h
🎮Verification Games
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
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1h·
Discuss: DEV
Automated Theorem Proving
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·17h·
Discuss: DEV
💎Refinement Types
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
Maxwell's Demon and the Arrow of Time
lesswrong.com·12h
🩹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
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·14h
🧩Parser Combinators
Flag this post