quag

12 ms·

31.
by quag 3y ago
To “delete” HN: 1. Open Settings > Screen Time > App Limits > Add Limit 2. Scroll to the bottom and pick “Websites” 3. Pick “news.ycombinator.com” 4. Click “Next” 5. Pick 0 hours, 1 minute 6. Click “Add” Now you’ll be limited to on
32.
by quag 3y ago
When generating images also mix in a little blue noise to avoid banding effects. A simple lookup table goes a long way. I found it worked much better than adding uniformly random noise (white noise) to each pixel.
33.
by quag 3y ago
For the curious (as f* is hard to search for): https://fstar-lang.org/
34.
Lean 4.0(github.com)
130 points by quag 3y ago|91 comments
35.
by quag 3y ago
I’ve found something similar: to fall asleep visualise something vividly. It could be a scenario (a daydream as you suggest) or a scene. The steps go something like this: be still, relax face, stop thinking (or distract self with audio you’
36.
by quag 3y ago
If anyone else is interested, https://netflix.github.io/atlas-docs/overview/#stack-languag... is the stack language for querying.
37.
by quag 3y ago
I think I have the same chromebook model as you (Samsung Chromebook Pro). Do you have any tips or advice for trying it or anything else that will let me keep using the device?
38.
by quag 3y ago
Outside of the USA the point of university is education. Only in the USA have I seen the meme that the point of universities is something other than education. I’m still trying to work out how and why there is a difference. Can you help me
39.
by quag 3y ago
Thank you! I’ll have to look into this approach.
40.
by quag 3y ago
I bought a chromebook in 2017 that I love. AUE is up in a few months. The OS has improved leaps and bounds since I got it. I wish it would keep getting updates. Sadly it’s hard to flash a new boot loader as the write protect screw is in a d
41.
by quag 4y ago
Is [1] a good way to learn about furthest in the future eviction? [1]: https://blog.henrypoon.com/blog/2014/02/02/proof-of-the-fart...
42.
by quag 4y ago
I really wanted WezTerm to be the best terminal on macOS. However, when I tried switching from Kitty to WezTerm a month or so ago I found WezTerm’s latency was noticeably higher than Kitty and WezTerm often painted lines as blank in vim whe
43.
by quag 4y ago
NixOS is an equivalent and it does not require a mono repo.
44.
by quag 4y ago
How does closeFile get implemented? That is, how do you consume a linear type without having to either pass it to another function or return it? Does every linear value ultimately have to be passed to an extern function that doesn’t follow
45.
by quag 4y ago
You could certainly parse the file, and then insert/remove cells or their values. I don’t know if the app monitors the files for changes and then reloads on change or not. If not, I imagine you could modify the app to do so.
46.
by quag 4y ago
I’ve found TreeSheets to be the best tool for popping up on screen to help a team talk through something. There is something about quickly making tables of tables and inserting new rows/columns that just fits with how people think and
47.
by quag 4y ago
It’s a simple binary format. I’ve written a parser for it in python. https://gist.github.com/quag/e219f69670cd395d4a59a392557df28... An older version (v16) of the format is documented, but that was before zlib compress
48.
by quag 4y ago
An alternative: I’ve made a little setup script to quickly install nix, home-manager and flakes in the Steam Deck’s desktop mode. No extra permissions required. https://github.com/quag/user-nix-steam-deck
49.
by quag 4y ago
Thank you. You convinced me to read the paper, and so far I’m loving it.
50.
by quag 4y ago
The "Most Americans do not live in bit cities" comment caught my eye. I wasn't sure if it was true or not, so I ran some numbers. Using https://en.wikipedia.org/wiki/List_of_metropolitan_statistic... Ass
51.
by quag 4y ago
When set undofile is combined with :earlier and :later being used in place of undo and redo I think vim behaves as the author describes.
52.
by quag 4y ago
Yes, vim’s “set undofile” will create a persistent undo file that stores all changes to the file indefinitely. You can undo changes made months ago over reboots. If you move the undo file between machines, you can undo on different computer
53.
by quag 4y ago
Focus Toolkit episode: https://youtu.be/yb5zpo5WDG4
54.
by quag 4y ago
N-1 games?
55.
by quag 4y ago
It’s a small world. One of my friends worked on those books. We enjoyed a few years eating test bread every time we saw them.
56.
by quag 4y ago
bzip2 often beats xz for highly regular data, like a big csv or jsonl file. So I usually try both approaches on those sorts of files. For everything else my go to is zstd or xz. Xz usually wins by a little, but is a lot slower. Zstd is grea
57.
by quag 4y ago
Mine was printed in another country and shipped 7200 miles to me in under a week for a $18 delivery fee.
58.
by quag 4y ago
From the USA it was faster (1 week), cheaper, and easier (all online, all digital, no mailing anything in) to renew my New Zealand passport, than it was to renew the US passport for the little one. We were left with the impression that the
59.
by quag 4y ago
I was surprised recently when upgrading from Catalina to Monterey and all the nix stuff just kept working. It was the first time a major macOS hasn’t broken nix. Does anyone know if this update was a fluke?
60.
by quag 4y ago
Does nix and NixOS ever run the GC for you? I’ve always found that I have to manually run it at a time and place of my choosing.

More ›