skysight-inc/HackerNews huggingface dataset:
At the extreme end of this you get category theory, with Mathematicians affectionately refer to as "abstract nonsense".

I checked the homepage of nLab and found this description [0]:

> This is a wiki for collaborative work on Mathematics, Physics, and Philosophy — especially, but far from exclusively, from the n-point of view: with a sympathy towards the tools and perspective of higher algebra, homotopy theory, type theory, category theory and higher category theory.

And following to the description of n-point of view:

> In particular, the nLab has a particular point of view, which we may call the nPOV, the higher algebraic, homotopical, or n- categorical point of view.

So, nLab seems to have made a very deliberate choice to cater to the style you are talking about.

I think your complaint is more valid for Wikipedia, which seems to want to be more general purpose. However it is not specific to math. Most articles on Wikipedia have a tendency to assume a high level of subject knowledge on the part of the reader.

The math community is well aware of the pedagogical concerns. You don't see category theory until grad school, where it is taught with the assumption that you are well versed in many concrete instances of categories.

You don't even see abstract algebra until the later mart of a undergrad math major. Again, it is taught with the assumption that you are already well versed in several concrete instances of the algebraic structures.

If you get a math textbook, you will find that they almost never take the most generic approach; and instead tend to take the most concrete approach that would cover the subject matter.

[0] https://ncatlab.org/nlab/show/HomePage
thanks for posting about this - this really looks incredible!
>You can't gauge Australia's general policymaking from what was an unprecedented event in our history, we were in a state of emergency, it can be hard to get every decision right in such a situation

That is the perfect time to judge people. If somebody is willing to abandon their principles when it is a challenging situation then you can't trust them. Anybody can stick to their principles when everything is going well.
I just ordered the length I needed from fs.com. Granted I only have a single run between 2 switches home<->garage. I ran the fiber in a PVC conduit. Put a 4”x4” pvc junction box in the run with a couple feet excess coiled inside because my measurements were a little off.

At the termination of the runs I have fiber keystone jacks and I can extend/replace the last bit if I need to move equipment.
Expeience makes you better at not programming the wrong thing. It's how we old farts keep up with young folks who have more fluid intelligence, time, and energy.
Which is why protocols like TCP are built on back pressure - so you don’t keep making the exact same mistake in a tight loop. Happy path behavior doesn’t matter when the worst case or even median case are nonfunctional.
I think it's a good example. Regulators had failed to note the issue despite years of reports (even considering the typical noise). NHTSA closed multiple investigations on the subject and even downplayed their findings when the investigative reports were released.

I used it as an example mainly because it's so public and the underlying causes were so egregious, not to make a specific comparison with Tesla's behavior.

I've actually filed whistleblower reports in the past (not at companies I've admitted a public relationship with on this account, if you want to check) that didn't lead to anything as far as I'm aware. The bar for investigation is apparently higher than my personal limits.
In addition to QUIC, KCP [1] is another reliable low-latency protocol that sits on top of UDP that might be interesting. And unlike RFC 9000/9001 (QUIC), encryption is optional. I haven't really seen it mentioned much outside of primarily China-focused projects, like V2Ray [2], but there is also some English information in their Git repo [2].

[1]: <https://github.com/skywind3000/kcp>

[2]: <https://www.v2fly.org/en_US/>

[3]: <https://github.com/skywind3000/kcp/blob/master/README.en.md>
Show HN: I have collected/parsed 19,442 software engineer jobs
If you're not trying to log in, what's the problem?
I started to like Go's code generation approach.

Code generation make you very productive since IDE's auto-complete and code search works perfectly and snappy with the generated code.

The only complaint is that it tends to make noise during code reviews because they include autogenerated code too.
Partial indexes are also very handy for wide tables in Postgres.
LARPing welfare queens OFC.
The problem I see is that even though managers have a different skillset, they have out-sized influence on technical or technically related decisions. And a lot of times it's more than just influence; They just make the decision themselves.
AT&T does too for prepaid cards. If you pull the card out of an iphone to try it in an Android or vice versa it blocks the card.
Google already does that.
Recruited by MI5: The Name's Mussolini. Benito Mussolini (2009)
> “Maybe one person doesn’t have a case, but two people do.”

