alt.hn

4/24/2025 at 3:53:15 PM

A Principled Approach to Querying Data – A Type-Safe Search DSL

 https://www.claudiu-ivan.com/writing/search-dsl

by kioku

4/24/2025 at 6:35:10 PM

> Users expect near-native responsiveness, even when offline

Do they? I think users are amazed if anything works without internet with modern applications.

by fire_lake

4/28/2025 at 7:36:10 PM

In my mental model of an offline app, I expect instant responses. However, I know to the complexities of apps, the diverse wants of a big, diverse user base that it can be hard/impossible for an app to be well-architected enough to achieve this ideal.

Failover is hard, and there generally aren't hard rules for what to do if data isn't available or how to communicate to a user in a specific offline situation on how the current state of an offline app affects what they see -- and even when they would care or what they could do about it when they do care

by scarletphoenix

4/25/2025 at 3:25:39 PM

The two are not mutually exclusive!

by cdaringe

4/24/2025 at 4:08:33 PM

Seems a lot like FSharp Type Providers? Is that a good analogy?

by FrustratedMonky

4/25/2025 at 11:58:34 AM

I've got a similar project that includes a React component for the search input. The React component is actually a Monaco text editor so you get syntax highlighting, error highlighting, tab completion and more.

Check it out here: https://github.com/williamcotton/search-input-query

There's an animated GIF of the demo so you can get a very quick idea of how it works!

by williamcotton

4/25/2025 at 2:28:26 AM

Nice, Ive bounced around between Prisma and Kysely too. I get nervous about locking too much into one thing, you ever worry if leaning on too much codegen or magic ends up biting you down the road?

by gitroom

4/24/2025 at 9:37:53 PM

LINQ or PRQL.

by tehlike

4/24/2025 at 4:03:41 PM

Looks good.

For a more database specific, type-safe, data querying solution, I like to use https://kysely.dev

by hu3

4/24/2025 at 4:54:44 PM

I am using both prisma and kysely in the same codebase with a great success. The db schema is driven by SQL, not prisma. It is then introspected by both kysely and prisma, prisma is used in 95% of the places while kysely is used whenever performance is critical or when prisma doesn't support the SQL features we need.

by damidekronik

4/24/2025 at 7:48:19 PM

any underlying negative consequences on letting prisma schema handle the underlynig model/migrations

I found out about stackzen yesterday, really like the RBAC/ABAC backed up into the models/codegen stuff, been thinking about just using that for our custom logic and maybe add RLS pg a la supabase but also codegen from the same .zmodel from zenstack model that generates prisma models/migrations have it generate RLS sql migrations code

thoughts??

also maybe postgres views to handle field/attribute level security since rows is mostly about whole columns

main goal is to secure the data at all the levels of the stack from db to api to app so there's no footguns in the future where someone with a pg user or modifying our clients can see data they shouldn't etc

by tough

4/25/2025 at 12:39:26 PM

Prisma doesn't cover plenty of SQL features. custom types, more complex indexes (like where clause). It is also a VC backed biznes, need to be ready to drop it at almost any time, SQL/postgres on the other hand is here to stay.

RLS is hard to work with, hard to debug, hard to reason about, cumbersome. It is however powerful.

by damidekronik

4/25/2025 at 3:29:47 PM

Right! for RLS i found out about atlasgo, which lets you do Schemas as Code including RLS stuff,

so my mind went to leverage the .zmodel to generate not only the prisma schemas through it and the client api codegen sdk, but also the RLS stuff either with plain sql migrations or a specific framework for rls.

all in all this is probably too much and as long as the app-api level is secure with zenstack and i dont use pg directly anywhere else it should be 'safe' i just wanted to harden all the stack speaking of sorts... idk

by tough

4/25/2025 at 7:55:19 AM

what is stackzen? I googled it and found nothing

by krashidov

4/25/2025 at 8:49:41 AM

It's most probably ZenStack given the description: https://zenstack.dev/

by ebalit

4/25/2025 at 2:57:07 PM

yes sorry, typo, i meant ZenStack!

by tough

4/24/2025 at 5:29:10 PM

The same should apply to configuration, we have prisma for sql, we should have something like this for JSONs, like https://typeconf.dev (I’m one of the founders)

by mifydev