Google DeepMind Formal Conjectures
google-deepmind.github.io·2d·
Discuss: Hacker News
🕸️Algebraic Topology
How to Learn the Swift Source Code
blog.jacobstechtavern.com·19h·
Discuss: Hacker News
📜Proof Carrying Code
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·5h·
Discuss: Hacker News
⚡Proof Automation
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·1d·
Discuss: Substack
🎯Performance Proofs
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
[D] Set of sequences input for transformers
reddit.com·2d·
Discuss: r/MachineLearning
🌊Stream Ciphers
Logistic Regression Applied to Baseball Data
runningonnumbers.com·18h·
Discuss: Hacker News
🧮Kolmogorov Bounds
A Practical Comparison of AI Coding Agents
jaredforsyth.com·1d·
Discuss: Hacker News
🔐Capability Systems
Build, Learn, Delete, Repeat
ymichael.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Deep Neural Encoder-Decoder Model to Relate fMRI Brain Activity with Naturalistic Stimuli
arxiv.org·6d
🧠Neural Codecs
Just completed AWS AI & ML challenge.
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Cheapest LLM Call Is the One You Don't Await
inference.net·1d·
Discuss: Hacker News
🌊Stream Processing
Estimating Treatment Effects with Independent Component Analysis
arxiv.org·6h
🌀Riemannian Computing
Machine Learning Fundamentals: ensemble learning with python
dev.to·2d·
Discuss: DEV
🌊Stream Processing
CXR-TFT: Multi-Modal Temporal Fusion Transformer for Predicting Chest X-ray Trajectories
arxiv.org·1d
🤖Advanced OCR
Learning-Based Modeling of a Magnetically Steerable Soft Suction Device for Endoscopic Endonasal Interventions
arxiv.org·1d
🧲Magnetic Tribology
Surfacing Variations to Calibrate Perceived Reliability of MLLM-generated Image Descriptions
arxiv.org·1d
⟷Bidirectional Programming
AI, Expert or Peer? -- Examining the Impact of Perceived Feedback Source on Pre-Service Teachers Feedback Perception and Uptake
arxiv.org·6h
🗺️Competency Maps
Flow Symmetrization for Parameterized Constrained Diffeomorphisms
arxiv.org·6h
🌀Differential Geometry
Disability Across Cultures: A Human-Centered Audit of Ableism in Western and Indic LLMs
arxiv.org·6h
🏛Digital humanities