danieltanfh95

Sigh. I meant that the zig authors did not make it a general pattern and just slapped on the DI pattern specifically for io, instead of generalising the abstraction so people can DI stuff.

A common workflow is to run code to test some function in the REPL and then promote it to a test when you are ready, and this process has been the smoothest in lisps, especially since you can create y…

I am not even sure if its a general pattern (inject any dependency?) or a specific pattern they added to Zig

Which is why Clojure advocates for simple data structures. They compose easier than code itself.

That's what I started doing in my company, encouraging the use of AI to polish prototypes and communication before handing it to the tech team smooths out alot of issues while exloring the soluti…

https://github.com/danieltanfh95/replsh LLMs are surprisingly bad at using REPLs, so I made a CLI that handles sync, streaming, async REPL evals support over docker, ssh, local, …

clojure exists as an example of people trying types and then realising it's cruft and not needed.

No, it is evidence for that point. You could just rattle off every possible vulnerability and have the cheap model scan for it in the harness through a loop. Note that I say cheap, not small, because …

People really lack imagination. The point here is that a dedicated attacker with a good harness and really cheap models can run the attack regardless. It's like portscan/url search attacks. …

interesting, i also went the same direction with https://github.com/danieltanfh95/replsh because i needed to support existing legacy python codebases.…

built https://github.com/danieltanfh95/replsh to pair with local python sessions without additional dependencies, allowing LLMs to directly ground their investigation and coding …

I think the discussion has to be more nuanced than this. "LLMs still can't do X so it's an idiot" is a bad line of thought. LLMs with harnesses are clearly capable of engaging with…

How is error handling expected to happen here?

Maybe the more rational conclusion is that it is purely a random chance that a startup would succeed, so we should just increase the amount of startups in the first place instead of restricting it.

Really the same mechanics with crypto

Agentic engineering is working from documentation -> code and automating the translation process via agents. This is distinct from the waterfall process which describes the program, but not the cod…

It is just search. If it can't even execute search then what else would it be good at?

Hallucinates like crazy. use with caution. Tested it with a simple "Find me championship decks for X pokemon", "How does Y deck work". Opus 4.6, Deepseek and Kimi all performed wel…

> static types are not about “classifying the world” or pinning down the structure of every value in a system. The reality is that static type systems allow specifying exactly how much a component …

python, js, ruby, clojure, erlang etc are created by senior engineers who are fully aware that haskell etc exists, so have you considered that people you claim are "senior" aren't senio…

People keep saying this and yet in the decades of my career the industry bounces between being fully dynamic and fully typed according to the affordability of senior engineers. What you are saying are…

"good type systems" in Python and Javascript has a escape hatch via dicts/objects, and are frankly, not "good" compared to FP via haskell etc, but it is realistic, reliable, o…

> overly-tight coupling, poor design, and poor planning yeah imagine if you could foresee the future five years in advance. People overestimate their ability to use type systems correctly, as shown…