Except they don’t have any way to contact each other, or for anyone else (like the police) to contact them… so how exactly are they going to have a case?
> each engineer makes more than 1M per year on NET revenue.

This is dated. More like 1.25 or 1.5 million.
Not emeralds?
Engineers at Twitter, not Musk.
> one that has been strangled at the neck by Apple and sold in a fire-sale to WordPress developers (Tumblr)

Again, the porn ban at Tumblr was already in the works months before Apple delisted the app over CSAM issues - that just accelerated the implementation.
Rather than wait for them it's better to do analysis and be predictive.

http://jongerow.com/12VHPWR/

The truth is the plug is more demanding and expensive than lower density options and it's dangerous when corners are cut. This is always true in power electronics, but the risk surface area is higher with a new and demanding connector.
Thanks, that's great!

However, I don't think it's usable for my purposes. The one on p. 4 (figure 1-2) is fake, but there seem to be others that are real, like figure 1-6 on p. 13. Some of the others look wrong: the Edit dialog in figure 2-3 on p. 26 is pixelated as it should be, but seems to have resize corners of the wrong shape, extending not quite far enough along each edge. And in figure 2-6 on p. 28, there's what appears to be a real screenshot, but it's been edited to include a broken line. The curiously symmetric-looking pushpin in figure 4-7 on p. 69 seems to be missing its right edge; was that a bug in some version of XView or in the manual? The screenshots in figure 5.4 on p. 92 are totally fake and contain many errors, such as window borders that are the same thickness as resize-corner borders rather than twice as thick, scrollbar arrows that are not vertically centered in the scrollbar slider, solid black scrollbar cables (missing the proportion indicators), and missing cursors in the text windows.

Overall I don't feel like this manual is a reliable source for what XView widgets did or didn't look like. So when I see anomalies like, for example, the "Quit" command button in figure 3-1 (p. 45) which has a roundrect shape but with a corner-radius less than half the button's height, instead of exactly the button's height like other command buttons, I don't know whether that's a distinction between regular command buttons and "panel buttons" or just an error.
He’s also just plain wrong about not being able to maintain connections with people who are left behind.

a friend of mine lost his phone and was not able to recover his phonenumber. as a result he lost contact with hundreds of people and was not able to restore that contact to most of them.

and that's not the first time i heard about that happening. in china supposedly relationships have been destroyed because someone lost their wechat access, and definitely friendships have been lost.

this is my nightmare scenario. there are so many people i am in contact with through only one mode of communication, and if i were to lose that i would have no chance to ever get back to them.

i don't even know how many people i lost when my email addresses stopped working. because i didn't just want to blast out a global notice to all my contacts. of course there the important ones i could inform about the new address but the less important ones are gone snd they have no way to find me.

i am struggling to establish alternate contacts (like get the email addresses) of people to avoid that nightmare scenario for myself.

so no, i don't think he is wrong about not being able to maintain connections with people who are left behind. maintaining connections across multiple modes of communication is extremely hard.
Eventually, Borland came out with the Turbo Debugger and Turbo Assembler, "only" $100, which was a steal compared to Microsoft tools.
as a med student, i'd 100% pay for this service if it can take my in house lecture ppts as input
"Specifically, Homa aims to replace TCP, which was designed in the era before modern data center environments existed. Consequently, TCP doesn’t take into account the unique properties of data center networks (like high-speed, high-reliability, and low-latency). Furthermore, the nature of RPC traffic is different - RPC communication in a data center often involve enormous amounts of small messages and communication between many different machines."[0]

0: https://www.micahlerner.com/2021/08/15/a-linux-kernel-implem...
Ask HN: What does your mental model of programming look like?
Every engineer has a mental model of the discipline they practice in. A car mechanic has a mental model of how and where to start when someone brings in a car for repair.

