gz09

5 ms·

1.
by gz09 9d ago
Results seem somewhat reasonable given that the amount of verus/TLA/Creusot/Lean code out there is tiny compared to all the other non-formal code. So it's understandable that the agents wont be able to go beyond proving
2.
by gz09 2mo ago
Strongly agree with the author here. The future will belong to programming languages that natively embed theorem proofers into their type systems so LLMs can forego a lot of testing by just validating the implementations they write against
3.
PRs and LLMs(gerdzellweger.com)
9 points by gz09 3mo ago|0 comments
4.
Agents Aren't Coworkers, Embed Them in Your Software(feldera.com)
49 points by gz09 5mo ago|21 comments
5.
Agents Aren't Coworkers, Embed Them in Your Software(feldera.com)
2 points by gz09 5mo ago|0 comments
6.
Feature Request: Support Agents.md. #6235(github.com)
2 points by gz09 5mo ago|0 comments
7.
by gz09 5mo ago
our CLAUDE.md / AGENTS.md specifically calls out good engineering books, which I think does help: From https://github.com/feldera/feldera/blob/main/CLAUDE.md : - Adhere to rules in "Code Comple
8.
Making samply profiles more useful(feldera.com)
5 points by gz09 6mo ago|0 comments
9.
by gz09 6mo ago
> not one mention of the origin of the trick And who or what would you say is the origin? The "trick" is so old I'm afraid it is lost to time to say who invented the bitmap. It was used in MULTICS or THE long before Postgr
10.
by gz09 6mo ago
That would be surprising to me if anyone would think this is novel. Using bitmaps to indicate whether things are in-use or not is very common in systems programming. Like you said PG does it, but most other systems do this too. It's no
11.
by gz09 6mo ago
Haha, looks like it. I remember the first time I encountered this thing called TPC-H back when I was a student. I thought "wow surely SQL can't get more complicated than that". Turns out I was very wrong about that. So it&#
12.
by gz09 6mo ago
Yep pretty much, feldera is the engine we don't control what SQL people throw at us.
13.
by gz09 6mo ago
> Isn't there still a way to express at least one Illegal string in ArchivedString? There may be good reasons (I don't know any) why it wasn't done like this, but from a high-level it looks possible to me too yes.
14.
by gz09 6mo ago
Feldera is an incremental query engine, you can think of it as a specialized database. If you have a set of question you can express in SQL it will ingest all your data and build many sophisticated indexes for it (these get stored on disk).
15.
by gz09 7mo ago
Yep, this comment sums it up well. We have many large enterprises from wildly different domains use feldera and from what I can tell there is no correlation between the domain and the amount of columns. As fiddlerwoaroof says, it seems to b
16.
by gz09 7mo ago
> Depending on your needs, the right tool might be Parquet or Arrow or protobuf or Cap’n Proto I think parquet and arrow are great formats, but ultimately they have to solve a similar problem that rkyv solves: for any given type that the
17.
by gz09 7mo ago
> it sounds like helping customers with databases full of red flags is their bread and butter Yes that captures it well. Feldera is an incremental query engine. Loosely speaking: it computes answers to any of your SQL queries by doing wo
18.
by gz09 7mo ago
Point them to us https://github.com/feldera/feldera -- we are hiring ;)
19.
by gz09 7mo ago
Absolutely, it's a very common technique :) I wasn't sure about writing the article in the first place because of that, but I figured it may be interesting anyways because I was kind of happy with how simple it was to write this o
20.
by gz09 7mo ago
Hi, I'm the author of the article. As to your hard disagree, I guess it depends... While this particular user is on the higher end (in terms of columns), it's not our only user where column counts are huge. We see tables with 100+
21.
Why incremental aggregates are difficult(feldera.com)
3 points by gz09 7mo ago|0 comments
22.
Nobody ever got fired for using a struct(feldera.com)
146 points by gz09 7mo ago|130 comments
23.
by gz09 7mo ago
Security models from SaaS companies based on having a bunch of random bytes/numbers with coarse-grained permissions, and valid for a very long time are already a bad idea. With agents, secrets/tokens really need to be minted with
24.
by gz09 8mo ago
> It's pretty clear that the security models that were design into operating systems never truly considered networked systems Andrew Tanenbaum developed the Amoeba operating system with those requirements in mind almost 40 years ago
25.
by gz09 9mo ago
feldera has a way to run ad-hoc/list queries on materialized views. Alternatively, you can send the result somewhere where you can query it.
26.
by gz09 9mo ago
I believe that was more a bug in the firmware that's been fixed for a while now.
27.
by gz09 9mo ago
It's similar in spirit, but in Dafny one can express much more complicated and complex invariants which get checked at build time -- compared to eiffel where pre/post conditions are checked at runtime (in dev builds mostly).
28.
by gz09 9mo ago
It does leverage various models, but - github copilot PR reviews are subpar compared to what I've seen from other services: at least for our PRs they tend to be mostly an (expensive) grammar/spell-check - given that it's gith
29.
by gz09 9mo ago
They already charge for this separately (at least storage). Some compute cost may be justified but you'd wish that this change would come with some commitment of fixing bugs (many open for years) in their CI platform -- as opposed to i
30.
by gz09 11mo ago
Probably there are good reasons for this (like avoiding chicken-egg/bootstrapping issues, circular dependencies etc.)

More ›