Increased Subscription Pricing for IDEs, .NET Tools, dotUltimate, and the All Products Pack
blog.jetbrains.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Hiroshima (1946)
newyorker.com·2d·
Discuss: Hacker News, r/Longreads
💾Retro Computing
What is an AI-first software company?
varungodbole.com·5d·
Discuss: Hacker News
🤖Program Synthesis
An ATTiny GPU Fan Controller That Sticks
hackaday.com·2d
🍎XNU Internals
One Weird Trick to Untie Landin's Knot
arxiv.org·5d
➡️Category Theory
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.org·5d
🛡️seL4
Efficient Selection of Informative Alternative Relational Query Plans for Database Education
arxiv.org·5d
✓Automated Theorem Proving
Turbocharging Web Automation: The Impact of Compressed History States
arxiv.org·5d
🔄Finite State Machines
Progress update for Mixreel (3D and video-to-video)
mixreel.ai·4d·
Discuss: Hacker News
💾Retro Computing
You, Your Tools, and Your Team of AI Agents – By Owen Zanzal
medium.com·4d·
Discuss: Hacker News
👁️System Observability
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
medium.com·6d·
Discuss: Hacker News
🎮Verification Games
"Intelligenza Artificiale for Artificial Intelligence Research and Development"
news.ycombinator.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
UloRL:An Ultra-Long Output Reinforcement Learning Approach for Advancing Large Language Models' Reasoning Abilities
arxiv.org·6d
✓Automated Theorem Proving
What Language(s) Does Aya-23 Think In? How Multilinguality Affects Internal Language Representations
arxiv.org·6d
🐫Embedded OCaml
Show HN: HackerTool – Small toolkit with real features and prank commands
github.com·3d·
Discuss: Hacker News
🍎XNU Internals
Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model
arxiv.org·6d
🤖Program Synthesis
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·4d
🔠Type-Level Programming
Distance and Collision Probability Estimation from Gaussian Surface Models
arxiv.org·4d
🔠Type-Level Programming
Is it possible to make it so servers can only be ssh'd into from specified machines on the network?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)
sigops.org·5d·
Discuss: Hacker News
🛡️seL4