#SciArtSeptember: Skeleton
rubenerd.com·1d
🦀Rust Macros
Generate but verify: Reconciling the evidence utility of chatbots in many settings with chatbots’ evident lack of understanding
statmodeling.stat.columbia.edu·1d
⚡Proof Automation
Execute3 – Weekly Planner
execute3.com·7h·
Discuss: Hacker News
🌳Incremental Parsing
Social dynamics of Bluetooth speakers (2022)
dynomight.net·10h·
Discuss: Hacker News
🔲Cellular Automata
The Biological Rulebook Was Just Rewritten—by Ants
404media.co·6h
🦴Database Paleontology
Scott Kim's Inversions: Dream and Level
nkanaev.com·4d·
Discuss: Hacker News
📐Mathematical Art
Object Creation: The Issues I Faced and the Patterns That Helped Me
hackernoon.com·1d
🔓Reverse engineering
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·3d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📏Code Metrics
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·1d
✅Format Verification
Lisp Still Matters
funcall.blogspot.com·5d·
Discuss: Hacker News
🔗Lisp
AI Idea #1757094301
dev.to·1d·
Discuss: DEV
🤖AI Curation
LLM Encoder vs. Decoder: Robust Detection of Chinese AI-Generated Text with LoRA
arxiv.org·3d
💻Local LLMs
Graphical Quadratic Algebra
arxiv.org·2d
🔄Graph Rewriting
TableZoomer: A Collaborative Agent Framework for Large-scale Table Question Answering
arxiv.org·3d
🔗Parser Combinators
ANTS: Shaping the Adaptive Negative Textual Space by MLLM for OOD Detection
arxiv.org·1d
🤖Advanced OCR
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·2d
🔗Hash Chains
Real-Time Gas Mixture Discrimination Using Bayesian Compressed Sensing & Hyperdimensional Encoding
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·2d
🏗️Constructive Mathematics
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·2d·
Discuss: DEV
👁️System Observability