BSD Now 622: Interview with Mark Phillips - FreeBSD Foundation Insights
discoverbsd.com·8h
🔌Operating system internals
Fermat's Last Theorem in Lean – Imperial College London
github.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Ancient tombs and 1,000-year-old remains uncovered during gas works
the-independent.com·6h
🏺Computational Archaeology
Substack review 2025
techradar.com·9h
📰Feed Readers
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
💧Liquid Types
Releasing open weights for FLUX.1 Krea
krea.ai·1d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
Resolving Simpson’s paradox using poststratification
statmodeling.stat.columbia.edu·1d
🔃Feed Algorithms
Introducing ml_sentiment_simple: A Multilingual Sentiment Analysis Library for Dart & Flutter
dev.to·2d·
Discuss: DEV
🌀Brotli Dictionary
InsurTech innovation using natural language processing
arxiv.org·2d
📝ABNF Parsing
Efficient Nearest Neighbor Search Using Dynamic Programming
arxiv.org·2d
🔶Voronoi Diagrams
SynPAIN: A Synthetic Dataset of Pain and Non-Pain Facial Expressions
arxiv.org·3d
📊Learned Metrics
ST-DAI: Single-shot 2.5D Spatial Transcriptomics with Intra-Sample Domain Adaptive Imputation for Cost-efficient 3D Reconstruction
arxiv.org·2d
🏺Computational Archaeology
A Massively Parallel Performance Portable Free-space Spectral Poisson Solver
arxiv.org·2d
🌀Nordic Supercomputing
Understanding Public Perception of Crime in Bangladesh: A Transformer-Based Approach with Explainability
arxiv.org·2d
🔍Information Retrieval
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.org·3d
🧠Machine Learning
Pic2Diagnosis: A Method for Diagnosis of Cardiovascular Diseases from the Printed ECG Pictures
arxiv.org·3d
👁️OCR Verification
Style-Aware Blending and Prototype-Based Cross-Contrast Consistency for Semi-Supervised Medical Image Segmentation
arxiv.org·3d
📊Learned Metrics
DeepJIVE: Learning Joint and Individual Variation Explained from Multimodal Data Using Deep Learning
arxiv.org·3d
🌀Riemannian Computing
RL from Teacher-Model Refinement: Gradual Imitation Learning for Machine Translation
arxiv.org·1d
🎙️Whisper
Machine Learning Fundamentals: logistic regression example
dev.to·1d·
Discuss: DEV
🧠Machine Learning