Open Sourcing Kubetorch
run.house·2d·
Discuss: Hacker News
Kubernetes
Flag this post
dcaf: An implementation of the ACE-OAuth framework
docs.rs·2d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Switching from GPG to Age
luke.hsiao.dev·3h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·15h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·1d·
📚Automata Learning
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
⏱️Computational Complexity
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·1d·
🧩Parser Combinators
Flag this post
Adaptive Beamforming Optimization via Decentralized Reinforcement Learning in Millimeter Wave Networks
dev.to·1h·
Discuss: DEV
👁️Observability
Flag this post
Analysis of Beam Misalignment Effect in Inter-Satellite FSO Links
arxiv.org·15h
📐Linear Algebra
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·1d
📚Automata Learning
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
🎮Verification Games
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·5d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·15h
🛡️seL4
Flag this post
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·15h
🕸️Graph Theory
Flag this post
Production-Grade Python Logging Made Easier with Loguru
dev.to·11h·
Discuss: DEV
📊Runtime Verification
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
💎Refinement Types
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·1d·
Discuss: DEV
💎Refinement Types
Flag this post
Collateral Crossroads: Quantum-AI's Revolution in Risk Mitigation
dev.to·2d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post