loglog

7 ms·

61.
by loglog 11mo ago
I don't know about CS, but in mathematics the vast majority of researchers would not have enough funding to pay for a good quality full review of their articles. The peer review system mostly runs on good will.
62.
by loglog 11mo ago
Since when do Debian users need to compile APT themselves?
63.
by loglog 1y ago
You cannot "point" JSpecify to anything. It is a standard like PEP 484, but much smaller, because everything else is already part of the language standard.
64.
by loglog 1y ago
This sounds even worse than Modular/Mojo. They made their language look terrible by trying to make it look like Python, only to effectively admit that source compatibility will not really work any time soon. Is there any reason to beli
65.
by loglog 1y ago
Yes, type checkers are very good at tracking refactoring progress. If it turns out that you can proceed to test some subset, then congratulations, you found a new submodule.
66.
by loglog 1y ago
I believe that LLMs are detrimental to government efficiency, because they distract from solving the underlying problems (such as porkishly complex laws or a lack of unique identifiers).
67.
by loglog 1y ago
In a well-designed city, you don't get onto the subway with a stroller during peak hour, because all amenities that your young children need are reachable in 15 minutes on foot (or <5 minutes by bike).
68.
by loglog 1y ago
You don't recognize the objective bad because you've never lived in a place that does it better (NL, DK).
69.
by loglog 1y ago
Bullshitting generally gets people farther than anything else.
70.
by loglog 1y ago
Not your main point, but how would monomorphization of generics work with binary dependencies?
71.
by loglog 1y ago
> Stored procedures also add another risk. You have to keep them in sync with code, making releases more error prone. This one is easily solved: never change a stored procedure. Every version should get a new name.
72.
by loglog 1y ago
NSA does probably want it, and did probably standardized at least one such scheme in the past: Dual_EC_DRBG.
73.
by loglog 1y ago
No cryptographic verification is required for content blocking. Make it easy to set up a slightly locked down "child" account (e.g. one behind a MITM proxy that only lets through HTTP(S) and blocks some domains) by requiring it fr
74.
by loglog 1y ago
If you need to test for null checks and function parameter types, then your dismissal of "half-assed" type systems is severely misplaced. Everyone [1] agrees that testing null checks is a huge waste of time. [1] https:/&#x2F
75.
by loglog 1y ago
Do you mean this article?: https://grugbrain.dev/
76.
by loglog 1y ago
If you want this today, Haskell might be the only choice.
77.
by loglog 1y ago
DWD is allowed to provide a weather app, but not for free. So they offer it for a nominal one-time fee instead.
78.
by loglog 2y ago
"renegotiate at market rates" is extremely tenant-punishing, because the cost of moving for the tenant is much higher than the cost of finding a new tenant for a landlord. It becomes better if you remove the "renegotiate&quot
79.
by loglog 2y ago
Even a rail line such as RER A only has a capacity of at most 40k people/h/direction. It cannot solve all, or even most, transportation problems of a large city. For that, you'd need tens of lines, as in China or Madrid.
80.
by loglog 2y ago
You have no clue about the collapse of the USSR. Its economy was crippled by monopolies and absurd subsidies, not by equality.
81.
by loglog 2y ago
This is factually wrong. All Chinese manufacturers sell Android phones without Google services.
82.
by loglog 2y ago
Industrial production is in decline since 2018: https://www.destatis.de/EN/Press/2025/01/PE25_008_421.html
83.
by loglog 2y ago
Which were also the historical precursor of bicycles: https://en.wikipedia.org/wiki/History_of_the_bicycle#19th_ce...
84.
by loglog 2y ago
"Can" is the key word here. If types are optional, _someone_ will always fail to declare them, and _you_ will suffer.
85.
by loglog 2y ago
PSA: your browser window is resizable.
86.
by loglog 2y ago
"Losing 30 trillion" is a very entitled view on decreasing real estate prices. Those 600 million people making 1000 CNY/month or less (and probaly another 300 million making a bit more) will be happy for a respite in being pr
87.
by loglog 2y ago
For me, cargo is among the most reliable package managers these days. It is about as convenient as any other Linux package manager (and therefore much better than the feeble Windows or Mac alternatives), yet also compiles from source. I evi
88.
by loglog 2y ago
Can we have summaries of HN discussion threads to alleviate FOMO on flame wars with 1000s of comments?
89.
by loglog 2y ago
It's not "limited space". In Germany, as in many parts of the US, strict zoning disallows building housing where people have to work/want to live at the cost of workers to the benefit of rent-seekers.
90.
by loglog 3y ago
An average pre-WW2 house in a German village may be prettier than an average house from the 1950s, but certainly not than an average house being built today. Your perception is presumably clouded by the touristy "villages", which

More ›