Similarly each programmer has a unique mental model of how they approach solutions to a problem. How do you do it? Do you have a mental algorithm for the entire process from the start to the solution and subsequent refinement?
Yea. So its super-bad for a class of people highly likely to want to try it.

I wrote my bit solely because of the intersection of 3 kinds of HN reader

1) skims subject doesn't read article (I am a serial offendor but I did read this one)

2) has bad lifestyle choices or age or predisposition from picking bad genes at birth (I might strike out on all 3)

3) will try anything, self-medicates, and sits back to see what happens (I am not in this set)
> What is the essence is computing?

According to Ken Thompson and Dennis Ritchie the essence of [communal] computing are fellowship and close communication.
Why does getting free food mean you are spoiled? Sounds like you are just bitter that other people have better jobs than you do.
It seems like this sort of overhead is exactly what Musk is planning to jettison.
Didn't they increase the character limit of tweets?
I still create one liner batch files using copy con <batchfilename.bat>
Ultimately one server cannot inject more than one link worth of traffic (e.g. 100 Gbps) into the network which is a tiny fraction of total capacity. Researchers have gotten really good results with "spray and pray" for sub-RTT flows combined with latency and queue depth feedback for multi-RTT flows.
That's especially amusing considering how if you view Go as a visual problem, it's beyond trivial compared to what is required to safely operate a motor vehicle (even just visually).
It'll end up being a TikTok mirror, just like YouTube Shorts

Vine died because Twitter demography is more politics than creativity
And we could totally construct systems that take some approximation of a global internet state into local routing decisions. But that might devalue some incumbent player's position in the market (or create a new privileged set of players) so even if we made a POC, it wouldn't get adopted.
Selenized! Is also well thought out and available for the terminal, IDEs, vim, tmux, etc.

https://github.com/jan-warchol/selenized
The plastic straws were for virtue signaling. A bar near me put up signs in the bathroom with pictures of sea turtles advertising that they no longer use plastic straws. Outside the bathroom, the AC units were running (completely on and running; not just the fan) along with household electric space heaters. Outside the building, it was snowing.

The plastic bag laws are because municipalities don't want to pay to haul as much garbage and so seek to save themselves money.

I don't know what "cups" is but so far, none of it is honest.
Could we get the title replaced to match the document, rather than the cliched, bombastic "It's time to ..." formulation?

Ousterhout actually wrote:

> We Need a Replacement for TCP in the Datacenter
> It wasn’t a big deal to just write a simple C program to make a program with a GUI, even if it was a bit ugly and crude. These days the few times I’ve tried I just give up: too many abstraction layers, too much complexity, too high of a learning curve wading through poor documentation.

That is correct, if you want to write your program using C (or similar), but if you want to do simple GUI programs, there's enough support in existing c/line programs. Use zenity, wmctrl, etc.

Here's a basic pomodoro clock written in bash: https://gist.github.com/lelanthran/bbbcf5c8b6b26c9bc0263384a...
Grapefruit stops your body from metabolizing statins. This can lead to a toxic buildup of statins. CBDs can also have this side effect.

I’m not a doctor, but it seems like you’d need to have a lot of grapefruit in your system over an extended period of time to make this a problem.
They tell their engineers to interview those people, then make hiring decisions based on aggregated and distilled feedbacks from those engineers.
I can't fault Ousterhout for writing in support of a new(ish) idea but his language here went to "forbidden" when in fact it's just "strongly disliked"

TCP the protocol knows how to re-assemble out of order. What I think he's doing is making it a higher task to do it, outside of the protocol, or else providing some mechanism in user process space, amenable to threading.

I can believe an async model of "tell me when this is complete" would work well with a bitmap/bloom filter type gate on what "has to be complete" to proceed.

I like his writing. I was a fan of tcl/tk and used expect heavily back in the past.
I think it is usually assumed that people talk about 35mm equivalent focal length[0].
[0] https://en.wikipedia.org/wiki/35_mm_equivalent_focal_length
The concept you want to understand is Global Server Load Balancing (GSLB).

