-
2
Towards formal verification: mbrotli and mzstd
(m-compressors.github.io)
-
1
The Rheinmetall Curb Charger
(rheinmetall.com)
-
1
Gnome Extension for getting windows list in Wayland
(github.com)
-
1
Descent into the Computational Sublime
(contraptions.venkateshrao.com)
-
1
Together Compiler: Continual Compilation for AI Inference
(together.ai)
-
1
DisplaySwitcher
(nebulasoftware.com)
-
1
Most AI apps learn about you on their own. exxperts learns with you
(github.com)
-
1
The True Story of Audion
(panic.com)
-
3
Building a messenger without phone numbers: the hard problems
(joinmorse.com)
-
1
Detecting signs of hypertension using wearable sensors
(research.google)
-
1
Show HN: Breath Harbor
(breathharbor.com)
-
1
Lockdown Mode Bypassed in New iPhone Exploit
(privacyguides.org)
-
2
Missing Lessons about Life
(sekor.eu.org)
-
2
Software Line Specialist
(lovro-bikic.github.io)
-
2
Xenharmonic Wiki of Tuning Systems
(en.xen.wiki)
-
4
Show HN: Rindraw – drawing and animation app for iPad, iPhone and Mac
(rindraw.com)
-
3
Linux-use – agent-first GUI control for Linux
(javimosch.github.io)
-
4
Firms told to publish salaries in job adverts ahead of new law
(bbc.co.uk)
-
2
NYSE Expands Network of Transfer Agents
(x.com)
-
2
Unraveling the complexity of climate change hidden underground
(worldsensorium.com)
-
4
Anthropic is rapidly accelerating AI development amid slowdown calls
(apnews.com)
-
4
Tesla to axe Cybertruck as Musk shifts focus to robotics and AI
(ft.com)
-
1
Branching Beyond Leonardo: The Evolution of Tree Architecture Theory
(blue-continuum.com)
-
2
Show HN: Black Pixel – 69-byte inverse of the Million Dollar Homepage
(black-pixel-1x1.vercel.app)
-
1
Media manager that connects to your streaming services and connected speakers
(music-assistant.io)
-
1
Homomorphic Encryption for Pseudonymization – privacy enabled data-sharing
(belfortlabs.com)
-
2
The Docker group is root access, my agent used it to write to /etc.
(jeena.net)
-
2
Open Source Spotify client library
(github.com)
-
1
Designing Rust APIs around KEM, AEAD and key derivation workflows
(github.com)
-
2
Denmark to rule on 'parallel societies' after 'non-western' people evicted
(theguardian.com)