@lyse@lyse.isobeef.org I am a big fan of “obvious” math facts that turn out to be wrong. If you want to understand how reusing space actually works, you are mostly stuck reading complexity theory papers right now. Ian wrote a good survey: https://iuuk.mff.cuni.cz/~iwmertz/papers/m23.reusing_space.pdf . It’s written for complexity theorists, but some of will make sense to programmers comfortable with math. Alternatively, I wrote an essay a few years ago explaining one technique, with (math-loving) programmers as the intended audience: https://www.falsifian.org/blog/2021/06/04/catalytic/ .

Powered by Docker: Streamlining Engineering Operations as a Platform Engineer
Learn how Docker streamlines developer onboarding and helps organizations set up the right guardrails to give developers the flexibility to innovate within the boundaries of company policies. ⌘ Read more

Platform Adoption Strategies:
Critical Roles When Investing in Platforms Starting on a cloud-native journey is more than just a technology upgrade; it’s a fundamental transformation that demands a wider approach and includes people, processes, and policies as well as,… ⌘ Read more

Demo an Automated Canary Deployment on Kubernetes with Argo Rollouts, Istio, and Prometheus
Building stuff is fun! Let’s use Argo Rollouts, Istio, and Prometheus to automate a canary deployment on Kubernetes! The application we’ll run is the Argo Rollouts Demo Application which does a great job of visualizing how… ⌘ Read more

Royal Bank of Canada’s Cloud Evolution
Royal Bank of Canada (RBC) is a global financial services institution and Canada’s largest bank (based on market capitalization). Technology is vital for RBC to deliver cutting-edge services to our clients and advance our businesses, ultimately… ⌘ Read more

How to manage three top Kubernetes security vulnerabilities
This article explains: Kubernetes and security Across various organizations, Kubernetes is being adopted at lightning rates. It is estimated that 60% of organizations have adopted this technology, and the list of companies planning on transitioning to… ⌘ Read more

Self-hosting my emails again: A few weeks in
A few weeks ago, I moved back to self-hosting my mail server after using Purelymail for three years. The decision wasn’t about cost – it’s actually more expensive to rent a VPS – but about control, security, and data locality. My mails are now hosted in Europe, giving me more confidence in their privacy, and I can configure everything exactly as I want while ensuring compliance with GDPR. ⌘ Read more

On my blog: Developer Diary, World Eve of Social Justice https://john.colagioia.net/blog/2025/02/17/social-justice.html #programming #project #devjournal

On my blog: Who Belongs https://john.colagioia.net/blog/2025/02/16/dei.html #blackhistorymonth #harm #politics #rant

On my blog: Free Culture Book Club — Cairn Wardens Guide, part 1 https://john.colagioia.net/blog/2025/02/15/cairn-2.html #freeculture #bookclub

We were wrong about GPUs
Article URL: https://fly.io/blog/wrong-about-gpu/

Comments URL: https://news.ycombinator.com/item?id=43053844

Points: 509

# Comments: 328 ⌘ Read more

On my blog: Toots 🦣 from 02/10 to 02/14 https://john.colagioia.net/blog/2025/02/14/week.html #linkdump #socialmedia #quotes #week

On my blog: Toots 🦣 from 02/10 to 02/14 https://john.colagioia.net/blog/2025/02/14/week.html #linkdump #socialmedia #quotes #week

Support the open source projects you love this Valentine’s Day
Show your appreciation to the open-source projects you love. You can help provide much-needed support to the critical but often underfunded projects that keep your infrastructure running smoothly. And remember—every day is a perfect day to support open source! 💖

