Viewing profile — NIckGeek

The fundamental issue imo is that LLMs are trained to make believable outputs. They can be complete horseshit, but because they look plausible they get treated like quality. I swea…

I don't think the issue is using declarative UI frameworks, it's that the rendering engines these frameworks are outputting to are not taking accessibility into account.

I feel like ARM wins over even a mobile x86 chip here, right? Like a base Mac Mini sounds ideal.

I'm a big fan of AsciiMath and have been supporting it in my note taking program (MicroPad) since ~2016. It was the key for me being able to write maths in a classroom/lecture thea…

Couldn't you just pass a reference to your value (i.e. `&T`)? If you absolutely _need_ ownership the function you call could return back the owned value or you could use one of the…

> but in practice fails, because of pervasive use of `unsafe`. Yes, in `unsafe` code typically dynamic checks or careful manual review is needed. However, most code is not `unsafe`…

Fil-C is impressive and neat, but it does add a runtime to enforce memory safety which has a (in most cases acceptable) cost. That's a reasonable strategy, Java and many other lang…

fwiw in modern-Java they have data classes: record Foo(String theImplementationAndStyleOfDataClasses) {} The string is final. While sadly there is no elvis operator, the Optional t…

You typically have to stop in LA, Singapore, or the UAE. The NZ -> Europe flights are brutal, and the trip back is typically even longer.

About 70% of the programming I'm doing right now is in my own language. But like, my full time work is programming language research so I accept that's an uncommon use-case.

I just tried Zed and it is definitely really pleasant to use. I'd need at least a Java LSP to use it for real (and preferably general LSP support so I can code in my own programmin…

There's a machine called the Meticulous which is launching a kickstarter soon which is attempting to somewhat do this. It's a lot simpler mechanically because it's just an automate…

Node.JS and Deno are both running with V8. fetch() isn't part of the JS standard library, it's a Web API. Deno just made (the good imo) design decision to support WebAPIs over some…

LaTeX inline maths is done inside ;;LaTeXCode;; or ''AsciiMathsCode'' More info on MicroPad Markdown is in the formatting guide in the help notebook.

I made one called MicroPad a few years ago ( https://getmicropad.com ) and just launched v4 a few weeks ago. It's pretty full of features and each note is an infinite whiteboard/ca…

I'd recommend learning Rust because the way Rust pushes you into writing code will lead you to write better C code, etc. People that learn C or C++ first often end up fighting the …

There are many fair trade coffee's from local roasters where there is a minimum price for the green coffee for the farmers at the start of the chain.

Rust is a general purpose programming language. It can do low level systems programming but it's also highly capable of doing web backends, web frontends (wasm), game design, small…

I admire Elon's accomplishments, especially with SpaceX but I wouldn't want him in charge of Twitter.

Yeah, that's the big issue with Electron. The "Micro" came from my original plan for it, which was to have a super small python script generate static notepad pages for you to visi…

Thanks! 1. That's totally possible, although file-size could quickly become an issue with syncing the videos (there's a 50MB cap) 2. Nope, All actual client functionality is (and a…

Linux doesn't have the issue with codesigning. And no evernote doesn't (it's more of a page mechanism) and yes OneNote does but OneNote one Linux is non-existent and OneNote on the…

I rely on iframes to sandbox, and as part of that I need srcdoc. Edge will support it in the next version iirc.

Already there for maths. Syntax is in the help notepad.