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 months ago
|
on: Eat Real Food
adaszko
|
1 year ago
|
on: Ask HN: Please recommend how to manage personal serverss
Check out Proxmox +
https://tteck.github.io/Proxmox/ + lxc container snapshots on the NAS and set up Proxmox backup server on the Pi. I find such a setup to be "all benefit, no giving up anything", contrary to NixOS.
adaszko
|
2 years ago
|
on: Penrose – Create diagrams by typing notation in plain text
adaszko
|
2 years ago
|
on: Rethinking Diabetes – interview with Gary Taubes
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
|
3 years ago
|
on: Anki SRS Algorithm : Spaced repetition explained with code
Oh, interesting. Is v3 just a new API or a new algorithm altogether?
adaszko
|
3 years ago
|
on: Anki SRS Algorithm : Spaced repetition explained with code
There’s a Bayesian stats approach to spaced repetition:
https://fasiha.github.io/ebisu/AFAIU, SM2 computes the datetime of a next review, whereas Ebisu models a probability of remembering a given flashcard. It seems it’s a more straightforward representation that’s more amenable to implementing functionalities like “show me 10 least remembered cards”.
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: Debugging with GDB
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
|
5 years ago
|
on: Show HN: Hndex.org – a full-text search engine of articles submitted to HN
adaszko
|
6 years ago
|
on: Ask HN: Must Read from ACM Library?
adaszko
|
6 years ago
|
on: Actual Causality (2016)
Me too! Any other resources you can share?
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
|
6 years ago
|
on: Ask HN: Which books teach mental models?
What mental models have you learned from it?
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.