It's the perfect time to buy a cheap used EV
engadget.com·21h
🇳🇱Dutch Computing
Sets & Heaps in Haskell and Rust
mmhaskell.com·4d
🔒Type Safety
Integrating Code Insight into Reverse Engineering Workflows
blog.virustotal.com·23h·
Discuss: blog.virustotal.com
🔬Binary Analysis
What Is Mojo?
harshal.is-cool.dev·22h·
Discuss: Hacker News
💧Liquid Types
Tic-tac-toe meets Lean 4
ochagavia.nl·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
RFC 8594: The Sunset HTTP Header Field
datatracker.ietf.org·14h·
Discuss: Hacker News
📋Protocol Buffers
On Joining the Mojo Compiler Team
verdagon.dev·16h·
Discuss: Hacker News
🎯Gradual Typing
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·2d·
Discuss: Hacker News
🚀SIMD Text Processing
Contrastive Representations for Temporal Reasoning
princeton-rl.github.io·1h·
Discuss: Hacker News
🔲Cellular Automata
Dependent types I › Universes, or types of types
jonmsterling.com·2d·
Discuss: Hacker News
🔤Type Theory
Linking heterogeneous microstructure informatics with expert characterization knowledge through customized and hybrid vision-language representations for indust...
arxiv.org·5h
🏺Computational Archaeology
Feature-Refined Unsupervised Model for Loanword Detection
arxiv.org·3d
📏Manuscript Metrics
Urn Modeling of Random Graphs Across Granularity Scales: A Framework for Origin-Destination Human Mobility Networks
arxiv.org·2d
📡BGP Archaeology
PromptSleuth: Detecting Prompt Injection via Semantic Intent Invariance
arxiv.org·5h
🔒Language-based security
Fact or Facsimile? Evaluating the Factual Robustness of Modern Retrievers
arxiv.org·5h
🔍Information Retrieval
Poison Once, Refuse Forever: Weaponizing Alignment for Injecting Bias in LLMs
arxiv.org·5h
💻Local LLMs
ATM-GAD: Adaptive Temporal Motif Graph Anomaly Detection for Financial Transaction Networks
arxiv.org·5h
🔍Vector Forensics
Effective Clustering for Large Multi-Relational Graphs
arxiv.org·3d
🌊Spectral Clustering
The IRMA Dataset: A Structured Audio-MIDI Corpus for Iranian Classical Music
arxiv.org·1d
🎼Computational Musicology
Even Heads Fix Odd Errors: Mechanistic Discovery and Surgical Repair in Transformer Attention
arxiv.org·1d
✨Effect Handlers