Creating a Colorscheme
robinroses.xyz·10h·
Discuss: Hacker News
🔬Unikernels
The Ideological Gravity of FOSS
gizvault.com·1d·
Discuss: r/programming
🔬Unikernels
Why the 40-yr old GNU's free and open, but not open-source
techhq.com·1d·
Discuss: Hacker News
🔬Unikernels
The LLM-for-software Yo-yo
tratt.net·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Technical deep dive of how we built an AI to answer structured data questions
secoda.co·18h·
Discuss: Hacker News
✓Automated Theorem Proving
The Halo Effect
kwokchain.com·17h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A summer of security: empowering cyber defenders with AI
blog.google·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·5d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
AWS launches Kiro, an agentic AI IDE, to end the chaos of vibe coding
techradar.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Data-Driven Review of Remote Sensing-Based Data Fusion in Precision Agriculture from Foundational to Transformer-Based Techniques
arxiv.org·1d
💻CS
3DGAA: Realistic and Robust 3D Gaussian-based Adversarial Attack for Autonomous Driving
arxiv.org·1d
🎮Verification Games
Towards Emotion Co-regulation with LLM-powered Socially Assistive Robots: Integrating LLM Prompts and Robotic Behaviors to Support Parent-Neurodivergent Child D...
arxiv.org·1d
🔤DSLs
AGFS-Tractometry: A Novel Atlas-Guided Fine-Scale Tractometry Approach for Enhanced Along-Tract Group Statistical Comparison Using Diffusion MRI Tractography
arxiv.org·6h
➡️Category Theory
Total/dual correlation/coherence, redundancy/synergy, complexity, and O-information for real and complex valued multivariate data
arxiv.org·2d
🏹Effect Systems
Understanding Driving Risks using Large Language Models: Toward Elderly Driver Assessment
arxiv.org·2d
🐫Embedded OCaml
Theory-Informed Improvements to Classifier-Free Guidance for Discrete Diffusion Models
arxiv.org·1d
💻CS
Knowledge Conceptualization Impacts RAG Efficacy
arxiv.org·1d
🏹Effect Systems
Contrastive Language-Image Pre-Training Model based Semantic Communication Performance Optimization
arxiv.org·1d
🐫Embedded OCaml
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·1d
🧪Property-Based Testing
Machine Learning for Evolutionary Graph Theory
arxiv.org·2d
➡️Category Theory