schonfinkel

There's something about some late 90's (or early 2000's) games that's really to hard to match nowadays, they were incredibly addictive and you could feel the passion (and crunch-time) that went into making them, all of that without the predatory micro-transaction and cassino-like mechanics that are rampant nowadays.

This better describes my NixOS config files! XD

I mentioned org-publish late in the post, I do have my own personal blog built atop of it (and nix as well), this current setup with Gleam is more like an experiment and I get a lot of stuff for free that took me a while to get it working in my personal blog (like syntax highlighting, rss, etc), and I'd still argue that my templating system in pure elisp + crappy html sucks.

Emacs is also bloated (if want it to be), but in this case, it's good bloat, the kind that you naturally gravitate towards, eventually it might take your notes, emails, agenda and so on...

  Location: Brazil (UTC-4)
  Remote: Yes
  Willing to relocate: No
  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 [dot] schonfinkel [at] gmail.com

Software engineer with over 8 years of experience focused on functional programming and declarative infrastructure. I like to solve hard/bizarre problems and my skills often shine when integrating niche tech. I'm looking for Backend Engineering (especially functional programming) or DevOps/SRE opportunities.

  Location: Brazil (UTC-4)
  Remote: Yes
  Willing to relocate: No
  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 [dot] schonfinkel [at] gmail.com

Software engineer with over 8 years of experience focused on functional programming and declarative infrastructure. I like to solve hard/bizarre problems and my skills often shine when integrating niche tech.

I'm looking for Backend Engineering (especially functional programming) or DevOps/SRE opportunities.

Honest question, can you vibe code while stoned?

  Location: Brazil (UTC-4)
  Remote: Yes
  Willing to relocate: No
  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 [dot] schonfinkel [at] gmail.com

Software engineer with over 8 years of experience focused on functional programming and declarative infrastructure. I like to solve hard/bizarre problems and my skills often shine when integrating niche tech.

I'm looking for Backend Engineering (especially functional programming) or DevOps/SRE opportunities.

Kinda, you'd have to go through the whole review process and also get your stuff to successfully be part of (at least) an unstable build.

What really worries me is that on Nix we have a strong habit of patching packages to work around problems caused by the fact that NixOS doesn't use FHS. So, in theory, someone could submit an obscure patch to systemd and get everyone affected by it, if it gets approved.

The premise looks nice, but the project being full of random .tmp-*/.log files does not bring much confidence to it.

> I personally find OOP to be the most intuitive for large scale systems design, but that's just me.

Once you're more comfortable with it and want to try a typed functional programming language, I highly recommend checking OCaml (or SML, if you're into old school tech) and see how the Module Functors are applied, most software will look extremely over-engineered after you write a few functors. It's the feature I miss the most when coding in F# or Gleam, for instance.

or you can throw all of this into the trash and just use Nix.

Are you trying to be sane and rational in a market that has turned into a casino? U crazy or something?

And this time the boooom has a larger blast radius than all the previous booooms combined.

The worst part is that techies can still work around the insanity if they keep their opinions private. For the serious average Joe the AI mandates must be feeling like hell on earth.

I once worked in a company that had soviet-level efforts to push LLMs into everything, someone eventually made the classic "Natural Language -> SQL Query -> Magic Result in webpage" and got promoted, the tool got mandated for every non-tech employee as part of an AI-boosting effort (people pushing metrics up).

One day I wake up with a product person in despair because the tool couldn't handle what looked like a very simple aggregation, I stopped what I was doing, crafted a 30-line SQL query over HORRIBLE TABLES, a couple CTEs and window functions here and there got him what he wanted. I found out later that single query that took 30 minutes to make saved him from inheriting a 6-month effort to create a microservice dedicated to patching said tool.

If you come from a pure FP or embedded systems background you are exposed to a much better version of "sofware engineering" than your average React dev out there. The bar created by webdev is so low it made the whole industry look like a joke.

I regret to inform you that, despite your best intentions, you have built an Emacs + Orgmode.

I once worked in a project that vendored most of its third-party dependencies, it was a culture shock at first, but damn, after a while it was so nice being able to work just by building from local source, with normal tooling like `make`, instead of pulling a shitton of deps from the outside world. Made me realize how much "webdev culture" did a disservice to software engineering as a whole.

> But I think we will swing back to using GUIs when we find a performant way of making them

I like this new TUI renaissance as well, but if you wanna see what a symbiotic relationship between GUIs x TUIs could look like you need to see what Emacs does with Orgmode and the whole Org ecosystem of org-agenda, org-roam, etc. Lot's of these TUIs from the awesome are somewhat already inside Emacs.

https://orgmode.org/ https://orgmode.org/manual/Agenda-Views.html

It's all about moving fast and breaking things ;)

And it's not just AI, we're riding atop a previous finance + crypto bubble that didn't properly pop up.

> Meanwhile, Anthropic is adding ~$10-$15b ARR every month.

I'd like to see how creative their accountants are before thrusting any numbers like that.

  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.

I don't wanna be that guy but...

NIX FIXES THIS.

It's nice to see that Fable is still around, my old team once did a proof of concept that later turned into a real service that used both Fable + SQL Type Providers. We had levels productivity that were never heard before, since must bugs were caught by the compiler (which had knowledge of the types all the way from the DB to the FE).

There were also some great options revealed here: https://news.ycombinator.com/item?id=47678283

Big tech has noticed this a long time ago, which is why they hire a legion of "developer advocates", its inorganic in the beginning, but it works long-term and once certain tools get into large companies it's almost impossible to remove.