GUADEC 2025
feaneron.com·13h
🐧FOSS
Nextcloud vs. CryptPad: Which Privacy-First Collaboration Tool is Right for You?
itsfoss.com·1d
🏠Homelab Federation
Vibe Coding 4 -- Speed Scrabble
joelgrus.com·1d
🧪Binary Fuzzing
Week 31 Status
blogs.gnome.org·1d
🎯Gradual Typing
Speed up unit tests with paralllel GitHub Actions
ohdear.app·12h·
Discuss: Hacker News
🏠Homelab Pentesting
The hiring test that defeated AI
bitecode.dev·17h·
Discuss: Hacker News
✅Shell Verification
Let the Kaleidoscope Turn
shabie.github.io·5d·
Discuss: Hacker News
🧠Learned Indexing
DSPy Simba Explained
blog.mariusvach.com·10h·
Discuss: Hacker News
🧮SMT Solvers
Moving TIL Computer To Quartz
lmika.org·1d
🕸️Knowledge Graphs
🎭 Compressing Human Faces with VAE vs VQ-VAE — A Deep Dive into Autoencoder Design
dev.to·15h·
Discuss: DEV
📊Quantization
Estimating Reliability of Electric Vehicle Charging Ecosystem using the Principle of Maximum Entropy
arxiv.org·1d
📈Entropy Estimation
Multi-Image Reference With Flux.1 Kontext: A Step-by-step Guide
dev.to·2d·
Discuss: DEV
📸PNG Optimization
Global Optimality in Multi-Flyby Asteroid Trajectory Optimization: Theory and Application Techniques
arxiv.org·4h
📈Linear programming
SpatioTemporal Difference Network for Video Depth Super-Resolution
arxiv.org·1d
📊Learned Metrics
Use AI Agent Development Services To Unlock Smart Automation
dev.to·21h·
Discuss: DEV
🏠Homelab Orchestration
Imbalance-Robust and Sampling-Efficient Continuous Conditional GANs via Adaptive Vicinity and Auxiliary Regularization
arxiv.org·1d
📊HyperLogLog
KCR: Resolving Long-Context Knowledge Conflicts via Reasoning in LLMs
arxiv.org·1d
🧮Theorem Proving
ProKG-Dial: Progressive Multi-Turn Dialogue Construction with Domain Knowledge Graphs
arxiv.org·1d
🧮Prolog Parsing
RooseBERT: A New Deal For Political Language Modelling
arxiv.org·4h
📝Concrete Syntax
Tom and Jerry Card Apps with Google AI Studio
dev.to·23h·
Discuss: DEV
🎮Gameboy Emulation