Atlassian terminates 150 staff with pre-recorded video
cyberdaily.au·1d·
Discuss: Hacker News
🍎Apple
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·5d·
Discuss: Hacker News
🏠HomeLab
True Linux power users get more out of the best OS
zdnet.com·3d·
Discuss: Hacker News
❄️Nix
I built an alert layer on top of QuickBooks – then Intuit added a $300/month fee
uselunova.com·4d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
LLVM integrated assembler: Engineering better fragments
maskray.me·6d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
Beyond Neural Networks: Symbolic Reasoning over Wavelet Logic Graph Signals
arxiv.org·3d
✓Automated Theorem Proving
BoxBuddy: A Graphical Interface for Distrobox
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Any way at all to manage permissions on Unraid better? Especially for SMB. Maybe a separate docker with a GUI or something? Cockpit in a container? Idk…
reddit.com·1h·
Discuss: r/homelab
🔬Unikernels
Interactive Adversarial Testing of Autonomous Vehicles with Adjustable Confrontation Intensity
arxiv.org·3d
🧪Property-Based Testing
Upgrading homelab - Proxmox and Sunlight mini server?
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
Occupational Safety within Non-Routine Manufacturing Processes: Evaluating the Validity of Task-Based Ergonomic Assessments
arxiv.org·4d
🧪Property-Based Testing
Adaptive Prior Scene-Object SLAM for Dynamic Environments
arxiv.org·3d
🔄Finite State Machines
Fast
catherinejue.com·3d·
Discuss: Hacker News
👁️System Observability
Show HN: Mcp-use – Connect any LLM to any MCP
github.com·2d·
Discuss: Hacker News
🛡️seL4
Show HN: AI Flag Cleanup
news.ycombinator.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Adversarial Defence without Adversarial Defence: Enhancing Language Model Robustness via Instance-level Principal Component Removal
arxiv.org·3d
🔬Static Analysis
Modern Uyghur Dependency Treebank (MUDT): An Integrated Morphosyntactic Framework for a Low-Resource Language
arxiv.org·3d
🔤DSLs
Spatial-Temporal Data Mining for Ocean Science: Data, Methodologies, and Opportunities
arxiv.org·2d
✓Automated Theorem Proving
Music Arena: Live Evaluation for Text-to-Music
arxiv.org·4d
🔬Unikernels
PSA: Make sure you have these privacy features enabled on your iPhone
9to5mac.com·2h
🍎Apple