Accelerating Offensive R&D with Large Language Models
outflank.nl·1d
🔒WASM Capabilities
Thinking Thursday: Triangle Sums
denisegaskins.com·1d
📚Proof Pedagogy
The String Theory [David Foster Wallace, 1996]
esquire.com·22h·
Discuss: Hacker News
🕸️Algebraic Topology
Introduction to XEphem (Motif)
spiff.rit.edu·22h·
Discuss: Hacker News
📟Terminal Physics
Researchers Develop a Low-Cost Visual Microphone
science.slashdot.org·8h
🎧Vorbis Encoding
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.com·2d·
Discuss: Hacker News
📡Frequency Archaeology
How Judoscale's Utilization-Based Autoscaling Works
judoscale.com·1d·
Discuss: Hacker News
📊Performance Profiling
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🧮Constraint SMT
Code with LLMs and a Plan
richstone.io·6h·
Discuss: Hacker News
⚔️Lean Tactics
Sampling and entropy numbers in the uniform norm
arxiv.org·3d
📊Compression Proofs
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·3d
🤖Grammar Induction
Master TensorFlow Distributed Training: MirroredStrategy, TPUStrategy, and More
hackernoon.com·23h
⚙️Batch Processing
Benchmarking Fraud Detectors on Private Graph Data
arxiv.org·1d
🌳Archive Merkle Trees
Show HN: Dfembed is a Rust-powered Python lib turning DataFrames into vector db
github.com·2d·
Discuss: Hacker News
🗂️Vector Databases
What is Cursor Rules? A Step-by-Step Guide
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Planning My First Homelab Server (NAS, Media, VMs, Docker) – Need Advice on Older but Efficient hardware
reddit.com·15m·
Discuss: r/homelab
🏠HomeLab
ArtSeek: Deep artwork understanding via multimodal in-context reasoning and late interaction retrieval
arxiv.org·2d
🎭Cultural Informatics
Past Meets Present: Creating Historical Analogy with Large Language Models
arxiv.org·1d
🕰️RetroCRDTs
Enhancing efficiency in paediatric brain tumour segmentation using a pathologically diverse single-center clinical dataset
arxiv.org·1d
🌀Riemannian Computing