Feed aggregator
Implementation of Dependent Types
Article URL: https://www.cse.chalmers.se/~coquand/impl.html
Comments URL: https://news.ycombinator.com/item?id=44203255
Points: 1
# Comments: 1
Nitpicking Gladiator's Iconic Opening Battle
Article URL: https://acoup.blog/2025/06/06/collections-nitpicking-gladiators-iconic-opening-battle-part-i/
Comments URL: https://news.ycombinator.com/item?id=44203253
Points: 1
# Comments: 0
Why Does My Ripped CD Have Messed Up Track Names? and Why Is One Track Missing?
Article URL: https://www.akpain.net/blog/inside-a-cd/
Comments URL: https://news.ycombinator.com/item?id=44203250
Points: 2
# Comments: 0
Apple Faces Billions in Losses as EU Comma Interpretation Ends External Purchase Fees
Smithy API models for all AWS services
Article URL: https://aws.amazon.com/blogs/aws/introducing-aws-api-models-and-publicly-available-resources-for-aws-api-definitions/
Comments URL: https://news.ycombinator.com/item?id=44202937
Points: 1
# Comments: 0
Show HN: I built a tool called BitCache that backs up Entra BL keys locally
Article URL: https://github.com/pawellakomski/bitcache
Comments URL: https://news.ycombinator.com/item?id=44202932
Points: 1
# Comments: 1
Show HN: Lightweight Durable Workflows Built on Postgres
Hi HN! This is Qian here with Peter (KraftyOne) and Jeremy (jedberg). We’re building DBOS, an open-source Python library for lightweight, durable workflows and queues. It’s comparable to systems like Airflow and Celery, but is designed to be more lightweight and embedded directly in your application process.
Our core idea is to make reliability and failure recovery easier without introducing additional infrastructure. You don’t need a separate workflow server: the DBOS library just connects to a Postgres database to persist state and recover from failures.
You define workflows by annotating normal Python functions, and DBOS handles checkpointing each step output to Postgres. If your app crashes or restarts, workflows automatically resume from the last completed step. Queues are backed by Postgres too, with deduplication, retries, and flow control.
You add durable workflows to your existing program by annotating ordinary functions as workflows and steps:
from dbos import DBOS @DBOS.step() def step_one(): ... @DBOS.step() def step_two(): ... @DBOS.workflow() def workflow(): step_one() step_two() The workflow is just an ordinary Python function. You can call it any way you like–from a FastAPI handler, in response to events, wherever you’d normally call a function.
We’ve just released DBOS Python 1.0. This enhances workflows with many powerful features we’ve been building over the last few months, including:
- Durable queues. Postgres-backed queues with all the queuing features of BullMQ/Celery (concurrency limits, rate limits, timeouts, priority, deduplication, etc.). Plus, they integrate with durable workflows, so you can write a workflow that enqueues 1K tasks, waits for and processes their results, and automatically recovers from any interruption.
- Programmatic workflow management. Your workflows are stored as rows in a Postgres table, so you have full programmatic control over them. Write scripts to query workflow executions, batch pause or resume workflows, or even restart failed workflows from a specific step. This makes it much easier to diagnose and recover from bugs and failures that affect thousands of workflows.
- Full support for both sync and async Python–write your workflows and steps as code either synchronously or asynchronously, it all works out of the box.
- Improved tooling, including dashboards, workflow graph visualization, workflow management via web UI, and more.
We’d love to hear your feedback and hope you can try DBOS out!
Comments URL: https://news.ycombinator.com/item?id=44202930
Points: 1
# Comments: 0
Medroid: AI Doctor, Always on Call
Article URL: https://app.medroid.ai/join-founders
Comments URL: https://news.ycombinator.com/item?id=44202912
Points: 1
# Comments: 1
Country Meal
Article URL: https://kivuhub.net/job/street-child-country-meal-manager-kinshasa/
Comments URL: https://news.ycombinator.com/item?id=44202910
Points: 1
# Comments: 0
How do you wash your clothes in space?
Article URL: https://www.bbc.co.uk/newsround/57751277
Comments URL: https://news.ycombinator.com/item?id=44202893
Points: 1
# Comments: 0
ChatGPT Built a Budget for Me ASAP, but It Has Several Limitations
How to update Chrome on every operating system
We often write about important updates for the most popular browser, Google Chrome. Since it would be out of scope to post elaborate update instructions for every possible platform and operating system (OS)—like iOS, macOS, Windows, Android, etc.—we decided to turn this topic into a separate post that is easy to find (and link to). Also, keep in mind that not every update will be available for every platform or at the same time. You can find when the latest update for your operating system was released on this Google Chrome releases website.
Keeping your Google Chrome browser up to date is essential for security, performance, and access to the latest features. Whether you’re on Windows, Mac, Linux, Android, or iOS, updating Chrome is straightforward, if you know where to look.
But first a few words about the version numbers, because they can be confusing at times.
The Chrome version number consists of four parts separated by dots, like this:
MAJOR.MINOR.BUILD.PATCH
Each part has a specific meaning. In order of relevance they are:
- MAJOR: This number increases with significant releases that may include major new features or changes. It usually raises in increments about 7 – 8 times per year, roughly every 6 weeks, reflecting Chrome’s release cycle.
- MINOR: This number is typically zero and rarely changes. It mainly supports the versioning scheme but doesn’t usually affect how users track updates.
- BUILD: This number increases steadily and represents a specific snapshot of Chrome’s source code at a given time. It advances with each new build candidate and is the key indicator of how recent the core code is.
- PATCH: This number changes in increments for smaller fixes and security patches applied to a particular build. It resets with each new build and helps identify minor updates within the same build.
For example, a version like 137.0.7151.56 means:
- Major version 137 (the milestone release)
- Minor version 0 (standard)
- Build number 7151 (the code snapshot)
- Patch number 56 (the latest fix on that build)
The BUILD and PATCH numbers together uniquely identify the exact code you are running. Even if two versions share the same major number, a higher build or patch number means you have a newer, more up-to-date Chrome version.
Sometimes you might see slightly different patch numbers on the same major build, for example, 118.0.5993.117 vs. 118.0.5993.118. This usually happens because Google released a quick fix or minor patch shortly after the initial release. Both are part of the same major update, but the higher patch number is newer.
How to check if you have the latest versionTo verify your Chrome version:
- Open Chrome.
- Click the three-dot menu (⋮) in the top-right corner.
- Go to Help > About Google Chrome.
Chrome will display your current version and automatically check for updates. If a newer version is available, it will download and prompt you to relaunch once it’s ready updating.
Chrome is updating Update Chrome on WindowsMethod 1: Use Chrome’s built-in update feature
- Open Chrome.
- Click the three-dot menu icon (⋮) in the top-right corner.
- Hover over Help, then click About Google Chrome.
- Chrome will automatically check for updates and download them if available.
- Once downloaded, click Relaunch to complete the update.
To enable automatic updates for Google Chrome on Windows, ensure that the “Automatically update Chrome for all users” option is enabled in Chrome’s settings. You can find this setting by going to “About Google Chrome” within the Chrome settings. Closing and restarting Chrome may be required to apply the update.
Method 2: using Windows Update (for Chrome Enterprise)
If your organization manages Chrome updates via Windows Update or group policies, updates may be automatic. Contact your IT admin if you don’t see updates.
Update Chrome on macOSMethod 1: For each device
- Open Chrome.
- Click the three-dot menu icon (⋮) at the top-right.
- Select Help > About Google Chrome.
- Chrome will check for updates and install them automatically.
- Click Relaunch to finish updating.
You can also set up automatic browser updates for all users of your computer if Google Chrome is installed in your Applications folder. Go to “About Google Chrome,” and click Automatically update Chrome for all users.
Method 2: For Chrome Enterprise
As a Mac administrator, you can use Google Software Update to manage Chrome browser and Chrome apps updates on your users’ Mac computers.
Update Chrome on LinuxChrome updates on Linux depend on your distribution and how you installed it.
For Debian/Ubuntu-based systems:
- Open a terminal.
- Run:
sudo apt update
sudo apt --only-upgrade install google-chrome-stable
- Restart Chrome to apply updates.
For Fedora/openSUSE:
- Open a terminal.
- Run:
sudo dnf upgrade google-chrome-stable
- Restart Chrome.
If you installed Chrome via a package manager, it should handle updates automatically when you update your system.
Update Chrome on AndroidChrome updates on Android are handled through the Google Play Store:
- Open the Google Play Store app.
- Tap your profile icon (top right).
- Select Manage apps & device.
- Under Updates available, look for Chrome.
- Tap Update next to Chrome if available.
Alternatively, if you have auto-updates enabled, Chrome updates automatically. To enable auto-updates for Android apps, open the Google Play Store, tap your profile picture, go to “Manage apps and device,” and then tap “Manage.” Select the app you want to update automatically, tap the “More” button, and toggle on “Enable auto-update.”
Update Chrome on iOS (iPhone and iPad)Chrome updates on iOS come through the Apple App Store:
- Open the App Store.
- Tap your profile icon at the top right.
- Scroll down to Available Updates.
- Find Google Chrome and tap Update.
If auto-updates are enabled on your device, Chrome updates automatically.
Chrome in App Store’s recently updated section Updating Chrome on Chrome OSChrome OS updates include Chrome browser updates:
- Click the time in the bottom-right corner.
- Click the Settings gear icon.
- In the left menu, select About Chrome OS.
- Click Check for updates.
- If an update is available, it will download and install automatically.
- Restart your Chromebook to complete the update.
Summary table of update methods
PlatformUpdate MethodNotesWindowsChrome Menu > Help > About ChromeManual or automatic updatemacOSChrome Menu > Help > About ChromeManual or automatic updateLinuxPackage manager commandsVaries by distroAndroidGoogle Play StoreManual or automatic updateiOSApple App StoreManual or automatic updateChrome OSSettings > About Chrome OSSystem updateIf you still have questions about updating the Chrome browser, let us know in the comments and allow us to update this article.
Blood clotting discovery opens "whole new chapter in vascular biology"
Article URL: https://newatlas.com/disease/new-blood-clotting-mechanism-hemolysis-necroptosis/
Comments URL: https://news.ycombinator.com/item?id=44202819
Points: 3
# Comments: 0
America tried to ban fake photos in 1912
Article URL: https://www.freethink.com/the-digital-frontier/fake-photo-ban-1912
Comments URL: https://news.ycombinator.com/item?id=44202817
Points: 3
# Comments: 0
Some thoughts on human-AI relationships
Article URL: https://reservoirsamples.substack.com/p/some-thoughts-on-human-ai-relationships
Comments URL: https://news.ycombinator.com/item?id=44202806
Points: 1
# Comments: 0
The Chicxulub Asteroid Impact and Mass Extinction
Article URL: https://www.science.org/doi/10.1126/science.1177265
Comments URL: https://news.ycombinator.com/item?id=44202759
Points: 3
# Comments: 0
Wise goes to the US. Will its founder's supercharged voting rights follow?
First Map Made of a Solid's Quantum Geometry
Article URL: https://www.quantamagazine.org/first-map-made-of-a-solids-secret-quantum-geometry-20250606/
Comments URL: https://news.ycombinator.com/item?id=44202726
Points: 1
# Comments: 0
Show HN: Poseidon, an Oncall AI agent (open source alt to resolve.ai)
Oncall devs, say goodbye to 2 AM pages on a Saturday.
Poseidon v0.1 analyzes past incidents, logs, metrics, and ops history to suggest root causes (demo in README).
In the next version, Poseidon will hook up to more tools in your org with MCP, and along with the summary, will send a "stop loss" button in your Slack message.
This stop loss button can: 1. revert a faulty config 2. revert a faulty release 3. turn off a feature flag 4. purge queues, etc
Integrating with netflix/dispatch will make this more powerful.
Looking for feedback on the concept, code, and how to make this more universal!
Comments URL: https://news.ycombinator.com/item?id=44202717
Points: 1
# Comments: 0
Big Mouth Billy Bass now talks back with AI
Article URL: https://boingboing.net/2025/06/06/big-mouth-billy-bass-now-talks-back-with-ai.html
Comments URL: https://news.ycombinator.com/item?id=44202689
Points: 2
# Comments: 0