Francesco Gualazzi
@inge.4pr.es
CloudNative and DevOps enthusiast 🚀
👨🏻💻 #Zig #Go #distsys
Engineer @elastic #o11y
Opinions expressed here are my own and do not represent my employer.
👨🏻💻 #Zig #Go #distsys
Engineer @elastic #o11y
Opinions expressed here are my own and do not represent my employer.
Thrilled to announce that the first release of the #Zig ⚡ #OpenTelemetry SDK is out! 🚀
github.com/zig-o11y/ope...
Use it, file bugs and share feedback on the GitHub repo!
github.com/zig-o11y/ope...
Use it, file bugs and share feedback on the GitHub repo!
Release v0.1.0-sdk-alpha (Zig 0.15.1) · zig-o11y/opentelemetry-sdk
OpenTelemetry Zig v0.1.0-sdk-alpha
We are excited to announce the first alpha release of OpenTelemetry for Zig! This release provides a native Zig implementation of the OpenTelemetry specification ...
github.com
October 26, 2025 at 3:44 PM
Thrilled to announce that the first release of the #Zig ⚡ #OpenTelemetry SDK is out! 🚀
github.com/zig-o11y/ope...
Use it, file bugs and share feedback on the GitHub repo!
github.com/zig-o11y/ope...
Use it, file bugs and share feedback on the GitHub repo!
New blog post is out: "#Zig is great for Observability"
4pr.es/qH_EoHNh
My thesis: it is time for O11y ecosystem to consider Zig as relevant due to its characteristics.
Shameless plug at the end of the post: we're building an #OpenTelemetry SDK for Zig, github.com/zig-o11y/ope...
Check it out!
4pr.es/qH_EoHNh
My thesis: it is time for O11y ecosystem to consider Zig as relevant due to its characteristics.
Shameless plug at the end of the post: we're building an #OpenTelemetry SDK for Zig, github.com/zig-o11y/ope...
Check it out!
Zig is great for Observability
Why Zig is the most suited language for Observability
4pr.es
October 11, 2025 at 3:05 PM
New blog post is out: "#Zig is great for Observability"
4pr.es/qH_EoHNh
My thesis: it is time for O11y ecosystem to consider Zig as relevant due to its characteristics.
Shameless plug at the end of the post: we're building an #OpenTelemetry SDK for Zig, github.com/zig-o11y/ope...
Check it out!
4pr.es/qH_EoHNh
My thesis: it is time for O11y ecosystem to consider Zig as relevant due to its characteristics.
Shameless plug at the end of the post: we're building an #OpenTelemetry SDK for Zig, github.com/zig-o11y/ope...
Check it out!
Never in the history of programming it’s been so important to know when to use Shift+Enter.
#software #engineering #ai
#software #engineering #ai
October 7, 2025 at 11:17 AM
Never in the history of programming it’s been so important to know when to use Shift+Enter.
#software #engineering #ai
#software #engineering #ai
Reposted by Francesco Gualazzi
Last saturday I went to ZigDay, an entire day dedicated to learning/experimenting with Zig!!
I wrote a short journal here -> marcobacis.dev/blog/2025-se...
Thanks to Coding Bunker (www.codingbunker.it) and in particular to @inge.4pr.es , @omissis.dev and @kristoff.it, for the day!
I wrote a short journal here -> marcobacis.dev/blog/2025-se...
Thanks to Coding Bunker (www.codingbunker.it) and in particular to @inge.4pr.es , @omissis.dev and @kristoff.it, for the day!
First time using Zig @ Zigday
Hi! 👋 Welcome to a new post.
It’s time to get back to “journal” style posts, talking about my experience at cool programming events. Last time was last year for Update Conference, and I really miss wr...
marcobacis.dev
September 23, 2025 at 12:56 PM
Last saturday I went to ZigDay, an entire day dedicated to learning/experimenting with Zig!!
I wrote a short journal here -> marcobacis.dev/blog/2025-se...
Thanks to Coding Bunker (www.codingbunker.it) and in particular to @inge.4pr.es , @omissis.dev and @kristoff.it, for the day!
I wrote a short journal here -> marcobacis.dev/blog/2025-se...
Thanks to Coding Bunker (www.codingbunker.it) and in particular to @inge.4pr.es , @omissis.dev and @kristoff.it, for the day!
Reposted by Francesco Gualazzi
I am not an #AI expert, but I stumbled on this paper and it seems like a nice breakthrough.
arxiv.org/pdf/2506.21734
Essentially, throwing away the current state of the art based on transformers and modeling a different type of interaction between the layers of the NN.
Pretty interesting 👌🏻
arxiv.org/pdf/2506.21734
Essentially, throwing away the current state of the art based on transformers and modeling a different type of interaction between the layers of the NN.
Pretty interesting 👌🏻
arxiv.org
August 12, 2025 at 5:35 PM
I am not an #AI expert, but I stumbled on this paper and it seems like a nice breakthrough.
arxiv.org/pdf/2506.21734
Essentially, throwing away the current state of the art based on transformers and modeling a different type of interaction between the layers of the NN.
Pretty interesting 👌🏻
arxiv.org/pdf/2506.21734
Essentially, throwing away the current state of the art based on transformers and modeling a different type of interaction between the layers of the NN.
Pretty interesting 👌🏻
#AWS just killed my startup idea with this preview launch of S3 Vector
aws.amazon.com/blogs/aws/in...
Introducing Amazon S3 Vectors: First cloud storage with native vector support at scale
aws.amazon.com/blogs/aws/in...
Introducing Amazon S3 Vectors: First cloud storage with native vector support at scale
Introducing Amazon S3 Vectors: First cloud storage with native vector support at scale (preview) | Amazon Web Services
Amazon S3 Vectors is a new cloud object store that provides native support for storing and querying vectors at massive scale, offering up to 90% cost reduction compared to conventional approaches whil...
aws.amazon.com
July 20, 2025 at 4:53 PM
#AWS just killed my startup idea with this preview launch of S3 Vector
aws.amazon.com/blogs/aws/in...
Introducing Amazon S3 Vectors: First cloud storage with native vector support at scale
aws.amazon.com/blogs/aws/in...
Introducing Amazon S3 Vectors: First cloud storage with native vector support at scale
Reposted by Francesco Gualazzi
#neovim Development News
The 0.12 version will start to use Zig language to build Neovim itself.
This should improve overall Neovim development and should not have visible effect on users.
Thanks, @bfredl.bsky.social!
PRs (so far):
- github.com/neovim/neovi...
- github.com/neovim/neovi...
The 0.12 version will start to use Zig language to build Neovim itself.
This should improve overall Neovim development and should not have visible effect on users.
Thanks, @bfredl.bsky.social!
PRs (so far):
- github.com/neovim/neovi...
- github.com/neovim/neovi...
feat(build): build.zig MVP: build and run functionaltests on linux by bfredl · Pull Request #28344 · neovim/neovim
currently, this works to run a simple lua environment in the host system:
zig build nlua0 -- hello.lua
To generate source files
zig build gen_sources
to build a fixed configuration for x86-64 lin...
github.com
June 16, 2025 at 2:07 PM
#neovim Development News
The 0.12 version will start to use Zig language to build Neovim itself.
This should improve overall Neovim development and should not have visible effect on users.
Thanks, @bfredl.bsky.social!
PRs (so far):
- github.com/neovim/neovi...
- github.com/neovim/neovi...
The 0.12 version will start to use Zig language to build Neovim itself.
This should improve overall Neovim development and should not have visible effect on users.
Thanks, @bfredl.bsky.social!
PRs (so far):
- github.com/neovim/neovi...
- github.com/neovim/neovi...
Reposted by Francesco Gualazzi
This is a great interview. Kent Beck talks to @gergely.pragmaticengineer.com about how he's having more fun programming now with AI genies than he's had in ages. Also: the birth of Extreme Programming.
newsletter.pragmaticengineer.com/p/tdd-ai-age...
newsletter.pragmaticengineer.com/p/tdd-ai-age...
Kent Beck
Kent Beck—creator of Extreme Programming and co-author of the Agile Manifesto—reflects on decades of coding, from the birth of TDD to his experiments with AI tools shaping software’s future.
newsletter.pragmaticengineer.com
June 13, 2025 at 9:06 PM
This is a great interview. Kent Beck talks to @gergely.pragmaticengineer.com about how he's having more fun programming now with AI genies than he's had in ages. Also: the birth of Extreme Programming.
newsletter.pragmaticengineer.com/p/tdd-ai-age...
newsletter.pragmaticengineer.com/p/tdd-ai-age...
Second public contribution to #opentelemetry #Zig SDK just landed!
Thanks to Hendrik Nieladaer for fixing a bug 🙏
github.com/zig-o11y/ope...
Thanks to Hendrik Nieladaer for fixing a bug 🙏
github.com/zig-o11y/ope...
fix: add sort before hashing attributes by hendriknielaender · Pull Request #51 · zig-o11y/opentelemetry-sdk
Previously, the hashing mechanism did not account for the order of attributes, leading to inconsistent hash values for the same set of attributes in different orders. This could cause issues when u...
github.com
May 18, 2025 at 12:29 PM
Second public contribution to #opentelemetry #Zig SDK just landed!
Thanks to Hendrik Nieladaer for fixing a bug 🙏
github.com/zig-o11y/ope...
Thanks to Hendrik Nieladaer for fixing a bug 🙏
github.com/zig-o11y/ope...
Reposted by Francesco Gualazzi
Memory Safety Features in #Zig
｢ This approach ensures that errors cannot be accidentally ignored. Every error must be explicitly handled or propagated, which dramatically reduces the likelihood of unhandled error conditions causing memory corruption ｣
gencmurat.com/en/posts/mem...
｢ This approach ensures that errors cannot be accidentally ignored. Every error must be explicitly handled or propagated, which dramatically reduces the likelihood of unhandled error conditions causing memory corruption ｣
gencmurat.com/en/posts/mem...
Memory Safety Features in Zig
Memory safety is a cornerstone of Zig’s design philosophy. While maintaining the performance benefits of manual memory management, Zig incorporates sophis
gencmurat.com
May 17, 2025 at 9:00 PM
Memory Safety Features in #Zig
｢ This approach ensures that errors cannot be accidentally ignored. Every error must be explicitly handled or propagated, which dramatically reduces the likelihood of unhandled error conditions causing memory corruption ｣
gencmurat.com/en/posts/mem...
｢ This approach ensures that errors cannot be accidentally ignored. Every error must be explicitly handled or propagated, which dramatically reduces the likelihood of unhandled error conditions causing memory corruption ｣
gencmurat.com/en/posts/mem...
Seems like the ideal place with the perfect weather to host heat-generating machines.
#sustainabilty
#sustainabilty
May 14, 2025 at 3:43 PM
Seems like the ideal place with the perfect weather to host heat-generating machines.
#sustainabilty
#sustainabilty
Reposted by Francesco Gualazzi
Ian Lance Taylor deserves an award for the most patient person in Open Source.
He also has an amazing ability to translate the clarity of his thinking into the written word.
He has had such impact on the way people create software.
I really hope he continues to contribute to Go.
He also has an amazing ability to translate the clarity of his thinking into the written word.
He has had such impact on the way people create software.
I really hope he continues to contribute to Go.
Leaving Google – Airs – Ian Lance Taylor
www.airs.com
May 11, 2025 at 12:40 PM
Ian Lance Taylor deserves an award for the most patient person in Open Source.
He also has an amazing ability to translate the clarity of his thinking into the written word.
He has had such impact on the way people create software.
I really hope he continues to contribute to Go.
He also has an amazing ability to translate the clarity of his thinking into the written word.
He has had such impact on the way people create software.
I really hope he continues to contribute to Go.
#Zig std library find of the day: PriorityQueue ⚡️
github.com/ziglang/zig/...
This is a type-generic, ordered queue that allows polling the most recent item first.
It has an Iterator too! 👍
Very handy to serialize operations.
github.com/ziglang/zig/...
This is a type-generic, ordered queue that allows polling the most recent item first.
It has an Iterator too! 👍
Very handy to serialize operations.
zig/lib/std/priority_queue.zig at master · ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. - ziglang/zig
github.com
May 11, 2025 at 1:45 PM
#Zig std library find of the day: PriorityQueue ⚡️
github.com/ziglang/zig/...
This is a type-generic, ordered queue that allows polling the most recent item first.
It has an Iterator too! 👍
Very handy to serialize operations.
github.com/ziglang/zig/...
This is a type-generic, ordered queue that allows polling the most recent item first.
It has an Iterator too! 👍
Very handy to serialize operations.
Reposted by Francesco Gualazzi
For those interested in using jj to contribute to Go, please check out @prattmic.com's blog post below.
It's not a general jj tutorial, but will help you with the Gerrit specific pieces.
pratt.im/notes/jj-go-...
It's not a general jj tutorial, but will help you with the Gerrit specific pieces.
pratt.im/notes/jj-go-...
jj for developing Go
pratt.im
May 10, 2025 at 9:25 AM
For those interested in using jj to contribute to Go, please check out @prattmic.com's blog post below.
It's not a general jj tutorial, but will help you with the Gerrit specific pieces.
pratt.im/notes/jj-go-...
It's not a general jj tutorial, but will help you with the Gerrit specific pieces.
pratt.im/notes/jj-go-...
Reposted by Francesco Gualazzi
I have two books here, on high dimensional statistics and high dimensional probability.
I am specifically looking for a book that treats intuition around high-dimensional geometry, as I have a lot of high-dimensional polytopes to reason about. Can anyone recommend anything?
I am specifically looking for a book that treats intuition around high-dimensional geometry, as I have a lot of high-dimensional polytopes to reason about. Can anyone recommend anything?
May 7, 2025 at 12:30 PM
I have two books here, on high dimensional statistics and high dimensional probability.
I am specifically looking for a book that treats intuition around high-dimensional geometry, as I have a lot of high-dimensional polytopes to reason about. Can anyone recommend anything?
I am specifically looking for a book that treats intuition around high-dimensional geometry, as I have a lot of high-dimensional polytopes to reason about. Can anyone recommend anything?
Reposted by Francesco Gualazzi
"Libreboot is a free and open-source BIOS/UEFI firmware based on Coreboot, designed to replace proprietary ones on specific Intel/AMD x86 and ARM-based motherboards"
linuxiac.com/libreboot-25...
linuxiac.com/libreboot-25...
Libreboot 25.04 Open-Source Boot Firmware Released
Libreboot 25.04 "Corny Calamity" open-source boot firmware debuts with a new YY.MM versioning scheme, broad distro support, and more.
linuxiac.com
May 5, 2025 at 11:20 AM
"Libreboot is a free and open-source BIOS/UEFI firmware based on Coreboot, designed to replace proprietary ones on specific Intel/AMD x86 and ARM-based motherboards"
linuxiac.com/libreboot-25...
linuxiac.com/libreboot-25...
TIL that in #Zig std lib there's a convenient std.heap.stackFallBack function, building an allocator that is backed by a fixed array of memory or falling back to a second allocator when the array allocation fails.
Sweeeeet 🧠
ziglang.org/documentatio...
Sweeeeet 🧠
ziglang.org/documentatio...
Zig Documentation
ziglang.org
April 26, 2025 at 7:59 PM
TIL that in #Zig std lib there's a convenient std.heap.stackFallBack function, building an allocator that is backed by a fixed array of memory or falling back to a second allocator when the array allocation fails.
Sweeeeet 🧠
ziglang.org/documentatio...
Sweeeeet 🧠
ziglang.org/documentatio...
I have recently use Pixlr to edit an AI-generated image, and I have to say it's a good service for the price
pixlr.com/it/editor/
pixlr.com/it/editor/
Pixlr Editor: Strumento gratuito di editing avanzato di foto e immagini
Editor fotografico online gratuito con funzionalità avanzate di modifica delle immagini. Perfetto sia per principianti che per professionisti. Inizia subito a modificare con Pixlr Editor!
pixlr.com
April 24, 2025 at 11:58 AM
I have recently use Pixlr to edit an AI-generated image, and I have to say it's a good service for the price
pixlr.com/it/editor/
pixlr.com/it/editor/
If you want to learn and practice #Zig, meet other ziglers ⚡ and build software you can love, you can't miss the Zig Day event we've set up in Milan for May 17th.
zig.day/europe/milan...
zig.day/europe/milan...
Zig Day
zig.day
April 22, 2025 at 11:26 AM
If you want to learn and practice #Zig, meet other ziglers ⚡ and build software you can love, you can't miss the Zig Day event we've set up in Milan for May 17th.
zig.day/europe/milan...
zig.day/europe/milan...
Reposted by Francesco Gualazzi
Join the team that's changing computing forever! oxide.computer/careers
April 17, 2025 at 4:02 PM
Join the team that's changing computing forever! oxide.computer/careers
Reposted by Francesco Gualazzi
Il primo Zig Day di Milano si terra' il 17 Maggio vicino a Porta Garibaldi.
L'evento consiste in una giornata intera dedicata alla programmazione collaborativa
(quindi non aspettatevi talk), come descritto qui: kristoff.it/blog/zig-day/
Invito: www.meetup.com/it-IT/coding...
L'evento consiste in una giornata intera dedicata alla programmazione collaborativa
(quindi non aspettatevi talk), come descritto qui: kristoff.it/blog/zig-day/
Invito: www.meetup.com/it-IT/coding...
Zig Day Milano, sab 17 mag 2025, 09:30 | Meetup
**Unisciti a noi per dedicare una giornata a imparare e sperimentare con Zig!**
Zig è un linguaggio di programmazione con una community in crescita.
Ha una sintassi snella,
www.meetup.com
April 19, 2025 at 8:40 AM
Il primo Zig Day di Milano si terra' il 17 Maggio vicino a Porta Garibaldi.
L'evento consiste in una giornata intera dedicata alla programmazione collaborativa
(quindi non aspettatevi talk), come descritto qui: kristoff.it/blog/zig-day/
Invito: www.meetup.com/it-IT/coding...
L'evento consiste in una giornata intera dedicata alla programmazione collaborativa
(quindi non aspettatevi talk), come descritto qui: kristoff.it/blog/zig-day/
Invito: www.meetup.com/it-IT/coding...
Someone is profiting from the massive market sell off caused by US tariffs.
Someone surely knew the effect they would cause to #stocks, and I wish investigations will be done on politicians and their acolytes.
Someone surely knew the effect they would cause to #stocks, and I wish investigations will be done on politicians and their acolytes.
April 3, 2025 at 8:15 PM
Someone is profiting from the massive market sell off caused by US tariffs.
Someone surely knew the effect they would cause to #stocks, and I wish investigations will be done on politicians and their acolytes.
Someone surely knew the effect they would cause to #stocks, and I wish investigations will be done on politicians and their acolytes.
Creating and managing #Kubernetes clusters on latest AWS EKS is a nightmare 😒
Addons crashing, confusing node configurations, over-complicated IAM model for workloads.
Trivial to do better, not surprised GKE is gaining a lot of market shares.
Addons crashing, confusing node configurations, over-complicated IAM model for workloads.
Trivial to do better, not surprised GKE is gaining a lot of market shares.
March 22, 2025 at 1:51 PM
Creating and managing #Kubernetes clusters on latest AWS EKS is a nightmare 😒
Addons crashing, confusing node configurations, over-complicated IAM model for workloads.
Trivial to do better, not surprised GKE is gaining a lot of market shares.
Addons crashing, confusing node configurations, over-complicated IAM model for workloads.
Trivial to do better, not surprised GKE is gaining a lot of market shares.
Huge thanks to the first community contribution to #OpenTelemetry #Zig SDK!
github.com/zig-o11y/ope...
This updates the project to Zig 0.14, the latest stable version 🚀
github.com/zig-o11y/ope...
This updates the project to Zig 0.14, the latest stable version 🚀
upgrade to zig 0.14.0 by seemk · Pull Request #24 · zig-o11y/opentelemetry-sdk
Fixes #21
ugprade to Zig 0.14.0
protobufs: use zig-master branch
switch to unmanaged containers
The tests randomly failed for me, seems there was a race condition when shutting down the metric rea...
github.com
March 14, 2025 at 6:44 PM
Huge thanks to the first community contribution to #OpenTelemetry #Zig SDK!
github.com/zig-o11y/ope...
This updates the project to Zig 0.14, the latest stable version 🚀
github.com/zig-o11y/ope...
This updates the project to Zig 0.14, the latest stable version 🚀