Firfi

14 ms·

1.
by Firfi 22d ago
Well, in some sense, yes. There's a seed, of course! It's not always 4 unless it IS : )
2.
TypeScript compile-time dice rolls(github.com)
3 points by Firfi 22d ago|3 comments
3.
by Firfi 22d ago
I needed to roll some "2d10 + 3"-like expressions in TypeScript, but found that there was no TypeScript dice library for some reason. There you go, then. Rolls both at compile time and at runtime. TLDR ```ts const r = evaluate(&qu
4.
Branded Types and Connascence of Execution(dearlordylord.com)
2 points by Firfi 23d ago|1 comments
5.
by Firfi 23d ago
A very small writeup on branded types [in Typescript, but the approach is applicable to many other languages] in application to Connascence of Execution
6.
by Firfi 2mo ago
Now I'll be thinking of "L" in ETL as "Land" and not "Load". Although the article doesn't propose that but uses a lot of "Land" terminology. "Load" => "load where? or FRO
7.
by Firfi 5mo ago
That's a great idea, in fact. I'll try it out next time. Maybe even a mix, because I do sometimes want to be very specific about some expressions and experiment with wordplay
8.
by Firfi 5mo ago
In my view, the edge cases like so (I think peasant railgun even mentioned in dm handbook) are more of a community problem than the game's. If it can be called a problem, of course - some tables enjoy those shenanigans, some don't
9.
by Firfi 5mo ago
That's the plan! D&D combat can be a slog sometimes, and when it is, that kills a lot of fun for me as a story-first approach adept. I'd really just ask about that or that rule from a chatbot, or have a list of weighted action
10.
by Firfi 5mo ago
Sorry for that, everyone. I did use the AI to help me with structure and English. I thought I'd proofread and edited that enough to be readable, but apparently it still smells. I'll update the wording soon.
11.
by Firfi 5mo ago
Right. Quint is not used in runtime and is not supposed to be. It's a strong testing layer. But there's much more to it. My bigger idea is that I would generate whatever implementation from it, hopefully, with an agentic loop - t
12.
Model-Based Testing for Dungeons & Dragons(loskutoff.com)
109 points by Firfi 5mo ago|76 comments
13.
by Firfi 5mo ago
Dungeons & Dragons rules are a spec spanning thousands of pages, not formalized, but thoroughly tested by the community. Moving them to a formal specification language (Quint) was an obvious next step. It worked and proved to also be a
14.
by Firfi 1y ago
Thank you (twice!) for reading it. The idea wrapped in a scandalous topic indeed, but the PR process ambiguity was also what was the last straw for me to write it.
15.
by Firfi 1y ago
That's one of my biggest frustrations - I wasted a lot of time on reprompting. I was making myself stick to 100% LLM approach for a while, in order to learn. I can't say for everyone, but for me it's hit-and-miss: if LLM star
16.
by Firfi 1y ago
It seems to me we have to find out how to figure out "what matters" to have the benefits that 10x vibe coder bros promise. I think we still have to review (despite my clickbait title), it's just different things that we are l
17.
by Firfi 1y ago
I actually do recommend reviewing manually - it's just very convenient to see when a person wrote something (then much more scrutiny can be applied) vs. when the work was outsourced to AI. I feel like there is another application tho
18.
by Firfi 1y ago
Just feeling and experience, really. For me, if I spent time with the vibe code snippet and improved it until I can say "yes I would've written this" it's not slop anymore, even if it was written by Claude initially. On
19.
Vibe code isn't meant to be reviewed(monadical.com)
19 points by Firfi 1y ago|26 comments
20.
by Firfi 1y ago
After some vibe coding frustrations, ups and downs, I found that splitting the code explicitly into well-curated, domain-heavy guidance code and code marked “slop” can solve a lot of frustration and inefficiency. We can be honest in our PR,
21.
by Firfi 2y ago
Hey folks, sometimes on PRs, I find that people aren't well-versed in the intricacies of code branching. So, I wrote a short article to educate fellow engineers and point to it sometimes so I don't have to explain things over and
22.
Mindfulness in TypeScript code branching, or how to if/else(monadical.com)
6 points by Firfi 2y ago|1 comments
23.
TypeScript Validators Feature Comparison(typescript-validators.com)
8 points by Firfi 2y ago|1 comments
24.
by Firfi 2y ago
An app with typescript validators features tests. The test case is based on real use cases but is kept generic. Tests more advanced stuff like algebraic data types, template literals, nominal types, and recursive types. It's not a perf
25.
Building a Ticketing System with Solana Mobile and Metaplex Foundation Umi(monadical.com)
5 points by Firfi 2y ago|1 comments
26.
by Firfi 2y ago
Hey, sharing my colleague's @juanArias8 article on Solana Mobile here. He'll answer questions/comments in this thread if any popup.
27.
by Firfi 3y ago
We joked with my colleague that this post about real-time text-to-speech lipsync of his was either born too late because Sora is here to rule the industry or too early because his solution is tailored better than Sora for the specific task.
28.
Kraken the Code: How to Build a Talking Avatar(monadical.com)
2 points by Firfi 3y ago|1 comments
29.
by Firfi 3y ago
They use N-tier architecture and FastAPI to build a scalable Zulip bot that can retrieve messages, links, and images from Zulip
30.
Integrating AI Models into Zulip Chatbots Using FastAPI: Part 2(monadical.com)
2 points by Firfi 3y ago|1 comments

More ›