You can get a taste by perusing through Route53's DNS routing policies.

https://docs.aws.amazon.com/Route53/latest/DeveloperGuide/ro...
Only ~8% of prisoners are incarcerated in private facilities.

https://www.sentencingproject.org/publications/private-priso...
I think that tech co’s have a hard time identifying competence because it almost always comes top down from the manager, who usually spends most of their time in unrelated-to-tech meetings. What I don’t understand, is why isn’t competence strongly ascertained from other engineers on the team. Among my teammates in an extended 15 person team, it is very obvious who the high and low performers are.
Would they be where they are without him?
What incentive would Twitter or Hacker News have to support the protocol?
KCP uses a brute force congestion control algorithm that is unfair and inefficient. It is also poorly specified, which is probably why it is less commonly used outside circumvention circles.
Guide to Transient Astronomy
and the public does what for the next 20 years before that reaches beta stage?
Sounds good to me. I hope he jacks up the prices massively too.
If you want to understand how much of a basket case China is, read up on china's LGFVs and their off balance sheet local government debt. IMO China is going to be way poorer in 2040 then it was in 2000.

And the authoritarianism is just getting started. It's certainly not going to get better as the economics crumble
They are doing exactly what Tesla isn't willing to do and are being responsible in exactly the way Tesla isn't.
I keep in touch with most people by texting

SMS is very bad at groups, and the most effective way to stay in touch with friends for me is groups where we talk about shared interests. not everyone needs to engage but everyone can read and is thus kept in the loop. there is no problem for the more silent types to engage only once in a while whereas in one on one they would almost never stay in touch.

i use one on one almost exclusively for transactional messages, where we have to exchange information of some form, but rarely for just personally staying in touch.

