schonfinkel

no profile record

Submissions

All you need is PostgreSQL

ebellani.github.io

5 pointsby schonfinkel12 dni temu0 comments

Casus Belli Engineering

marcosmagueta.com

1 pointsby schonfinkel3 miesiące temu0 comments

The Wonder of MSBuild

mmagueta.capivaras.dev

5 pointsby schonfinkel7 miesięcy temu0 comments

comments

10 dni temudiscuss

  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 dni temudiscuss

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 dni temudiscuss

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

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

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.

w zeszłym miesiącudiscuss

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.

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

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.

w zeszłym miesiącudiscuss

> 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

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

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

w zeszłym miesiącudiscuss

  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 miesiące temudiscuss

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

NIX FIXES THIS.

3 miesiące temudiscuss

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 miesiące temudiscuss

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

3 miesiące temudiscuss

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.