schonfinkel

6 ms·

31.
by schonfinkel 6mo ago
For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/
32.
by schonfinkel 6mo ago
Thanks for writing this, its sad that not a lot of people talk about Property-Based testing, it's one of these great ideas from the late 90's that never seem to hit the mainstream despite how awesome it looks.
33.
by schonfinkel 6mo ago
Kinda reminds me of the story of king Croesus of Lydia, who asked the oracle of Delphi whether he should wage war against Cyrus the Great, the Oracle promptly told him that by doing so he would "destroy a great empire". Croesus th
34.
by schonfinkel 6mo ago
Location: Brazil (UTC-4) Remote: YES Willing to relocate: MAYBE Technologies: Erlang, F#, Gleam, Nix, NixOS, Linux, Ocaml, Python, SQL, AWS, Azure, Bash, PostgreSQL, Docker, DevOps, Terraform / Tofu Résumé/CV: https:&
35.
by schonfinkel 9mo ago
https://schonfinkel.github.io/ Mine is a forever ongoing experiment on Emacs + Orgmode + org-roam + Nix, among many other tools. I need to get back and write more.
36.
The Wonder of MSBuild(mmagueta.capivaras.dev)
5 points by schonfinkel 10mo ago|0 comments
37.
by schonfinkel 11mo ago
The answer is (most likely) Microsoft, I kid you not. I've worked with F# professionally for many years is its incredible how they are literally sitting atop a gold mine that is the output of Microsoft research and do basically nothing
38.
by schonfinkel 11mo ago
Plus, OCaml kept the SML tradition in its robust module system, with modules as first-class citizens and ML-style functors, this is something hard to see nowadays, even among ML-inspired languages.
39.
by schonfinkel 1y ago
Does it have sharding? I heard sharding is the secret sauce for webscale.
40.
by schonfinkel 1y ago
Kudos to you, my biggest regret nowadays was not learning how to use orgmode (and org-roam) in college. As long as you set up a proper environment and have an org-publish config you barely need to bother with verbose LaTeX documents. https
41.
by schonfinkel 1y ago
You can also set a `.pgpass` in your `$HOME` or point another path to a `PGPASSFILE` envar, so postgresql credentials don't leak to main org file. https://www.postgresql.org/docs/current/libpq-pgpass.html
42.
by schonfinkel 1y ago
I've been using the "old school" approach of just leveraging neovim + huge list of `vimPlugins` in my Nix config, makes you about the myriad of package managers for vim/neovim. Replacing it with nixvim is on my forever g
43.
by schonfinkel 1y ago
I was in a similar situation, ended up relying on libs that used parse transforms a lot and then found out most of my usage could have been replaced by the new `maybe` expression.
44.
by schonfinkel 1y ago
There are some libraries (based on parse transforms) that introduce a sort of "do" notation to deal with this issue (erlando and its variations come to mind). Also, the latest versions of OTP have introduced the `maybe` expression
45.
by schonfinkel 1y ago
Future astronomers will rename it to "Urectum" to stop the stupid jokes. https://www.youtube.com/watch?v=0czFnIvKOJY
46.
TPC-H Query 1: Column Storage and Local Aggregation(database-doctor.com)
1 points by schonfinkel 1y ago|0 comments
47.
by schonfinkel 1y ago
Highly recommend this as well. Michael Ryan also has a playlist where he goes over the first book of the "Software Foundations" series: https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk... https:/
48.
by schonfinkel 1y ago
This is great, I wonder if it was inspired by Erlang/OTP hot code reloading.
49.
by schonfinkel 1y ago
> If it was so easy as just don't do nulls, everyone would be doing it by now You are assuming tech is business governed by rational decision makers. And yes, it is that easy.
50.
by schonfinkel 1y ago
This is what made explore orgmode altogether and got me addicted to Emacs.
51.
by schonfinkel 1y ago
And now with Gleam moving past version 1.0 last year, the BEAM also boasts a decent amount of "flavors" of functional programming. You can go with Erlang/OTP (the alien tech that has been battle tested for almost 30 years), E
52.
by schonfinkel 1y ago
Right now they've been mostly toy projects, the more complex one being the back-end of an (WIP) MMO game ( https://github.com/Dr-Nekoma/lyceum ) and a couple handy libraries that I wrote myself (like https:/&#
53.
by schonfinkel 1y ago
Learning to work on the BEAM with Erlang/OTP has been one of the best experiences I had in the past year, I used Joe Armstrong's "Programming Erlang: Software for a Concurrent World" book (and highly recommend it to begi
54.
Threads of Abstraction(duing.dev)
5 points by schonfinkel 1y ago|0 comments
55.
The Road to Emacs Maximalism(schonfinkel.github.io)
18 points by schonfinkel 2y ago|5 comments
56.
Show HN: Lyceum – An MMO game built with Zig and Erlang(github.com)
148 points by schonfinkel 2y ago|69 comments