so at least for me it's not social networks that are the ideal, but groups.
Not the AT I was expecting.
Your comparison is a little short sighted because your example would require fleet * additional sensor entropy rather than fleet on itself. And if fleet on itself is adequate then anything extra is simply inefficient at best.
If you host your DNS via route53 (that's the DNS product provided by AWS) you can do this trivially.

Other DNS providers such as Dyn, EasyDNS, and similar will let you do it.

Google "geo dns" for examples and to get started.
I am also not a doctor but I believe this problem may eventuate with remarkably small amounts of grapefruit, like one. If you ate one at breakfast, had no other food in the stomach and had just had your meds, this might be a problem.
https://www.cnbc.com/2018/04/11/elon-musk-says-he-is-sleepin...
link to actual launch, with vid demo & UI images: https://tinyurl.com/reactlaunch

would love any feedback on the demo and UI! (if you can't download it)
Make Believe
Stealth Networking and Hypersegmentation with Shortest Path Bridging [video]
I get what you're saying but I don't think it's that depressing or surprising, but that's a big discussion better had in other places.
I wish mine was this one:

abstraction arrives by god knows what glorious mechanism.

after a few iterations for bad typing, I arrive at a fantastic solution.

My method is more like this:

I try the 3 brute force hammers I know for most problems, typically in a UNIX pipe sequence of pre existing commands, written in different languages so sed, and awk, and cut, and python and a few specific C binaries might be there.

I then re-write this about 10 times, before recognising I did it between 3 and 10 years ago, better.

My personal experience is that watching better programmers suggests behind the scenes they do a lot of iteration before surfacing with that beautiful abstraction but a very small number have intuition closer to it, and arrive at solutions with strongly typed, DLS like models of the world which seem to work very well.

They think differently.
I'm sure this is news to many and I won't claim that this doesn't belong on HN (if it's upvoted then it's useful), but I feel it's important to point out that this is not a recent development:

> Partial indexes have been supported in SQLite since version 3.8.0 (2013-08-26).
The defining slogan of fascism is “Everything in the State, nothing outside the State, nothing against the State”.

Bolsonaro tried to reduce the size of the state, in direct contradiction with that.

Please list concrete actions by his government that can be reasonably characterized as “anti-egalitarian” or “militaristic”.

In fact the military in his government was mostly used in the process of helping Venezuelan refugees escape their country into Brazil.
Use Miyazaki as the designer, and the little lantern from Spirited Away.
> sufficiently capable AI

And Tesla lacks that, so therefore they ought not simply rely on cameras and ought use extra auxiliary systems to avoid danger to their consumers, they are not doing this because it reduces their profit margins, alas, this hn thread
Disregarding everything else about your post, which was better addressed by others, I'm amused that you think the FSD being twitchy reflects safety.
Wouldn't burner sim be enough?
A good-faith interpretation would be that "disturbing" is meant more lightly than that. It's more like saying use of tabs (or spaces) is "disturbing". It is a cultural disagreement on surface level, but not _really_ a disagreement if you were to probe further (I doubt the author thinks people are literally disturbed if they use soft quotes).

Further, if you check my sibling comment you'll see that it is a common mistake for beginner/intermediate coders to paste these quotes into code. This is the source of the "cultural debate" in this instance. They are making a judgement about how this common copy/paste problem shows up in practice. Not a judgement about "proper usage".

It's honestly a little surprising that you took this so personally. It reads rather playfully in my opinion.
Hacking with an SMS controlled HVAC system and I clicked the link with probably similar expectations as you.
> corporations don't see any "immediate shareholder value", so they sit around happy as pigs in shit with the status quo.

This is ridiculous.

Hyperscalars see an immediate ROI from efficiency/reliability improvements and actively invest in TCP alternatives all of the time. It's just really hard.

Networking companies see an ability to differentiate their products from their peers and work on this kind of thing as well. I did a 3 second google for "QUIC acceleration Mellanox" and got a hit on Nvidia's blog right away.

You just can't trivially replace something with an investment totally 50 years of clock time and thousands of years of engineer time. It will either take a long time or a massive shift in needs/technology. FWIW, I wouldn't be surprised if the high-performance RDMA networks being put together for AI workloads were the thing that grew into the "next" thing.
Ask HN: Why has the comment section become so pessimistic?
I've found that HN has become increasingly cynical, and I'm trying to understand why. Not snarky; serious question.

Is it simply because being pessimistic makes you sound smarter?
> but now I’ve moved on to newer themes

care to share?
Was the internet designed to survive a nuclear attack?
Let's presume no one has any coins yet.

A has mined some coins which B buys for 100 USD. Now A has less than 100 USD because the transaction costed something and B has 0 USD. Together they already lost money. This will only get worse. Let's say B can convince C to buy his coin for 1000 USD from, say, an interest free bank loan. Aye, B has 1000 USD minus transaction fee so they made a profit but C has -1000 USD. Altogether they are short on money.
What other Musk project ever went like that?

It's possible the way a galaxy in the exact shape and colors of a neon "Eat at Joe's" sign is.
Your way is more verbose, by two characters to be exact.
I think it's more like 1 employee makes 10M net revenue, and 9 employees coast on their success.
They also will know your IMEI the moment you connect to the cell network.
I would imagine some of Elon's bravado here is for people who are low-performers (who probably know they are) to either step up their game or to start looking for work elsewhere on their own. Not sure if it will be worth the costs - but I think its clear it has some benefit.
> humans can drive cars

Needs emphasis on can
You may not be wrong - however, what's your suggestion then?

Not doing these things?

IMHO, every little bit counts towards a livable future.
Ah! I use these all the time with PhotoStructure--it's great for "work-in-progress" rows that shouldn't be shown to the user quite yet (but I need the row added as I need to populate join tables with the primary key), or rows that are no longer relevant (due to files disappearing or becoming unreadable), but might return, so I'm not wanting to delete it quite yet.

The syntax looks like:

CREATE INDEX ON Asset (capturedAt) WHERE visible = 1;

And (like with any index and any RDBMS), you have to remember to include that column in any relevant WHERE clause for the index to be considered relevant.
Why isn’t there a no login moweb version of this ? Would love to check out before downloading the app
Genuine question, why? I have to use Windows at work and I am struggling with it.