HNHacker News
TopNewBestAskShowJobs

mg74

299 karma · joined November 5, 2010

[ my public key: https://keybase.io/mg; my proof: https://keybase.io/mg/sigs/HU5t9vQ_15FdCyw0DQ1J4vUOd7_EmUSfzbcM-DSwgoE ]
submissionscomments
mg74··on Zig v0.17.0
Slow and steady wins the race
mg74··on Microsoft agentically ports Copilot runtime to Rust for $120K
Probably that they used dynamic workflows to run long agent sessions to do the conversion, like Anthropic did when they ported Bun from Zig to Rust. Minimize Human in the Loop workflows, maximize Agents in the Loop workflows.
mg74··on Statement on US government directive to suspend access to Fable 5 and Mythos 5
I just lost access. Back to 4.8 and 5.5. Like a caveman.
mg74··on I Love Board Games: A Personal Obsession Explained by Psychology
Get a 1830 variant (e.g. 18Chesapeake) and Age of Steam. Also any Splotter game (Indonesia just got a new printing). A new Brass will come to Kickstarter very soon, that could be a good choice. A pax game would be good to, Pax Pamir 2ed is a good choice.
mg74··on Vibe coding kills open source
More we need a new GitHub.
mg74··on New mathematical framework reshapes debate over simulation hypothesis
Which of him is simulating which?
mg74··on Emacs agent-shell (powered by ACP)
I am waiting for someone to build this for Neovim.

Come on, you unknown hero!

(and thanks to the Zed team and Google for building the spec)

mg74··on How to build a coding agent
You should learn to be grateful for what other people do on their own time and demand nothing from you for you to benefit from it.
mg74··on Apple lacks strategic vision
Where has the competition caught up? Arent Apple's chips still by far best-in-class from the laptop down to the watch?

Its an honest question, I would love an arm based laptop running NixOS that is competitive with the upcoming M5 Pro's but I dont see it anywhere.

Case in point: Google's newest Google TV box (released this year) is an absolute turd when compared with an 8 year old 4k Apple TV box.

mg74··on Scientific conferences are leaving the US amid border fears
Hard agree. The first-past-the-post single representative election system that is the foundation of the two party system in the US is breaking the country. It encourages politics where the current winner has no reason nor expectation of compromising on anything; now is their time and they are justified in breaking everything the previous winners did. It encourages politicians to act like babies, not grownups.
mg74··on Erlang's not about lightweight processes and message passing (2023)
And I am grateful for the ends, wish Python had them as well. Python already marks the start of every block with a :, one more keyword and the semantic whitespace madness could end.
mg74··on GitHub introduces sub-issues, issue types and advanced search
what is height?
mg74··on Is Iceland getting ready to join the EU?
Your nations politics are depressing enough from afar; I would not choose to have it affect me more directly than it does now.
mg74··on We're forking Flutter
Thank you
mg74··on We're forking Flutter
How so? Is there anything on what changes they made to Erlang/BEAM?
mg74··on Everything you need to know about Python 3.13 – JIT and GIL went up the hill
Thank you, but I rather not inject a tool that hasn't been updated in 6 years into my build chain. Thats how we do things in the Javascript world and frankly it sucks.
mg74··on Everything you need to know about Python 3.13 – JIT and GIL went up the hill
I dont think this is a problem anymore in todays world of LSPs and auto formatters. I almost never have to type "end" in Elixir for instance, it is always autocompleted for me.
mg74··on Everything you need to know about Python 3.13 – JIT and GIL went up the hill
No need for braces. Just add "end" for marking block ending to match the already block starting keyword ":".
mg74··on Everything you need to know about Python 3.13 – JIT and GIL went up the hill
Neovim + ruff lsp. I have gone through many formatters to try and get this better, but it is always worse than any other language where whitespace is not semantic.
mg74··on Everything you need to know about Python 3.13 – JIT and GIL went up the hill
The number one thing I wish was addressed in future version of Python is the semantically significant whitespace.

Python is absolutely the worst language to work in with respect to code formatters. In any other language I can write my code, pressing enter or skipping enter however I want, and then the auto formatter just fixes it and makes it look like normal code. But in python, a forgotten space or an extra space, and it just gives up.

It wouldn't even take much, just add a "end" keyword and the LSP's could just take care of the rest.

GIL and JIT are nice, but please give me end.

mg74··on The First HTML LSP That Reports Syntax Errors
Salsa sauce!
mg74··on Install Asdf: One Runtime Manager to Rule All Dev Environments
I have not had that problem. Only thing I have to do when I update Nix after a MacOS update is to move /etc/shells to something like /etc/shells.old
mg74··on Install Asdf: One Runtime Manager to Rule All Dev Environments
I'll take you up on that, will follow you on twitter (@mg0rn)
mg74··on Install Asdf: One Runtime Manager to Rule All Dev Environments
How doesnt it play well one MacOS? I've been using Nix Home Manager + Nix Darwin as my package manager, and Direnv + Nix Shell for developer environments; and havent had any problems (yet). Is there something I should be aware of?

Agree about the learning curve; but I am going to experience onboarding my coworkers onto using Nix only for developer environments over the next months; I feel the curve is not quite that steep for that limited use case.

mg74··on Why Are LLMs So Gullible?
The steps are understood well enough to instruct machines to do it, even if the output is to complex for us to comprehend it completely. Not so with thought, intelligence, consciousness, etc.
mg74··on Why Are LLMs So Gullible?
Statistical optimization is a known process; one where we understand every step, and can therefore instruct machines on how to perform it. Cognitive reasoning is still today not understood (in the Von Neumann sense) by anyone.
mg74··on NixOS and Flakes Book: An unofficial book for beginners (free)
Im a beginner and am working through getting Nix + Home Manager + Darwin working. Currently I am only setting it up on a MacOS vm's so I can nuke everything, but the end goal is to install it on my host system and manage everything I can with it, including home-brew.

Yes, home-manager + darwin is added complexity that is making this harder for me; when I am encountering problems I am not always clear on where in the three systems it lies. But I probably wouldn't be journeying into Nix if it wasn't for home-manager + darwin; what I want is managing my workstation and setting up ad-hoc development environments, not configure servers.

mg74··on Re: Moxie on Web3
Agree. I even gave up on keeping the christmas light IoT device on the other network, because the whole point was to be able to control the lights with the phone, and having to switch my phone between networks was just too much.

What needs to happen here is that my master devices (my phone, my laptop) need to be able to stay connected to many networks at the same time, and then I have to be able to assign different apps to different networks.

mg74··on WHO: Novel Coronavirus (Covid-19) Situation Dashboard
This is old data, Iceland is already up to 90 cases
mg74··on YouTube autoplay gave a lost Japanese classic new life (2017)
hmm, can you share a good starting place for Japanese jazz fusion?
Page 1 of 4Next →