Denis

@pavan4820 @glcst @quint_lang thanks!

@Hixon101 @glcst @quint_lang Hi, you can find the initial version here - github.com/Pavan-Nambi/sq… - it was messy tho

Turso wants to match and surpass SQLite's reliability. When I say "surpass", usually ppl just look funny at me. But this is one such example: One of our OSS contributors have just found 10+ bugs in SQLite using validation he built for Turso. @pavan4820 used @quint_lang to build a formal model of the system and then executed its traces to find corner cases where SQLite deviated from the spec. It is a great demonstration of how modern reliability tools, formal methods in particular, can lead to reliable systems and find *many* issues even on the most stable software on Earth. Read more: turso.tech/blog/how-we-us…

@mitchellh It's ironic that FreeBSD will receive official support earlier than Windows, even though it likely has an three orders of magnitude fewer potential users :D

Thanks to incredible community work, Ghostty now builds and runs on FreeBSD and an official port is in development: github.com/ghostty-org/gh… Its still not an officially supported target since we have no CI and no BSD maintainers, presently. But it's a step in that direction!

@glcst Congrats! It seems like your visa case was processed incredibly fast.

Almost everything is set up, and I am arriving in Texas with my family in 15 days. Once settled, I plan to be in SF at least once a month (except maybe in the beginning since my wife is very pregnant and we have 3 trouble makers already) Let me know things I should attend, and people I should meet!

@rakyll I feel like I'm missing something, but how exactly do you use Three.js with an LLM? Is it related to work tasks, or did you mean game dev?

Gemini 2.5 Pro + Three.js seems to be the real deal. No other model came this close and is offering the same context window.

@SanneGrinovero Which changes are needed in openshift for this e2e flow?

This is awesome. Looking forward to see how it will affect Quarkus as we make this fully effective across our entire stack: from kernel to openshift, JVM middleware, and up all our POCs are ready.

@patloeber Is there anything similar, if I need to get an Embedding for a image?

One more model this week: Gemini Embedding. This is our new SOTA embedding modal, it's great for efficient retrieval, RAG, clustering, etc. Here's how you can use it:

@gabe_guerra_ @__Achille__ @sr98vn Are there recordings from previous sessions?

DC Systems 005 registration is now open. @__Achille__ will be speaking about faster parquet bloom filters and @sr98vn will be speaking about robotics. Love how much the community has grown in just a few months. Last week we had our biggest DC Systems ever!

@thorstenball @mitchellh but you need to be in the NYC to get the street hot dog

@mitchellh I eat fast food maybe 2-4 times a year. This is is me checking off "need to eat this because I heard about it" boxes. Other boxes: NY slice of pizza, street hot dogs, Chick Fil A. It's just fun - like eating a twinkie because of Die Hard, knowing it's not good :)

Since I had Chipotle yesterday, I went with Popeye's today. Good, but not... life-changing (as breakfast burritos.) Very important I did it though.

@rakyll Sounds crazy, if you have 3 P0 big projects per a quarter. Shouldn't it be 1, top 2?

If you have more than three or four P0 big project initiatives in a quarter, you don't have any P0s. You have a bunch of P1s and P2s.

@eatonphil Do we have something today>?

The days when people share new open source databases on HN/Reddit are my absolute favorite. 🍿

@penberg oh, it is not cgo, but github.com/ebitengine/pur…

@penberg There are 2 groups of people, as usual. I guess most people prefer not to have dependency on cgo, but many popular solutions started from it (e.g., librdkafka, rocksdb), and eventually someone created native clients (e.g., Pebble)

Hello, Gophers! Preston is working on Go bindings for Limbo using purego to wrap the Rust core. I have learned that Gophers are very opinionated on native code in their apps, so curious to hear what you think of this approach? github.com/tursodatabase/…

@marcoslot From README it is unclear for me, what is the role of pg_documentdb? Why it is not just pg_documentdb_core, but we also need this in-proc gateway?

I helped create the first version of this while at Microsoft and it has a lot of neat tricks. It takes a Mongo query expressed as BSON, and then rewires things in planner/executor hooks to ultimately run an elaborate SQL query with joins and custom operators that use RUM indexes

@ifesdjeen Yesterday I tried to play with github.com/danielmiessler… , and indeed, all big 3 LLMs give just generic things (on my examples). However, it was fun to ask additional questions, based on PDFs

In my experience, using LLMs for paper reading is only useful for querying and digging in, but never for summarization. Things LLM (Claude in my case) would suggest are almost never something I would find useful or interesting, or going too far beyond what authors have already put in the abstract. However, uploading the paper as context and forming questions about abbreviations or asking for context or phrasing for specific sections works rather well. tl;dr is that "lazy" usage will likely hurt your understanding, but I can see why how how it can be useful as a tool to expand your understanding and dig deeper.

@MarcJBrooker Is it correct that this blog post claims that for most workloads it is fine to have write skews?

New blog post, diving a little deeper on Snapshot Isolation and Serializability, through the lens of the coordination required to implement them: brooker.co.za/blog/2024/12/1…

@mike_ulicny @namedobject Don’t get me wrong, but do you use TB, or do you just enjoy their tech blogs? I’m asking because I’ve never seen it anywhere except at tech conferences and on Twitter.

@namedobject Tigerbeetle because speed

what’s your favorite db?

@starbuxman @david_syer @m_halbritter I’ve always been surprised that Spring has a bunch of niche projects, but the most popular RPC framework doesn’t have official support.

:ahem: gRPC IS ON THE SPRING INITIALIZR!!! start.spring.io thank you, dr. @david_syer and @m_halbritter !

@why_oleg I'm sorry, but I have to ask: Is RSocket still alive? It feels like, after the VMware layoffs and the introduction of JVM virtual threads, this project might be nearing its end.

Hey Kotlin developers! Would anyone be interested in taking over / helping with the maintenance of rsocket-kotlin? :) github.com/rsocket/rsocke… Lately, I just can’t seem to find time for it at all… By the end of the year (or in January), I plan to do a release with kotlinx-io + ktor 3.0 + QUIC. Beyond that, it’s hard to say when I’ll be able to contribute further, but I’ll do my best… Please contact me if you are interested in Slack/X/e-mail or anywhere else! P.S. I really have a lot of ideas on features/improvements there but I just don’t have enough time to implement them. On current moment my other open source projects have bigger priority for me (and probably for Kotlin community)

@piotrprz @SileTwit What are you referring to? Optional.get()?

@SileTwit After a mistake such as Optional.get(), or pulling back String Templates, I'll vote for all these previews taking as long, as needed, and more. Both hands.

If this becomes #Java 24, it's going to be one of the biggest, if not THE biggest release. Pretty decent for a "dead" ecosystem.... ;-)