schonfinkel · HackerTrans

schonfinkel

no profile record

Submissions

All you need is PostgreSQL

ebellani.github.io

5 pointsby schonfinkelقبل 28 يومًا0 comments

Casus Belli Engineering

marcosmagueta.com

1 pointsby schonfinkelقبل 3 أشهر0 comments

The Wonder of MSBuild

mmagueta.capivaras.dev

5 pointsby schonfinkelقبل 7 أشهر0 comments

TPC-H Query 1: Column Storage and Local Aggregation

database-doctor.com

1 pointsby schonfinkelالسنة الماضية0 comments

Threads of Abstraction

duing.dev

5 pointsby schonfinkelالسنة الماضية0 comments

The Road to Emacs Maximalism

schonfinkel.github.io

18 pointsby schonfinkelقبل سنتين5 comments

Show HN: Lyceum – An MMO game built with Zig and Erlang

github.com

148 pointsby schonfinkelقبل سنتين69 comments

comments

قبل 27 يومًاdiscuss

  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.

الشهر الماضيdiscuss

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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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.

قبل شهرينdiscuss

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.

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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.

قبل شهرينdiscuss

> 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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

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

قبل شهرينdiscuss

  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 أشهرdiscuss

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

NIX FIXES THIS.

قبل 3 أشهرdiscuss

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

قبل 4 أشهرdiscuss

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

قبل 4 أشهرdiscuss

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.