schonfinkel

9 ms·

1.
by schonfinkel 14d ago
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:&#x2
2.
by schonfinkel 2mo ago
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:&#x2
3.
by schonfinkel 3mo ago
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:&#x2
4.
All you need is PostgreSQL(ebellani.github.io)
5 points by schonfinkel 3mo ago|0 comments
5.
by schonfinkel 3mo ago
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
6.
by schonfinkel 3mo ago
The premise looks nice, but the project being full of random .tmp-*/.log files does not bring much confidence to it.
7.
by schonfinkel 4mo ago
> 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 OCam
8.
by schonfinkel 4mo ago
or you can throw all of this into the trash and just use Nix.
9.
by schonfinkel 4mo ago
Are you trying to be sane and rational in a market that has turned into a casino? U crazy or something?
10.
by schonfinkel 4mo ago
And this time the boooom has a larger blast radius than all the previous booooms combined.
11.
by schonfinkel 4mo ago
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
12.
by schonfinkel 4mo ago
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
13.
by schonfinkel 4mo ago
I regret to inform you that, despite your best intentions, you have built an Emacs + Orgmode.
14.
by schonfinkel 4mo ago
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`, i
15.
by schonfinkel 4mo ago
> 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 w
16.
by schonfinkel 4mo ago
It's all about moving fast and breaking things ;)
17.
by schonfinkel 4mo ago
And it's not just AI, we're riding atop a previous finance + crypto bubble that didn't properly pop up.
18.
by schonfinkel 4mo ago
> 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.
19.
by schonfinkel 4mo ago
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:&
20.
by schonfinkel 5mo ago
I don't wanna be that guy but... NIX FIXES THIS.
21.
by schonfinkel 5mo ago
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 b
22.
Casus Belli Engineering(marcosmagueta.com)
1 points by schonfinkel 5mo ago|0 comments
23.
by schonfinkel 5mo ago
There were also some great options revealed here: https://news.ycombinator.com/item?id=47678283
24.
by schonfinkel 5mo ago
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 impossibl
25.
by schonfinkel 5mo ago
> Apple is pressuring Windows from above and now from below with the MacBook Neo > Linux is pressuring Windows from below and from the developer class If Valve actually delivers their Steam Machines in an affordable price then it&#x27
26.
by schonfinkel 5mo ago
For those interested, there is an awesome link between people like Bush and pioneers like Engebart (and later XEROX PARC), what made these people really genius was not only their (almost prophetic) vision, but they also had the capability t
27.
by schonfinkel 5mo ago
I've been following the development of Spectrum OS, which seems to be Qubes with a "Nix take". > Spectrum will, for now, be a Linux-based system, with packages from Nixpkgs but not derived from NixOS. This gives us an acti
28.
by schonfinkel 5mo ago
Couple great options I've never heard about, now I'm stealing from the blogpost.
29.
by schonfinkel 5mo ago
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&#
30.
by schonfinkel 5mo ago
For those unaware, one of the best resources to learn Rocq: https://softwarefoundations.cis.upenn.edu/

More ›