AI travel agent with conversational memory
reinoso4.gumroad.com·8h·
Discuss: Hacker News
🎯Content Recommendation
Typechecker Zoo
sdiehl.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·4d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Intergenerational Support for Deepfake Scams Targeting Older Adults
arxiv.org·1d
⏳Time Capsule Networks
Every question you ask, every comment you make, I'll be recording you
theregister.com·20h·
Discuss: Hacker News
🤖AI Curation
Are Large Pre-trained Vision Language Models Effective Construction Safety Inspectors?
arxiv.org·1d
🔍Z3 Parsing
Thyme: Think Beyond Images
arxiv.org·1d
🌈Color Science
Accelerated Circadian Rhythm Calibration via Bio-Acoustic Resonance Mapping
dev.to·10h·
Discuss: DEV
📊Spectrograms
Characterizing NC1 with Typed Monoids
arxiv.org·1d
⚙️Syntactic Monoids
Quantization vs Pruning: Insights from the Strong Lottery Ticket Hypothesis
arxiv.org·1d
📊Quantization
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·1d
🧠Computational Logic
Building an Efficient Code Review Process for Scaling SaaS Engineering Teams
dev.to·1h·
Discuss: DEV
📏Code Metrics
Enhanced Predictive Modeling in Thin Film Evaporation via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·3d·
Discuss: DEV
📄Document Digitization
Automated Predictive Material Degradation Modeling for Adult Incontinence Pads
dev.to·2d·
Discuss: DEV
🧲Cassette Physics
Optimality of Linear Policies in Distributionally Robust Linear Quadratic Control
arxiv.org·2h
📈Linear programming
Automated Calibration of GIP ELISA Assays Using Bayesian Optimization and Real-Time Data Fusion
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Automated Anomaly Detection & Predictive Maintenance via Graph Neural Network Fusion in High-Throughput Manufacturing
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Debugging Trick No One Talks About: Letting AI Guess Before You Do
dev.to·4d·
Discuss: DEV
👁️System Observability
Kids need soft skills in the age of AI, but what does this mean for schools?
phys.org·14h
🔲Cellular Automata
Learning to Detect Unknown Jailbreak Attacks in Large Vision-Language Models: A Unified and Accurate Approach
arxiv.org·5d
🦾ARM Cortex-M