You can make a wrapper type that abstracts the offset lookup logic with a safe interface. If it's a transparent struct then rust will compile it away into nothing but you still get the abstraction in your code.
You really don't notice it while you're using a folding phone.
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 swear that the intensity and time I've had…
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 theatre at the same speed (or faster) than…
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 mechanisms for shared ownership like…
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 langs took this approach. In research,…
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 type helps:…
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 programming languages with it) but I can see a…
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 automated lever machine (i.e. no pump). The…
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 something more custom despite the fact that…
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/canvas where you can embed elements…
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 Rust compiler a bit until they adjust…
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 utility scripts, etc. A big thing…
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 visit in your browser. Obviously that's no…
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 always will be) free + open source. Even…
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 web is bad.
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.
I definitely wouldn't say no to something like that. It would probably make my life a little easier.
You can make a wrapper type that abstracts the offset lookup logic with a safe interface. If it's a transparent struct then rust will compile it away into nothing but you still get the abstraction in your code.
You really don't notice it while you're using a folding phone.
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 swear that the intensity and time I've had…
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 theatre at the same speed (or faster) than…
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 mechanisms for shared ownership like…
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 langs took this approach. In research,…
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 type helps:…
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 programming languages with it) but I can see a…
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 automated lever machine (i.e. no pump). The…
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 something more custom despite the fact that…
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/canvas where you can embed elements…
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 Rust compiler a bit until they adjust…
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 utility scripts, etc. A big thing…
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 visit in your browser. Obviously that's no…
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 always will be) free + open source. Even…
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 web is bad.
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.
I definitely wouldn't say no to something like that. It would probably make my life a little easier.