sixbrx

11 ms·

61.
by sixbrx 5y ago
Might want to read the "Math and Computers Join Forces" near the end. Includes a use of interactive theorem prover Lean (functional language with a dependent type system) and some other stuff. Very much CS meets math.
62.
Show HN: SQL/JSON-Query Generate nested data SQL and matching result types(scharris.github.io)
1 points by sixbrx 5y ago|1 comments
63.
by sixbrx 5y ago
This is a source generator where you put in TypeScript describing a hierarchy of related database tables, and it produces: (1) SQL for getting the data in a single round trip using SQL/JSON functions, and (2) result types matching the
64.
by sixbrx 5y ago
I think #1 (running Windows itself via HyperV) is just the direction Windows is going anyway, and WSL2 is just one of the features that require it. Another one that requires it is the "Windows Defender Application Guard" which can
65.
by sixbrx 5y ago
Yeah, it's significant enough that my astro mount has a "King tracking rate" to account for this effect. Named for Edward King. https://en.wikipedia.org/wiki/Edward_Skinner_King
66.
by sixbrx 5y ago
Settings -> (Your Name/Apple ID ...) -> Find My -> Find My iPhone -> Find My Network in latest iOS.
67.
by sixbrx 5y ago
Not sure the quotes support the article's contention that is only a "reporting" issue. Hector Martin's quote calls it the "SSD thrashing issue" not a reporting issue, and says diffing the kernel source will be
68.
by sixbrx 5y ago
Note that this relates to its collision history not being special as it relates to thin/thick disk. I believe the Milky Way is still thought to be atypically large for a spiral galaxy, well above the median size. It's small compa
69.
by sixbrx 5y ago
Chip cards are vastly safer. From the article you linked about shimmer attacks: “The only way for this attack to be successful is if a [bank card] issuer neglects to check the CVV when authorizing a transaction,” I'm betting the Europe
70.
by sixbrx 5y ago
I agree, ownership is an important idea on its own. So I wish more mainstream gc languages would expose some kind of optional ownership idea. Such as ability to "give" a collection to another collection contructor, which then wou
71.
by sixbrx 5y ago
Yes and also Map's "get(Object key)" and "remove(Object key)". Those are the bane of refactorings, for me.
72.
by sixbrx 5y ago
IDE's can be fiddly, and anyway I don't think it's good to depend on an IDE for building. The project could have been set up instead with the "Maven wrapper"(1) which provides "mvn.cmd/sh" scripts at
73.
by sixbrx 6y ago
Well Checker framework to check nulls will limit you to Java 11 or earlier, at least until sometime after Java 17 lands. Also it is a constant pain having it guess wrongly about map value nullability based on key provenance which its not r
74.
by sixbrx 6y ago
my new Lenovo X1 Extreme has both of those things. I actually didn't notice the F4 microphone toggle before, thanks for the tip!
75.
by sixbrx 6y ago
I wonder what happens if you volume mount your MacOS files into the container, then the Docker daemon (I guess) would still have to do an open() in MacOS that could get the EINTR. Does Docker process handle it properly?
76.
by sixbrx 6y ago
> EINTR on a write to local file Apparanty it was on an open() call on local file which is certainly ... unusual https://www.postgresql.org/message-id/20210115210548.zfbnulf...
77.
by sixbrx 6y ago
Advice (take it or leave it): I think the item titles should be real hyperlinks (not js actions), so when right clicking the user gets the option to open in new tab.
78.
by sixbrx 6y ago
That's true but annoylingly it doesn't always take you up one folder. For example If you click it from Desktop, it takes you to the whole PC instead of to your home folder.
79.
by sixbrx 6y ago
> Meh. I've think Option is just null with extra steps. Better to concentrate on the plain "A" in "Option[A]" I think. WHen you don't have nulls, Option is what allows you to have plain types that don'
80.
by sixbrx 6y ago
I'm not actually sure in which cases the prompt happens these days - I meant that to be part of what I was asking but didn't word it very well. Hopefully listening on 127.* doesn't trigger it!
81.
by sixbrx 6y ago
Do you have any trouble with the users being prompted by the Windows firewall to allow the server to listen on localhost? I like this way of doing things but I've had propmts like that for my own dev tools and I think that would put
82.
by sixbrx 6y ago
> the file system behaviour is also a Linux thing I think the interesting part is being missed here, the behavior is that the file is being identified to apps by a uniquie identifier which is not the path, so referrering apps still find
83.
by sixbrx 6y ago
I got an XPS 15 7590 in part because I read that the "Killer" Wifi problems of old were finally fixed. Well not for me, after waking the laptop I have to manually disconnect and reconnect Wifi for it to work. Have not had time to
84.
by sixbrx 6y ago
"npx serve" is another good way to serve static files quickly without needing python or any npm installs even. npx is packaged with npm for a while now.
85.
by sixbrx 6y ago
You might mean C# here instead of Java? I don't know of anything similar to Julia's multiple dispatch in Java land.
86.
by sixbrx 6y ago
My experience is that they want even more, an actual pull request. And when you do submit it as a PR, they want you to go back and "rebase" over latest again. For someone thats not so familiar with the process it's intimidat
87.
by sixbrx 6y ago
That's not static vs. dynamic though, that's "in package manager system" vs not. If package managers managed static binaries, they'd all be updated too since the package manager knows all the dependencies.
88.
by sixbrx 6y ago
I got this recently from Springer directly, and just as a psudeo-warning, this is a "print on demand" book, at least the one I got was (it said so when I ordered it, so I was properly warned). Now, the print is actually pretty hig
89.
by sixbrx 6y ago
I'd suppose most WIndows users using git either use it through a UI (e.g.Intellij's), or else in the bash shell for Windows that comes with the git package for windows. Starting that bash shell is easier than mucking with the pat
90.
by sixbrx 7y ago
Maybe best not to call it just "ATLAS" since ATLAS stands for Asteroid Terrestrial-impact Last Alert System, and it will find a bunch of comets. This one is formally named C/2019 Y4 (yeah not the best name either). I do mis

More ›