schonfinkel

no profile record

投稿

All you need is PostgreSQL

ebellani.github.io

5 ポイント投稿者 schonfinkel12 日前0 コメント

Casus Belli Engineering

marcosmagueta.com

1 ポイント投稿者 schonfinkel3 か月前0 コメント

The Wonder of MSBuild

mmagueta.capivaras.dev

5 ポイント投稿者 schonfinkel7 か月前0 コメント

コメント

11 日前議論

  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.

27 日前議論

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 through the approval process.

The solution so far has been a very rigorous process to even get a commit bit into nixpkgs: https://github.com/NixOS/nixpkgs-committers

30 日前議論

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.

3 か月前議論

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

NIX FIXES THIS.

3 か月前議論

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).

3 か月前議論

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

3 か月前議論

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.