HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azkalam

51 karmajoined 9 เดือนที่ผ่านมา

Submissions

Prism: An Impure Functional Language With Typed Effects

stephendiehl.com
34 points·by azkalam·6 วันที่ผ่านมา·13 comments

Ask HN: Best file format for AI reports output?

1 points·by azkalam·5 เดือนที่ผ่านมา·0 comments

Fantasy Consoles

fantasyconsoles.org
4 points·by azkalam·8 เดือนที่ผ่านมา·0 comments

comments

azkalam
·12 วันที่ผ่านมา·discuss
Effect Systems are the answer to cross-cutting concerns in 2026.
azkalam
·28 วันที่ผ่านมา·discuss
Google has so much influence over the hardware manufacturers. They should do more.

Does anyone in the industry know why so much firmware is proprietary?
azkalam
·2 เดือนที่ผ่านมา·discuss
Reproducible builds reduce the need for trusted parties.

Have many organizations produce the binaries independently and post the arifacts.

Once n of m parties agree on the arifact hash, take that as the trusted build.

If every party reaches a different hash then we cannot build consensus.
azkalam
·2 เดือนที่ผ่านมา·discuss
Probably easiest way is to use Bazel to leverage the effort that has gone in there
azkalam
·6 เดือนที่ผ่านมา·discuss
Over-eating is not strictly a choice. Corporations spend billions on manipulating the public because it works. Regulation is needed, not willpower.
azkalam
·7 เดือนที่ผ่านมา·discuss
Python has a reputation for being good for beginners so it's taught to beginners so it has a reputation for being good for beginners.
azkalam
·7 เดือนที่ผ่านมา·discuss
Success rate in that era was very low. There are thousands of movies from that time that no one cares about today.
azkalam
·7 เดือนที่ผ่านมา·discuss
Do you know of anything like AoC but that feels less contrived? I often spend the most time understanding the problem requirements because they are so arbitrary - like the worst kind of boardgame! Maybe I should go pick up some OSS tickets...
azkalam
·7 เดือนที่ผ่านมา·discuss
Terse languages with great collection functions in the standard libraries and tail call optimization. Haskell, OCaml, F# ...
azkalam
·7 เดือนที่ผ่านมา·discuss
But only one server can access each SQLite at a time?
azkalam
·8 เดือนที่ผ่านมา·discuss
- Write side is a Postgres INSERT

- Read side is a SELECT on a Postgres view
azkalam
·8 เดือนที่ผ่านมา·discuss
> Go is one of the best languages to go for Event Sourcing toda

Can you explain this? Go has a very limited type system.
azkalam
·8 เดือนที่ผ่านมา·discuss
How does event sourcing handle aggregates that may be larger than memory?
azkalam
·9 เดือนที่ผ่านมา·discuss
This assumes the boundary between Python and the native code is clean and rarely crossed.
azkalam
·9 เดือนที่ผ่านมา·discuss
I've never understood this. Python cannot be optimized like C, C++ or Rust. It cannot do advanced functional things like OCaml, Haskell or Scala. It cannot run in browsers like TypeScript. It cannot do games programming like C# and it can't do crazy macro stuff like Clojure. I don't think it's even second best at those things.
azkalam
·9 เดือนที่ผ่านมา·discuss
Sure, Python has types as part of the syntax, but Python doesn't have types like Java, C#, etc. have types. They are not pervasive and the semantics are not locked down.
azkalam
·9 เดือนที่ผ่านมา·discuss
This surprises me.

If you want the .NET ecosystem and GC conveniences, there is already F#. If you want no GC and RAII-style control, then you would already pick Rust.