Hacker News: schonfinkel

New comment by schonfinkel in "Stealing from the Best Emacs Configs"

schonfinkel — Tue, 07 Apr 2026 17:27:36 +0000

Couple great options I've never heard about, now I'm stealing from the blogpost.

New comment by schonfinkel in "An experimental Linux distribution that Redefines the filesystem hierarchy"

schonfinkel — Tue, 07 Apr 2026 13:23:01 +0000

I'm a NixOS user and I know Gobolinux is a few years older, this blogpost (from 2011) was actually useful for me at the time when I decided to pick NixOS for my workstations: https://sandervanderburg.blogspot.com/2011/12/evaluation-and...

Nowadays I'm also playing with Guix as well, I kinda love that everything can be unified in a more decent language (Guile Scheme) than Nix: https://guix.gnu.org/

New comment by schonfinkel in "Rocq 9.2.0 Released"

schonfinkel — Tue, 07 Apr 2026 13:14:26 +0000

For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/

New comment by schonfinkel in "Live Life on the Edge: A Layered Strategy for Testing Data Models"

schonfinkel — Tue, 07 Apr 2026 13:08:44 +0000

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.

New comment by schonfinkel in "Trump says 'a whole civilization will die tonight' if Iran does not make a deal"

schonfinkel — Tue, 07 Apr 2026 13:03:48 +0000

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 then promptly attacked the Persians and lost.

https://en.wikipedia.org/wiki/Croesus#War_against_Persia_and...

New comment by schonfinkel in "Ask HN: Who wants to be hired? (April 2026)"

schonfinkel — Tue, 07 Apr 2026 10:06:12 +0000

  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://schonfinkel.github.io/static/cv.pdf
  Email: marcos.schonfinkel [at] gmail.com

I have 8 years of experience focused on functional programming and declarative infrastructure. My work seeks to converge code, academic concepts and operations through solid mathematical foundations, leveraging the most robust aspects of Computer Science to create resilient systems.

New comment by schonfinkel in "Ask HN: Share your personal website"

schonfinkel — Sat, 17 Jan 2026 21:48:21 +0000

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.

The Wonder of MSBuild

schonfinkel — Tue, 23 Dec 2025 14:50:27 +0000

Article URL: https://mmagueta.capivaras.dev/blog/the-wonder-of-msbuild/

Comments URL: https://news.ycombinator.com/item?id=46365720

Points: 5

# Comments: 0

New comment by schonfinkel in "Why I love OCaml (2023)"

schonfinkel — Fri, 07 Nov 2025 18:36:08 +0000

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 with it. Even though it's sold as an ecosystem, .NET revolves around C# and its related tooling.

"Type Providers" are an example of such negligence btw, it's something from the early 2010's that never got popular even though some of its ideas (Typed SQL that can generate compile-time errors) are getting traction now in other ecosystems (like Rust's SQLx).

My team used SQL Providers in a actual production system, combined with Fable (to leverage F# on the front end) and people always commented how our demos had literally 0 bugs, maybe it was too productive for our own good.

New comment by schonfinkel in "We chose OCaml to write Stategraph"

schonfinkel — Fri, 07 Nov 2025 14:40:14 +0000

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.

New comment by schonfinkel in "/dev/null is an ACID compliant database"

schonfinkel — Fri, 24 Oct 2025 10:23:01 +0000

Does it have sharding? I heard sharding is the secret sauce for webscale.

New comment by schonfinkel in "Using Emacs Org-Mode With Databases: A getting-started guide"

schonfinkel — Fri, 12 Sep 2025 13:11:25 +0000

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://www.orgroam.com/

New comment by schonfinkel in "Using Emacs Org-Mode With Databases: A getting-started guide"

schonfinkel — Fri, 12 Sep 2025 13:06:37 +0000

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

New comment by schonfinkel in "Neovim Pack"

schonfinkel — Thu, 04 Sep 2025 20:51:04 +0000

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 growing todo list.

New comment by schonfinkel in "Nova: A New Web Framework for Erlang"

schonfinkel — Wed, 06 Aug 2025 21:11:19 +0000

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.

New comment by schonfinkel in "Nova: A New Web Framework for Erlang"

schonfinkel — Tue, 05 Aug 2025 21:27:25 +0000

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: https://www.erlang.org/eeps/eep-0049

New comment by schonfinkel in "Nova: A New Web Framework for Erlang"

schonfinkel — Tue, 05 Aug 2025 21:17:52 +0000

Future astronomers will rename it to "Urectum" to stop the stupid jokes.

https://www.youtube.com/watch?v=0czFnIvKOJY

TPC-H Query 1: Column Storage and Local Aggregation

schonfinkel — Fri, 25 Jul 2025 13:06:14 +0000

Article URL: https://www.database-doctor.com/posts/tpch-intro.html

Comments URL: https://news.ycombinator.com/item?id=44682705

Points: 1

# Comments: 0

New comment by schonfinkel in "Learn OCaml"

schonfinkel — Sat, 28 Jun 2025 15:23:08 +0000

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://softwarefoundations.cis.upenn.edu/

A great resource for those looking to learn Rocq.

New comment by schonfinkel in "Subsecond: A runtime hotpatching engine for Rust hot-reloading"

schonfinkel — Wed, 25 Jun 2025 15:43:28 +0000

This is great, I wonder if it was inspired by Erlang/OTP hot code reloading.