Martin
@sonic-martin.bsky.social
Reposted by Martin
December 17, 2025 at 2:28 PM
Reposted by Martin
December 16, 2025 at 6:51 PM
Reposted by Martin
Thanks Andy! We published the recording here www.youtube.com/watch?v=RnQK...
cc @alona.page @wpaven.bsky.social
cc @alona.page @wpaven.bsky.social
DBOS: 2025 Year in Review with Mike Stonebraker and Andy Pavlo
YouTube video by DBOS-Inc
www.youtube.com
December 15, 2025 at 7:56 PM
Thanks Andy! We published the recording here www.youtube.com/watch?v=RnQK...
cc @alona.page @wpaven.bsky.social
cc @alona.page @wpaven.bsky.social
Reposted by Martin
Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!).
forge-fm.github.io/book/
forge-fm.github.io/book/
How to Read this book - Logic for Systems: Lightweight Formal Methods for Everybody
forge-fm.github.io
December 13, 2025 at 12:25 PM
Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!).
forge-fm.github.io/book/
forge-fm.github.io/book/
Reposted by Martin
Reposted by Martin
Do you like databases?
Do you want to hear two database professors rant about them?
Do you need one of those professors to have a Turing Award for databases?
If yes, then join Mike Stonebraker and I next Wed Dec 10 @ 1:00pm EST for database hot takes: www.dbos.dev/webcast-2025...
Do you want to hear two database professors rant about them?
Do you need one of those professors to have a Turing Award for databases?
If yes, then join Mike Stonebraker and I next Wed Dec 10 @ 1:00pm EST for database hot takes: www.dbos.dev/webcast-2025...
2025 in Review with Mike Stonebraker and Andy Pavlo
Webcast Dec 10: DBMS researchers Mike Stonebraker (MIT / DBOS) and Andy Pavlo (CMU) discuss which data and CS trends are heating up or cooling down heading into 2026.
www.dbos.dev
December 5, 2025 at 11:29 PM
Do you like databases?
Do you want to hear two database professors rant about them?
Do you need one of those professors to have a Turing Award for databases?
If yes, then join Mike Stonebraker and I next Wed Dec 10 @ 1:00pm EST for database hot takes: www.dbos.dev/webcast-2025...
Do you want to hear two database professors rant about them?
Do you need one of those professors to have a Turing Award for databases?
If yes, then join Mike Stonebraker and I next Wed Dec 10 @ 1:00pm EST for database hot takes: www.dbos.dev/webcast-2025...
Reposted by Martin
Practical Patterns for Go Iterators: A brief introduction to Go iterators, with helpful patterns for error handling and integration into streams
#golang
funnelstory.ai/blog/engine...
#golang
funnelstory.ai/blog/engine...
Practical Patterns for Go Iterators
A brief introduction to Go iterators, with helpful patterns for error handling and integration into streams
funnelstory.ai
December 6, 2025 at 1:12 PM
Practical Patterns for Go Iterators: A brief introduction to Go iterators, with helpful patterns for error handling and integration into streams
#golang
funnelstory.ai/blog/engine...
#golang
funnelstory.ai/blog/engine...
Reposted by Martin
November 14, 2025 at 10:30 PM
Reposted by Martin
Turns out you can communicate across containers via 63-bits of available space in a shared lock you acquire on /proc/self/ns/time that all processes have access to.
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
November 12, 2025 at 2:35 PM
Turns out you can communicate across containers via 63-bits of available space in a shared lock you acquire on /proc/self/ns/time that all processes have access to.
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
Reposted by Martin
Why the Zig programming language matters, when to use it, and why correctness is a system design problem, not a language problem. Interesting thoughts from @joran.tigerbeetle.com.
tigerbeetle.com/blog/2025-10...
#ziglang
tigerbeetle.com/blog/2025-10...
#ziglang
Synadia and TigerBeetle Pledge $512,000 to the Zig Software Foundation
Insights, updates, and technical deep dives on building a high-performance financial transactions database.
tigerbeetle.com
October 25, 2025 at 4:27 PM
Why the Zig programming language matters, when to use it, and why correctness is a system design problem, not a language problem. Interesting thoughts from @joran.tigerbeetle.com.
tigerbeetle.com/blog/2025-10...
#ziglang
tigerbeetle.com/blog/2025-10...
#ziglang
Reposted by Martin
I saw this on LinkedIn and it was just too accurate to not share here. Postgres powers so much of the world's software yet the core team is a couple dozen people. The ecosystem around it is also surprisingly small for how far reaching it is.
October 31, 2025 at 4:07 PM
I saw this on LinkedIn and it was just too accurate to not share here. Postgres powers so much of the world's software yet the core team is a couple dozen people. The ecosystem around it is also surprisingly small for how far reaching it is.
Reposted by Martin
Have you ever found yourself thinking…Flink Watermarks…WTF?
🔥 This new tool might be for you :)
It's a hands-on, scrollytelling walkthrough of what watermarks in #ApacheFlink are, why they matter, and how to use them.
Try it out: flink-watermarks.wtf
#dataBS
🔥 This new tool might be for you :)
It's a hands-on, scrollytelling walkthrough of what watermarks in #ApacheFlink are, why they matter, and how to use them.
Try it out: flink-watermarks.wtf
#dataBS
Flink Watermarks…WTF?
Master Apache Flink watermarks with this interactive simulation. Learn what they are, why you need them, and how to configure them through hands-on examples.
flink-watermarks.wtf
October 20, 2025 at 1:44 PM
Have you ever found yourself thinking…Flink Watermarks…WTF?
🔥 This new tool might be for you :)
It's a hands-on, scrollytelling walkthrough of what watermarks in #ApacheFlink are, why they matter, and how to use them.
Try it out: flink-watermarks.wtf
#dataBS
🔥 This new tool might be for you :)
It's a hands-on, scrollytelling walkthrough of what watermarks in #ApacheFlink are, why they matter, and how to use them.
Try it out: flink-watermarks.wtf
#dataBS
Reposted by Martin
#Python 3.14.0
Python Release Python 3.14.0
The official home of the Python Programming Language
www.python.org
October 10, 2025 at 8:31 AM
#Python 3.14.0
Reposted by Martin
Politics isn't manipulation and backstabbing. It's understanding how decisions actually get made and learning to navigate that reality.
Refusing to engage doesn't make politics go away. It just means you lose by default.
terriblesoftware.org/2025/10/01/s...
Refusing to engage doesn't make politics go away. It just means you lose by default.
terriblesoftware.org/2025/10/01/s...
Stop Avoiding Politics
Most engineers think workplace politics is dirty. They’re wrong. Refusing to play politics doesn’t make you noble; it makes you ineffective.
terriblesoftware.org
October 1, 2025 at 5:35 PM
Politics isn't manipulation and backstabbing. It's understanding how decisions actually get made and learning to navigate that reality.
Refusing to engage doesn't make politics go away. It just means you lose by default.
terriblesoftware.org/2025/10/01/s...
Refusing to engage doesn't make politics go away. It just means you lose by default.
terriblesoftware.org/2025/10/01/s...
Reposted by Martin
Reposted by Martin
Hosting a website on a disposable vape bogdanthegeek.github.io/blog/project...
Hosting a WebSite on a Disposable Vape
Someone's trash is another person's web server.
bogdanthegeek.github.io
September 15, 2025 at 1:06 PM
Hosting a website on a disposable vape bogdanthegeek.github.io/blog/project...
Reposted by Martin
Great post by @chris.blue materializedview.io/p/mcp-server...
This MCP Server Could Have Been a JSON File
There's a lot of buzz around MCP. I'm not convinced it needs to exist.
materializedview.io
September 11, 2025 at 12:16 PM
Great post by @chris.blue materializedview.io/p/mcp-server...
Reposted by Martin
I scored 13/21 on e-mail.wtf and all I got was this lousy text to share on social media.
Email is Easy
Everyone knows what an email address is, right?
e-mail.wtf
September 10, 2025 at 1:39 PM
I scored 13/21 on e-mail.wtf and all I got was this lousy text to share on social media.
Reposted by Martin
Love it - someone used SQL to build… a DOOM-like multiplayer shooter 😁 cedardb.com/blog/doomql/
Building a DOOM-like multiplayer shooter in pure SQL
CedarDB is a database system that delivers unmatched performance for transactions and analytics, from small writes to handling billions of rows. Built on cutting-edge research to power today’s tools…
cedardb.com
September 10, 2025 at 3:05 PM
Love it - someone used SQL to build… a DOOM-like multiplayer shooter 😁 cedardb.com/blog/doomql/
Reposted by Martin
Announcing #Crossplane 2.0
Announcing Crossplane 2.0
After seven years building Crossplane, we're excited to announce Crossplane 2.0. This release extends beyond infrastructure to support applications as first-class citizens, enabling platform teams to ...
blog.crossplane.io
August 19, 2025 at 1:39 PM
Announcing #Crossplane 2.0
Reposted by Martin
"Looks Good to Me"
"Looks Good to Me" - Adrienne Braganza
Deliver code reviews that consistently build up your team and improve your applications.
“Looks Good to Me” offers a unique approach to delivering meaningful code reviews that goes beyond superficial...
www.manning.com
August 19, 2025 at 4:46 PM
"Looks Good to Me"
Reposted by Martin
I should go on vacation more often—whilst I was away #ApacheFlink 2.1 was been released! flink.apache.org/2025/07/31/a...
July 31, 2025 at 2:19 PM
I should go on vacation more often—whilst I was away #ApacheFlink 2.1 was been released! flink.apache.org/2025/07/31/a...
Reposted by Martin
New data oriented file format just dropped.
FastLanes, "like Parquet, but with 40% better compression and 40× faster decoding". 👀
Seems it can exploit correlations between columns and have fully SIMD friendly encodings to help with vectorization.
github.com/cwida/FastLa...
FastLanes, "like Parquet, but with 40% better compression and 40× faster decoding". 👀
Seems it can exploit correlations between columns and have fully SIMD friendly encodings to help with vectorization.
github.com/cwida/FastLa...
GitHub - cwida/FastLanes: Next-Gen Big Data File Format
Next-Gen Big Data File Format. Contribute to cwida/FastLanes development by creating an account on GitHub.
github.com
July 24, 2025 at 3:12 PM
New data oriented file format just dropped.
FastLanes, "like Parquet, but with 40% better compression and 40× faster decoding". 👀
Seems it can exploit correlations between columns and have fully SIMD friendly encodings to help with vectorization.
github.com/cwida/FastLa...
FastLanes, "like Parquet, but with 40% better compression and 40× faster decoding". 👀
Seems it can exploit correlations between columns and have fully SIMD friendly encodings to help with vectorization.
github.com/cwida/FastLa...
Reposted by Martin
#kubriX: Your Out-of-the-Box Internal Developer Platform (#IDP) for #Kubernetes
kubriX: Your Out-of-the-Box Internal Developer Platform (IDP) for Kubernetes
Discover how kubriX integrates leading Open Source tools like Argo CD (GitOps), Kargo, and Backstage to deliver a fully functional IDP out…
itnext.io
July 22, 2025 at 5:18 PM
#kubriX: Your Out-of-the-Box Internal Developer Platform (#IDP) for #Kubernetes
Reposted by Martin