loglog

5 ms·

31.
by loglog 8mo ago
Operator of the LinkedIn Website: LinkedIn Ireland Unlimited Company Wilton Place, Dublin 2, Ireland
32.
by loglog 8mo ago
php is the only popular language that regularly removes insane legacy cruft (to be fair, they have more insane cruft than almost any other language to begin with).
33.
by loglog 8mo ago
Real men know that infinite sets are just a tool for proving statements in Peano arithmetic, and complex numbers must be endowed with the standard metric structure, as God intended, since otherwise we cannot use them to approximate IEEE 754
34.
by loglog 8mo ago
Your link is _not_ about a country that _actually_ imposed a sugar tax.
35.
by loglog 8mo ago
Counting warnings is a poor practice, because you don't see where warnings exist or are added or removed while reading or writing code. Suppression annotations in code next to where the problem occurs are more explicit, and the progres
36.
by loglog 8mo ago
That's right, much of the market is negative sum.
37.
by loglog 8mo ago
Wealth tax is the best type of tax, because it incentivizes productive activities against speculation. It should be levied on a continuous basis rather than on transaction basis though, which is just basic numerical analysis.
38.
by loglog 9mo ago
I think that the problems with unchecked exceptions are due to the simultaneous presence of both checked and unchecked exceptions. The designers must have thought that checked exceptions would be the rule, but left an escape hatch. If there
39.
by loglog 9mo ago
The plain Java equivalent of the proposed semantics would be a type system extension similar to JSpecify: @Result(ok=Ok.class, error={Checked1.class, Error2.class}) Object function() combined with enough restrictions on the usages of resul
40.
by loglog 9mo ago
Math does that. Peer review cycles are measured in years there. This does not stop fashionable subfields from publishing sloppy papers, and occasionally even irrecoverably false ones.
41.
by loglog 9mo ago
Have some pity for those Senior Expert Architect Full-Stack Developers (fresh out of boot camp) in urgent need of job security.
42.
by loglog 9mo ago
There is no "Navier-Stokes theorem". There is a famous class of open problems whether Navier-Stokes equations are well-posed (have solutions that don't explode in finite time) for various initial data, but that type of questi
43.
by loglog 9mo ago
1. There are tons of static analyzers for C++. Does none of them support type system augmentation? 2. Is the proposed solution really more practicable than "typescript for c++" [0]? [0] https://github.com/hsutter&#
44.
by loglog 9mo ago
It was a terrible idea to market it as Python-compatible, and they are now slowly walking away from it.
45.
by loglog 9mo ago
It was extremely easy for that train to stop in Bonn-Beuel, which is anyway far superior to Troisdorf for a train that was originally scheduled to stop at Bonn Central Station. Failing to stop there shows perfectly how little DB cares about
46.
by loglog 9mo ago
Removing parts of the city to add more lanes will also help decreasing demand - it's a win-win!
47.
by loglog 9mo ago
Would American companies treat an average motorist better than foreign companies? Are you insinuating that these good, law-abiding, American companies are COMMUNIST?
48.
by loglog 9mo ago
I don't want to see any irrelevant history several years later, so I enforce linear history on the main branch in all projects that I work on. So far, nobody complained, and I've never seen a legitimate reason to deviate from this
49.
by loglog 10mo ago
All problems that you've listed seem pretty minor compared to what was happening in the rest of the world at that time, reinforcing my point.
50.
by loglog 10mo ago
The author is in the comfortable position of working on a system that does have a formal specification and a formally verified reference implementation. The post is not about how they wish things would work, but how their existing system (C
51.
by loglog 10mo ago
Are we talking about the middle of World War II in the US? A war that resulted in exactly 6 civilian deaths in the continental US and destroyed all serious competition for US industry for decades to come? That was one of the economically mo
52.
by loglog 10mo ago
Java has a solution for the thread problem: Scoped Values [0]. If only the logging+tracing libraries would start using it... [0] https://openjdk.org/jeps/506
53.
by loglog 10mo ago
"Private equity generating rental income" is a lie fed you by the rich lobby. The real reason (everywhere in US and Europe) is zoning, which is a subsidy to the owners of existing buildings at the cost of everyone else.
54.
by loglog 11mo ago
I estimate the fraction of carbon removal cost wasted to regulation at 100% rather than 50%. Regulation must be truly insane if producing synthetic oil and pumping it underground is somehow more appealing than not extracting the equivalent
55.
by loglog 11mo ago
While the `Optional` API is generally pretty inconvenient (compared e.g. to Kotlin), it does offer the more precise `ifPresent`.
56.
by loglog 11mo ago
Java checked exceptions suffer from a lack of generic exception types ("throws T", where T can be e.g. "Exception", "Exception1|Exception2", or "never") This would also require union types and a botto
57.
by loglog 11mo ago
> Breaking off pieces of the code into microservices ... I was with you until "into". Then continue with "Maven modules" (or Gradle modules, or some other kind of modules) and solve some real issues instead of imagina
58.
by loglog 11mo ago
1. The article states "In 2023, the UK produced no commercial ships at all." It does not consider military ship building, which still exists in the UK. 2. Given the scale of problems described in the article, it is probably easier
59.
by loglog 11mo ago
The conclusions of the FT article are completely wrong. With fewer rich people around, chances are that legislation would be less frequently bought to benefit them at the cost of the country's overall prosperity.
60.
by loglog 11mo ago
[flagged]

More ›