The theorem on formal functions
math.columbia.edu·5d
⚔️Lean Theorem
a word to my students
blog.ayjay.org·1d
⚡Proof Automation
kamailio/kamailio
github.com·1d
🔓Open Source Software
Your Questions About Psychedelics
nytimes.com·1h
⏰Time Crystals
Look at my Passy (I have made a password manager =)
reddit.com·3h·
Discuss: r/golang
🔓Password Cracking
AI is a Junior Dev and needs a Lead
getparthenon.com·2d·
Discuss: Hacker News, r/programming
📏Code Metrics
Combining Nonlinear FETI-DP Methods and Quasi-Newton Methods using an SQP Approach
arxiv.org·3d
🔬Lean
Bandicoot: A Templated C++ Library for GPU Linear Algebra
arxiv.org·3d
⚡Parallel Computing
Exascale simulations underpin quake-resistant infrastructure designs
phys.org·2d
🏺Computational Archaeology
Personalized Face Super-Resolution with Identity Decoupling and Fitting
arxiv.org·3d
🌀Fractal Compression
Evaluating the Quality of Open Building Datasets for Mapping Urban Inequality: A Comparative Analysis Across 5 Cities
arxiv.org·2d
🔶Voronoi Diagrams
A Comprehensive Perspective on Explainable AI across the Machine Learning Workflow
arxiv.org·3d
🤖AI Curation
I Spent $78 Learning Why Bash Still Matters in the AI Age
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
Automated Patient Stratification via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org·3d
🔗Functional Compilers
Wavelet-Based Doppler Shift Compensation for High-Resolution Synthetic Aperture Radar (SAR) Imagery
dev.to·5d·
Discuss: DEV
🌊Digital Signal Processing
Combating Homelessness Stigma with LLMs: A New Multi-Modal Dataset for Bias Detection
arxiv.org·1d
🎛️Feed Filtering
Engineered yeast provides rare but essential pollen sterols for honeybees
nature.com·20h
🧬Copy Number Variants
PersRM-R1: Enhance Personalized Reward Modeling with Reinforcement Learning
arxiv.org·8h
👤Search Personalization
Adaptive Lane Departure Warning System via Dynamic Bayesian Network and Spatio-Temporal LSTM Fusion
dev.to·2d·
Discuss: DEV
🔄Finite State Machines