3541
Google restricts Android sideloading
Purism makes premium phones, laptops, mini PCs and servers running free software on PureOS. Purism products respect people's privacy and freedom while protecting their security.
New
The latest blog posts to take off on Hacker News. 31,671 posts.
3542
10 Years of Betting on Rust
I wrote my first line of Rust in June 2015, a month after Rust 1.0 landed. Coming from C, Python, and JavaScript, I never looked back. Two Rust-based startups and 500k lines of Rust later, here are some reflections on the milestone.
3543
DNS4EU for Public Is Available
The free DNS4EU resolver, for everyone in Europe. Get the addresses, set it up in minutes, and block malware and phishing with no tracking.
3544
Autonomous drone defeats human champions in racing first
A team of scientists and students from TU Delft has taken first place at the A2RL Drone Championship in Abu Dhabi - an international race that pushes the limits of physical artificial intelligence, challenging teams to fly fully autonomous drones using only a single camera. The TU Delft drone competed against 13…
3545
Ada and SPARK enter the automotive ISO-26262 market with Nvidia
AdaCore and NVIDIA have decided to publish this reference process freely as an open-source and evolving document, allowing the industry at large to adopt…
3546
3547
How we reduced the impact of zombie clients
Every night, right around midnight (mainly UTC), a horde of zombies wakes up and clamors for … digital certificates! The zombies in question are abandoned or misconfigured Internet servers and ACME clients that have been set to request certificates from Let’s Encrypt. As our certificates last for at most 90 days…
3548
The Right to Repair Is Law in Washington State
Thanks in part to your support, the right to repair is now law in Washington.Gov. Bob Ferguson signed two bills guaranteeing Washingtonians' right to access tools, parts, and information so they can fix personal electronics, appliances, and wheelchairs. This is the epitome of common-sense...
3549
"AI Will Replace All the Jobs " Is Just Tech Execs Doing Marketing
Over the weekend, I went digging for evidence that AI can, will, or has replaced a large percent of jobs. It doesn't exist. Worse than that, actually,
3550
Doubling Down on Open Source
Open Sourcing all Product Features in Langfuse under the MIT license
3551
Go is a good fit for agents
Golang might just be the best language for building AI agents.
3552
Cloud Run GPUs, now GA, makes running AI workloads easier for everyone
Support for GPUs in Cloud Run makes running GPU-accelerated applications simpler, faster, and more cost-effective, as well as enabling new use cases.
3553
3554
Swift at Apple: Migrating the Password Monitoring Service from Java
Swift is heavily used in production for building cloud services at Apple, with incredible results. Last year, the Password Monitoring service was rewritten in Swift, handling multiple billions of requests per day from devices all over the world. In comparison with the previous Java service, the updated backend…
3555
(On | No) Syntactic Support for Error Handling
Go team plans around error handling support
3556
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
Testing code fidelity with TLA+ specs at MongoDB. Explore conformance checking experiences and agile modelling in distributed systems.
3557
My AI skeptic friends are all nuts
My smartest friends have bananas arguments about LLM coding.
3558
MonsterUI: Python library for building front end UIs quickly in FastHTML apps
Accelerate your UI development with MonsterUI, our Python library for building frontend UIs quickly in FastHTML apps.
3559
New adaptive optics shows details of our star's atmosphere
Scientists from the U.S. NSF National Solar Observatory and New Jersey Institute of Technology produced the finest images in the Sun’s corona to date. Using a new 'coronal adaptive optics' system that removes blur caused by Earth's atmosphere, their ground-breaking results were recently published in Nature Astronomy…
3560
Oniux: Kernel-level Tor isolation for any Linux app
Introducing oniux: Kernel-level Tor isolation for any Linux app. This torsocks alternative uses namespaces to isolate Linux applications over the Tor network and eliminate data leaks.
3561
My five-year experiment with UTC
Transform Your Time Management Forever! Discover how switching to UTC eliminated time zone confusion, boosted productivity, and simplified global scheduling for remote work.
3562
A Complete Guide to Meta Prompting
Check out our deep dive on the latest meta prompting methods, like DSPy and TEXTGRAD, and the best prompt generator tools out there.
3563
Valkey Turns One: Community fork of Redis
Valkey is not only thriving, but now outperforming Redis 8.0 in real world benchmarks.
3564
3565
Surprisingly fast AI-generated kernels we didn't mean to publish yet
We have some very fast AI-generated kernels in pure CUDA-C without using libraries and DSLs such as CUTLASS and Triton. They are performing close to or in some cases even beating the standard expert-optimized production kernels shipped in PyTorch. Some of our highlighted results:
3566
3567
3568
AI is not our future
We are not adding generative AI to our apps. Here's why.
3569
What works (and doesn't) selling formal methods
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
3570
When Fine-Tuning Makes Sense: A Developer's Guide
Most teams are curious about fine-tuning and how it might help their AI products, but they don't know what to expect from the process, how to measure success, or where to start.