The post [Support the open source projects you love this Valentine’s Day](https://github.blog/open-source/support-the-open-source-projects-you-love-thi … ⌘ Read more

On my blog: Real Life in Star Trek, Aquiel https://john.colagioia.net/blog/2025/02/13/aquiel.html #scifi #startrek #closereading

Privacy Pass Authentication for Kagi Search
Article URL: https://blog.kagi.com/kagi-privacy-pass

Comments URL: https://news.ycombinator.com/item?id=43040521

Points: 501

# Comments: 184 ⌘ Read more

GitHub Availability Report: January 2025
In January, we experienced two incidents that resulted in degraded performance across GitHub services.

The post GitHub Availability Report: January 2025 appeared first on The GitHub Blog. ⌘ Read more

How GitHub uses CodeQL to secure GitHub
How GitHub’s Product Security Engineering team manages our CodeQL implementation at scale and how you can, too.

The post How GitHub uses CodeQL to secure GitHub appeared first on The GitHub Blog. ⌘ Read more

Erlang Solutions: DORA Compliance: What Fintech Businesses Need to Know
The Digital Operational Resilience Act (DORA) is now in effect as of 17th January 2025, making compliance mandatory for fintech companies, financial institutions, and ICT providers across the UK and EU. With over 22,000 businesses impacted, DORA sets clear expectations for how firms must manage operational resilience and protect against cyber threats.

As cybercriminals become more sophisticated, regul … ⌘ Read more

Announcing Ratify v1.4.0 – Revocation Checking with CRL Support, Enhanced Out-of-box Experience, and New Cloud Provider Support
We are thrilled to announce the release of Ratify v1.4.0! This milestone release introduces significant new features that enhance Ratify’s capabilities as a trusted supply chain security tool. As always, we deeply appreciate the contributions from the… ⌘ Read more

10 Mind-Boggling Facts That You Won’t Believe Aren’t Made Up
With the internet the way it is nowadays, you might think that every little bit of trivia and every interesting fact on earth has been mined, blogged, tweeted, posted, and shared. But thankfully, there are still a seemingly endless amount of weird and crazy facts and absolutely bizarre (true) tales that will shock you. Heck, […]

The post [10 Mind-Boggling Facts That You Won’t Believe Aren’t Made Up](https://listv … ⌘ Read more

お知らせ：JPCERT/CC Eyes「Ivanti Connect Secureの脆弱性を利用して設置されたマルウェアSPAWNCHIMERA」 ⌘ Read more

Go1.24 Released
1 points posted by John Doak ⌘ Read more

FediDEM ?~L~X https://notiz.blog/b/Dav

How to refactor code with GitHub Copilot
Discover how to use GitHub Copilot to refactor your code and see samples of it in action.

The post How to refactor code with GitHub Copilot appeared first on The GitHub Blog. ⌘ Read more

Kubestronaut in Orbit: Nelson Hilario Filipe
Get to know Nelson This week’s Kubestronaut in orbit is Nelson Hilario Filipe, a DevSecOps Engineer and our first Kubestronaut in Mozambique. Nelson has a strong passion for shift-left security, and embarked on the Kubestronaut program… ⌘ Read more

Notary Project announces Notation v1.3.0 and tspclient-go v1.0.0!
The Notary Project maintainers are thrilled to announce the latest releases, including notation v1.3.0, notation-go v1.3.0, notation-core-go v1.2.0 and tspclient-go v1.0.0! These new versions are production ready and have successfully completed a comprehensive security audit. Check… ⌘ Read more

What’s minimalism?
We live in a world where buying and owning stuff is the default. New clothes? Sure. Another gadget? Why not? ⌘ Read more

Surnames from nicknames nobody has any more
Article URL: https://blog.plover.com/lang/etym/nickname-names.html

Comments URL: https://news.ycombinator.com/item?id=43000316

Points: 510

# Comments: 260 ⌘ Read more

On my blog: Developer Diary, Freedom to Marry Day https://john.colagioia.net/blog/2025/02/10/freedom-marry.html #programming #project #devjournal

On my blog: Stop Doing Their Work for Them https://john.colagioia.net/blog/2025/02/09/resist.html #harm #politics #rant

It’s surprising how much I can reduce the amount of spam that Rspamd needs to filter – whether it ends up in my junk folder or even my inbox – just by blocking certain recipient addresses. Using unique email addresses for each service, like “deezer @ example.com” for Deezer, was one of the best decisions I made, especially combined with a catch-all address. ⌘ Read more

On my blog: Free Culture Book Club — Cairn Players Guide and Background https://john.colagioia.net/blog/2025/02/08/cairn-1.html #freeculture #bookclub

VSCode’s SSH agent is bananas
Article URL: https://fly.io/blog/vscode-ssh-wtf/

Comments URL: https://news.ycombinator.com/item?id=42979467

Points: 502

# Comments: 332 ⌘ Read more

On my blog: Toots 🦣 from 02/03 to 02/07 https://john.colagioia.net/blog/2025/02/07/week.html #linkdump #socialmedia #quotes #week

From finding to fixing: GitHub Advanced Security integrates Endor Labs SCA
The partnership between GitHub and Endor Labs enables application security engineers and developers to drastically reduce time spent on open source vulnerabilities, and gives them the tools to go from finding to fixing.

The post [From finding to fixing: GitHub Advanced Security integrates Endor Labs SCA](https://github.blog/security/from-finding-to-fixing-github-advanced-security-integrates … ⌘ Read more

ProcessOne: Join our community: Free Memberships now available
We’re excited to announce a new way to connect with our community at Process-One. As of today, we’ve enabled free memberships on our site, giving you even more ways to stay updated, interact, and engage with our content.

By becoming a member, you get access to specific benefits, including:

• The ability to engage with our content in new ways, such as commenting on posts, participating in discussions like … ⌘ Read more

On my blog: Real Life in Star Trek, Ship in a Bottle https://john.colagioia.net/blog/2025/02/06/ship-in-bottle.html #scifi #startrek #closereading

Mathieu Pasquet: XMPP Summit 27 and FOSDEM 25 Report
Here is an account of my trip to FOSDEM & XMPP Summit this year.
Note: for privacy reasons on the broader internet, I am keeping names out of
my description of the events, but my goal here is not to diminish anyone’s merit.

I use a bit of acronyms and jargon in this article because it talks about technical things,
so I will define them here:

• XMPP: eXtensible Messaging and Presence Protocol, the internet standard for
  instant messaging and much more. … ⌘ Read more

GitHub Copilot: The agent awakens
Introducing agent mode for GitHub Copilot in VS Code, announcing the general availability of Copilot Edits, and providing a first look at our SWE agent.

The post GitHub Copilot: The agent awakens appeared first on The GitHub Blog. ⌘ Read more

5 tips for promoting your open source project
Three open source experts offer their advice on sharing open source projects with the world.

The post 5 tips for promoting your open source project appeared first on The GitHub Blog. ⌘ Read more

Erlang Solutions: Women in BEAM
In this post, I will share the results of the Women in BEAM 2024 survey. But first, I would like to share my experience in the BEAM community to understand the motivation behind this initiative.

I’ve been working with Elixir since 2018, but my interest in it wasn’t driven by technical advantages—it was sparked by my experience at my first ElixirConf in Mexico.

Since 2017, I’ve been involved in initiatives supporting women in tech, frequently attending events t … ⌘ Read more

binaryFate publishes long overdue February 2025 Monero General Fund transparency report
Core Team member binaryFate1 has published a long overdue and much welcomed2’3 preliminary Monero General Fund transparency report4 which presents data until February 6th 2025:

I will give it few days for any discussion to take place and see if anything needs further clarification. After that we can make a blog post on getmonero.org. [..] End of 2023 … ⌘ Read more

Docker Bake is Now Generally Available in Docker Desktop 4.38!
Learn how Docker streamlines developer onboarding and helps organizations set up the right guardrails to give developers the flexibility to innovate within the boundaries of company policies. ⌘ Read more

Docker Desktop 4.38: New AI Agent, Multi-Node Kubernetes, and Bake in GA
Docker Desktop 4.38 brings Docker AI Agent for real-time help, plus Bake for faster builds and Multi-Node Kubernetes for better testing. Learn more! ⌘ Read more

Introducing the Beta Launch of Docker’s AI Agent, Transforming Development Experiences
Learn about the beta release of the Docker AI Agent and how this context-aware assistant helps developers seamlessly integrate into the Docker suite. ⌘ Read more

Self-hosting my emails again
After three years with Purelymail, I’m back at self-hosting my mail server. Not because it’s cheaper (it’s actually much pricier to pay for a VPS), but because my mails are now hosted in Europe (who knows what happens next in the USA), I have more control to configure things how I want, and I can comply with GDPR. ⌘ Read more

Advancing Open Source Gateways with kgateway
At KubeCon NA 2024, Solo.io announced its intention to donate the Gloo Gateway open source project to the CNCF, to benefit the broader cloud native ecosystem. In case you are not familiar with Gloo Gateway, it… ⌘ Read more

Japan’s CNCF DevStats 2024
Hello, we are Toru Komatsu (@utam0k) and Hiroshi Hayakawa (@hhiroshell) from Cloud Native Community Japan. The Japanese version is available below. Have you heard of CNCF’s DevStats? DevStats is a tool that collects and quantifies all… ⌘ Read more

Oracle justified its JavaScript trademark with Node.js–now it wants that ignored
Article URL: https://deno.com/blog/deno-v-oracle2

Comments URL: https://news.ycombinator.com/item?id=42939940

Points: 503

# Comments: 129 ⌘ Read more