adaszko's comments

adaszko | 2 months ago | on: Eat Real Food

How are you going to infer what's harmful if you're only going to research healthy people?

adaszko | 2 years ago | on: Rename 'Val' to 'Hylo'

A new programming language based on "mutable value semantics" has been renamed from Val to Hylo. It was a frequent complaint that the former name was too similar to other existing languages like V, Vala, and Vale. Mutable value semantics is a new way to efficiently pass around data structures without having explicit references/pointers present in the language and complicating semantics. Pointers are basically relegated to a status of a possible optimization that the compiler can perform at the assembly level.

adaszko | 4 years ago | on: Using foot pedals for modifier keys in Linux (2014)

There was a point when this was joke poking fun at emacs users. With time, it makes more and more sense. Foot pedals offload some strain from your hands to your feet which in theory sounds healthier when it comes to joints. They may even improve blood circulation to your feet. Something which is quite desirable given the sedentary nature of computer work.

adaszko | 4 years ago | on: On Anki's Database

It's astounding how much quality material and tools exist for learning Japanese, compared to eg Chinese. JPDB looks fantastic.

adaszko | 6 years ago | on: How Rust optimizes async/await

> One of the major reasons behind the superior performance of async/await futures relative to threads/goroutines/etc. is that async/await compiles to a state machine in the manner described in this post, so a stack is not needed.

That's a great optimization but doesn't that mean it also breaks stack traces?

adaszko | 6 years ago | on: Browser tabs are probably the wrong metaphor

For my ideal work desktop, I want to have tools assigned per task that I can easily assemble until that task is achieved. As a spitball idea: Cmd-space, type in "research open sourcing my kindle", and get given a browser and some sort of note collector. Collect the various things from the session into my note, refile the entire stack as a project, and move on to the next task. In the future, I can access the actual project and receive a workspace with terminals, an IDE or whatever else I need to Get the Thing Done, archived versions of the sites I opened, etc. Ideally, the environment would be designed to reduce distractability.

I'd willing to donate money, work, or both. Is anyone working on something like that?

adaszko | 7 years ago | on: Pyright: Static type checker for Python

I wish there was one too, but programmer-oriented types are not the same thing as machine-oriented types. Compiling to fast code requires the latter one: types like u32, not Dict[String, int]. Current Python typing efforts tend to focus on programmer-oriented types.

adaszko | 7 years ago | on: PostgreSQL used fsync incorrectly for 20 years

Tomas Vondra goes over this in the talk. There's a rationale for that behavior: pulling out a USB stick out of the USB socket may have been what's triggered the fsync() failure. In that case, there's no way the kernel will be able to retry reliably.

adaszko | 7 years ago | on: Pipenv: promises a lot, delivers very little

With pip for instance, it often happens that a transitive dependency gets updated inadvertently breaking your code. This follows from the assumption that all packages follow semantic versioning perfectly and keep backward compatibility where they should. This is not the case in practice and experience has shown it is unrealistic to have that assumption. A better way is to rely on exact versions of packages (up to a single bit) and not on semantic versioning.
page 1