Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·8h·
Discuss: Hacker News
💎Refinement Types
Flag this post
How devtools map minified JS code back to your TypeScript source code
polarsignals.com·3h·
Discuss: Hacker News, r/javascript, r/node, r/reactjs
❓Existential Types
Flag this post
How We Built a Custom Vision LLM to Improve Document Processing at Grab
engineering.grab.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·6h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Intervaltree with Rust Back End
github.com·2d·
Discuss: Hacker News
🏗️Dune
Flag this post
LookSync: Large-Scale Visual Product Search System for AI-Generated Fashion Looks
arxiv.org·14h
🧩Parser Combinators
Flag this post
For Synthetic Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·14h
📚Automata Learning
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·14h
🎮Verification Games
Flag this post
Erasing 'Ugly' from the Internet: Propagation of the Beauty Myth in Text-Image Models
arxiv.org·14h
🔤Kleene Algebra
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·14h
📦Module Systems
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·1d
🔄Finite State Machines
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·14h
📐Linear Algebra
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Beyond Visualization: Building Decision Intelligence Through Iterative Dashboard Refinement
arxiv.org·1d
👁️System Observability
Flag this post
Defining Energy Indicators for Impact Identification on Aerospace Composites: A Physics-Informed Machine Learning Perspective
arxiv.org·14h
📐Linear Algebra
Flag this post
Chain of Pattern: Rethink
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
Knowledge Elicitation with Large Language Models for Interpretable Cancer Stage Identification from Pathology Reports
arxiv.org·14h
🧩Parser Combinators
Flag this post