rienbdj

4 ms·

31.
by rienbdj 4mo ago
I have a theory that LLM generated code in a highly modular style (simple data, pure functions) will be easier to “recover” by a human team when the LLM gets muddled. So Haskell, basically.
32.
by rienbdj 4mo ago
Looks like a nice language. They market it as a Rust-like looks more like an ML to me.
33.
by rienbdj 4mo ago
> all that matters is that the properties of the system are validated I don’t think this is possible in practice without leaning on the stability of the code base.
34.
by rienbdj 4mo ago
Not a bad solution at all. It does require some discipline to write deterministic templates etc. though.
35.
by rienbdj 4mo ago
This feels like a “sell the shovels” move. Social media is full of “this one prompt to get rich quick”. It’s the new “one weird trick”.
36.
by rienbdj 4mo ago
There are compile-to-yaml config languages
37.
by rienbdj 4mo ago
Tragedy of the commons. What stops a company taking on the strong junior engineers you just invested time and resources into?
38.
by rienbdj 4mo ago
Not many people are employed as computer scientists (they are mostly academics) compared to SWEs.
39.
by rienbdj 4mo ago
Can’t sustain six figure salaries because current prompts are wrong.
40.
by rienbdj 4mo ago
Cut juniors for AI Save money Invest in market share Increase market cap Hire the last remaining seniors at higher rates but only where needed Great time to be a shareholder or staff level engineer. For everyone else, the ladder has been pu
41.
by rienbdj 4mo ago
Pretty good performance for low effort is a big win.
42.
by rienbdj 4mo ago
Build systems are a much harder problem, probably because mainstream languages are all edited the same way, but not built the same way. The closest we have right now are build systems in the Bazel / Buck2 lineage.
43.
by rienbdj 4mo ago
The burden of proof is the other way
44.
by rienbdj 4mo ago
Training AI models to drive valuation reminds me of high frequency trading
45.
by rienbdj 5mo ago
Really cool nice job! With more and more ecosystem libraries being written in Rust (and a Python wrapper) could this be a way to expand the Haskell ecosystem?
46.
by rienbdj 5mo ago
Reading what Stainless is/was - why was this a company and not an open source project?
47.
by rienbdj 5mo ago
Effective AI use (in my experience) has human doing the load bearing parts by hand (schemas, api spec, overall architecture, domain types) then AI fills in the blanks.
48.
by rienbdj 5mo ago
Bazel caches tend to have a size limit. You need to trust your build execution machine anyway. They have your source code and you will be executing the artifacts that they produce!
49.
by rienbdj 5mo ago
The post talks a lot about performance, and indeed Python performance is poor. However, it’s not poor enough to matter in the early stages of most projects. The larger issue is actually correctness IME. Rust offers a better static-type stor
50.
by rienbdj 5mo ago
Bring back lightbox!
51.
by rienbdj 5mo ago
Does anyone know if Mojo is more suitable for functional programming that Python? Things like optimizing away object allocations, pure function inlining, tail call optimization?
52.
by rienbdj 5mo ago
Translating library usage from C# to F# is pretty mechanical so not sure if specific docs are needed. The larger issue is the C# community loves OOP so you often have to wrap these libraries into something more “FP” if that’s how you want t
53.
by rienbdj 5mo ago
It’s really hard to please everyone all of the time on this front. This kind of thing is why Roc compiles to WASM but not JS.
54.
by rienbdj 5mo ago
C++ could use some do-notation
55.
Ask HN: Why didn't functional programming work for you?
16 points by rienbdj 5mo ago|1 comments
56.
by rienbdj 5mo ago
Question for Zig users: Can comptime blow up compile times? Does it have arbitrary cutoffs like C++ template depth?
57.
by rienbdj 5mo ago
The issues with Go in that article only surfaced at Discord scale.
58.
by rienbdj 5mo ago
I would love a language that distinguishes functions (pure mathematical constructs) from procedures (imperative constructs that map in a predictable way to the instruction set). This feels like the direction Algebraic Effects might take us.
59.
by rienbdj 5mo ago
I get what you are saying, but… An exception is different to an Either result type. Exceptions short circuit execution and walk up the call tree to the nearest handler. They also have very different optimization in practice (eg in C++)
60.
by rienbdj 5mo ago
Under this strict definition you can’t even throw exceptions!

More ›