skysight-inc/HackerNews huggingface dataset:
Unfortunately, I cannot imagine modern Linux kernel getting slimmer.

We keep adding new functionality, so the kernel keeps growing. Maintaining multiple implementations takes effort, so the more generic one (and therefore bigger) wins.

And the worst part, all of those are useful things, for someone. Hotplug, firewall, multiple routing tables, kprobes, bpf, audit, NUMA etc -- those are useful things that deserved to be written and maintained.
Triple Net Lease (NNN)

https://www.investopedia.com/terms/t/triple-net-lease-nnn.as...

Think of it like owning the property that a popular Starbucks location rents.

Obviously, the retail landscape has changed irrevocably in 2020.
> This should not be a surprise to anyone who understands the purpose of the corporation. It is to create a legal entity that shields owners from liability.

True. But the owners are the shareholders. The bargain is if they limit their involvement to providing capital, their liability is limited to what they provided.

But the Slackers didn't limit their involvement to just buying shares, they ran the place. There are not just on the line for criminal activity, the banks could have made them personally responsible for money borrowed, companies made them responsible for NDA's, governments hold them personally responsible for things they sign like tax submissions.
Aren’t there rules imposed in F1 to keep the technology relevant to industry? Why can’t F1 evolve towards electric with new rules?
Dealing with some specialists feels like dealing with automated bots. They almost sound like they follow a script down to the letter. If A then prescribe B, then C. And almost never look at the big picture. And every symptom that happens they tend to shoehorn into their own specialization, and not realize that it might be an indication that the problem lies elsewhere.
Why You Should See Race
Right, I should have clarified that. I don’t buy into any of the oxygen super charging alkalinity stuff - I just value it for the immediate practical effects it has had. I wouldn’t encourage anyone to give it a shot for any reason other than “you’ll probably feel pretty good”.
I wonder if HyperV is supported...
my wealth has given my kids an unfair advantage over their peers. A poor kid is reading about polar bears in a 1985 World Book encyclopedia while I take my kids to Churchill Manitoba to see them in person.

Congratulations. You have done your bit to increase carbon dioxide emissions for a very dubious educational outcome.

Makes me wish you had studied a bit harder.
Solid advices here, and I amazingly realize that I almost fit all of these above, cool for me, but I may also need a glasses for more protect in the future :)
Europe does not exist in the relevant sense. Germany does not exist in the relevant sense which is why this is so hard. Start up ecosystems are highly localized, like any other knowledge worker employer ecosystem. Silicon Valley managed to spill over as far as San Francisco and the rest of the Bay Area. LA is as tightly coupled to that ecosystem as Boston, New York or Montreal. You can’t evenly divide an ecosystem. In the EU it looks like Berlin might have one, maybe. Europe won’t. The closest you could get would be a border spanning metro area, like Aachen or Strasbourg.
They're suing for damages (to them, Apple) because of reuse in lieu of recycling. Not including the money they made. Apple believes this act damaged them. The connection is laughably obvious. Unless Apple shipped unsecured private or proprietary information on these devices to the recycling company, I don't know what other possibility you can think of. Your counterargument is a resale market entirely controlled by them wherein they can pick and choose every item.
vim for editing, emacs org mode for scheduling, tracking habits, tasks, tracking my time spent on tasks and taking notes
“Recycler gets sued by Apple for 31M DOLLARS for reusing instead of recycling ”
No, companies wouldn't behead people. That's silly. It's way too messy and doesn't scale.

Terrorist companies would be smarter than that. Sell and market a highly addictive, deadly drug, and profit from it making it look like it's all above board.

Then they blame the users for getting hooked on it on the first place after getting the doctors to prescribe it heavily using kickbacks. And thousands upon thousands of people die.

https://www.newyorker.com/news/news-desk/the-sackler-familys...
Shouldn't F1 cars be about finding the peak of a X engineering problem. For electiric's it's not as much about speed but battery. Maybe having hyper-miler distance races that aren't speed oriented is the sort of pivot F1 should be doing? I know it's not sexy like a fast car moving nimbly among the pack but if car companies can get their tech focused on getting the most distance from a battery then there's the cross over development that can flow to the mainstream.

But I know, watching a slow race is a big ask.
Widely used CLAs vary on the copyright assignment issue. The FSF requires one, but for example the pattern originated by the Apache Software Foundation and also used by many corporate open source sponsors including Google does not. It does, however, grant them permission to use and relicense/redistribute your contribution outside the bounds of the Apache license that other recipients get.

The copyright assignment does make GPL enforcement easier by having unified copyright, since courts might require that the plaintiffs in a case own rights to a certain percentage of the work or the specific bits being infringed. But there are certainly tradeoffs involved and not all GPL-based CLAs do this.
> I don’t understand why EVs can’t have their place as personal and commercial vehicles and racing can keep ICEs in competition vehicles.

I'm sure ICE racing will continue in one form or another, but Formula 1 is enormously expensive; manufacturers justify it in terms of the prestige it brings them and the R&D work that can trickle-down into road cars. If the engine technology is completely different then both of those benefits become a lot more questionable.
This page:

https://www.straightdope.com/21341613/who-decided-red-means-...

Argues that using "red" for danger dates so far back into history as to be a signal of danger for essentially all of history.

The rest of the page argues that the colors for traffic lights was derived from railroad signalling, and that railroad signalling originally used red for stop, green for caution, and white for go, until a major crash resulted in a change to red for stop, yellow for caution, and green for go.

As for electronics devices, those designing them probably just used what was common (traffic light colors) for their color choices without giving anything much thought. Also remember that the first visible light LED was also red, which likely further contributed to choosing "traffic light colors" once green and amber LED's became available.
Disagree. I think he's a coward.
> Which is why Silicon Valley is in California

It is absolutely why Silicon Valley is in California. As someone who lives in a state where non-competes and non-solicits are strongly enforced, they completely stifle new company formations. Just look at the "founding" of Silicon Valley with Fairchild Semiconductor, the "traitorous eight", and Intel. Those stories would be impossible with enforced non-competes and enforced non-solicits.
These are not "left leaning activists". They're fuzzy, well-meaning liberals who may be right.

You would not like what the "left leaning activists" propose if you are upset with the mild reforms proposed by these people.
That seems true of many jobs, like programming. Become good enough and eventually you get promoted to manager, director, VP, C-level. You might have loved the joy of programming and making something yourself at some point, but sooner or later most career-successful programmers will become administrators or operators.
The trick here is the federal government invests in this infrastructure using debt/bonds. The expectation is that there will be a return on this investment. Jobs are created or whatever, there's future increased tax revenue. Now you have more money to maintain the old infrastructure and/or build new. The fact that in this case the debt is incurred is at the federal level doesn't change the system. It's expected to result in greater federal taxes in the future.
Current-F1 KERS drives the wheels directly AIUI.
Could Apple do that? The project is distributed under GPL3.0 which allows for commercial use, but apart from that they're not using it in any way that could be detrimental to Apple's business.
You've confused utility with wealth.
I can’t find any good information on implementing a fastcgi compliant server. Does anyone happen to have information about how to do this? I think it would work well for some applications I have and I can’t find anything to increase my know how to take in incoming fastcgi requests. Think nodejs in particular but language agnostic documents would be best
> I started to make connections between concepts and applications, recalled that day as one of my best days of my life and changed my way of thinking in a good way, forever.

Interesting.

Did you continue to feel that way after the episode?

People with ADHD often get racing thoughts and are restless. Also it's possible that you had some insightful moments at the time.

When things connect or we're making progress, we tend to feel happy/euphoric.
So what is the reason that the doctor recognized the above as bipolar type 2?

When does "feeling optimistic" end and where does "bipolar" start?
Netflix is lots of Linux and lots of FreeBSD. The Netflix FreeBSD network stack also has various optimizations (we call it the "rack" stack). I've seen a good presentation on how it works, by Randall Stewart, but I don't know that it's public yet.
Does someone have some screenshots for what it looks like under linux? In particular, how are the menus handled?
$1200 one time was laughable. CERB in Canada was $2000 a month for months on end.
> A first step might be to expand the European University system to handle the influx of Graduate students that were previously headed to the US. Give funding, poach the frustrated non tenured profs from the US.

There is no European university system. There’s a French one, a German one etc. They all pay much, much worse than their US equivalent because they’re substantially poorer than the US. Remember, if Germany was a US state it would be poorer than every state but Mississippi. And this probably understates the difference. By average household consumption the US is $10,000 ahead of Switzerland, number 2 after Hong Kong. The money to massively increase research spending isn’t there.
Seems to me that should be ok to have a class where teams can throw money at it without real limits. Sure, that shouldn’t be everything, but if they want F1 to be the fastest, fanciest stuff possible, restricting investment to improve competitiveness doesn’t seem like a great move.
> Reinventing the wheel is generally said to be something to be avoided, but there’s quite a bit to learn from actually doing it. It made me realize that I didn’t understand it as well as I could implement it from scratch.

I wrote a bitmap image library in C a few months ago and when I realized that I was in too deep I just kept going because I can never abandon a project I start.

I felt bad when I came out the other end because of all the time I spent on it that I could have spent doing other things and because I could have just taken a library off the shelf.

In doing the exercise I did realize that what appears to be a simple and straight forward image format, at first glance, is actually ambiguously defined and full of edge cases. There was no way for me to know that when I started.
> Does it support GUI apps? Almost!
I don't see how programs like Thomas Jefferson High School will do much in bolstering the overall public education system. The program is ostensibly to give students with demonstrated aptitude, and an interest in STEM a dedicated environment to excel in. However, to what extent it fulfills on these goals, I would say is debatable.

But as for the general quality of US public education, I would think that to whatever extent TJ succeeds at its goal, they'd be irrelevant simply by magnitude. TJ, whilst a high performing high school, is one high school among many high schools, in a county among many counties, in a state among many states. Regardless of TJ's individual performance, they're averaged out when looking at aggregated numbers. If the goal is to generally increase US education quality, I would think programs like TJ, which are by nature exclusive, won't be successful.
Most likely we would cuddle more. As explained in Minute Earth's video: https://youtube.com/watch?v=c6Ko0Hzi47U
Fair point! MagSafe 2 was introduced in 2012. 6 years after MagSafe 1, and 5 years before USB-C. 6 years is double the median lifetime of a laptop in that period IIRC and MagSafe 2 was ditched for a charger that is included on many other devices, so it doesn’t really cause the same churn.
"I’m not sure what was the key component, but one of them was that every single person was there by choice.'

I can tell you for a fact that wasn't true then. It likely isn't true now. I was forced by my parents to apply for admission to TJ and was accepted. I ultimately refused to attend despite the great pressure from both my parents and school officials. I know several people who were in the same boat as I was but gave into the pressure and attended hating doing so. This would have been during the same time period you attended.
I actually think we'll see a bit of shuffling and RedBull will end up with either an official Mercedes engine (i.e. Mercs will drop Will-- sorry, one customer, to replace them with RBR) or a funky rebranded not-officially-X-but-basically-the-same engine. Horner and Marko seem to have burnt "one bridge too far" with Renault, Renault themselves suggested that they would take RedBull as customer only as a last resort and if forced by the rules.
> how can one think both of these things: drugs should be legal

Easy. In Australia cigarettes are legal. But advertising or indeed any form of promotion (including attractive packaging) is not. If Oxytocin were legal was legal in Australia in the same way tobacco is, the Slackers would have had their arses hauled off to jail ages ago.

Granted, the USA doesn't seem to have reached the same common sense compromise when it comes to legalising cannabis. You seem to go from mandatory jail terms for anyone who touches the stuff, to full on "government get out of my way so I seduce every sucker I can find into full on addiction".

There are some aspects of the USA I fear I will never understand.
Kauffman has some papers with Buliga about graphical lambda calculus -- it seems like it's working with the string diagrams for a reflexive category, but with some extra goodies from an algebraic structure.

I was about to say "oh, you found a quandle/rack in the lambda calculus," but it seems you're already aware of this, given some of the filenames in your repository :-) In the Buliga/Kauffman papers, there are sections about representations of knot crossings as lambda calculus, which presumably forms a quandle (actually, probably a rack). Could you direct me to how your @ operation works? This seems very interesting.

I recently added quandles/racks to mathlib[1], the Lean standard math library. I think mathlib has some lambda calculus formalization, so it might be interesting adding a quandle instance for your operation.

[1] https://github.com/leanprover-community/mathlib/blob/master/...
Formula E has a 25 year-long exclusive license for single seaters on electric. That doesn't rule out the possibility of a merger happening at some point in the future.

[https://www.racefans.net/2020/06/18/formula-1-formula-e-merg...]
I think it's a compression artefact, if you cover/ignore the figure of Trump you can see the flag changes every few seconds. I believe the odd moment after Trumps ays 'therapeutics' is just just an involuntary spasm, like a suppressed cough or belch.

I have worked as a pro video editor and cut a few feature films; not an expert editor but definitely competent. I watched the video when it came out but didn't go over it in great detail, partly because Twitter's video compression is pretty rough to the source material so it doesn't seem worth trying to do forensic analysis.
I think the insinuation is that in order to run iOS apps, one would necessarily need to infringe on Apple's copyrights.

But that's not necessary. There is open source code at the base of macOS and iOS, and it's only that being used currently. Even to go further and create a full clone of iOS would be fine, if (and only if) a "clean room" implementation were made.
CERB was a temporary alternative to EI (what unemployment benefits are called in Canada) for people who did not qualify for EI. It was not given to everyone, just to people who lost their jobs due to COVID.
CloudFlare's slowness is extremely surprising to me. From my house in Greece, I get a one millisecond ping to 1.1.1.1 (devices in my house have higher pings), so I was assuming that would carry over to their caches.

Too bad about that, looks like I'm going to have to rethink my setup of having them cache my site on their edge.
Seems like random specialized knowledge rather than a measure of employability.

In other words, could a competent engineer write shell scripts well yet not have encountered that specific feature?
In the absence of anything better:

https://ubuntuforums.org/showthread.php?t=2091148&page=2&p=1...
> Q: Does it support GUI apps?

> A: Almost! This took us a lot of time and effort, but we finally have basic experimental support for running simple graphical applications. It requires some special setup for now though, so do not expect it to work out of the box just yet.

GUI support seems not to be ready yet, but when it is, it looks like they're using cocotron, so it'll look something like any of the examples you see on this page: http://www.cocotron.org/Examples/
> watching a slow race is a big ask.

Above non-ridiculously low speed wouldn't the relative speed among cars be more important for entertainment?
Anybody in tech, and especially information technology, should be able to find something fascinating in F1. Winning an F1 race requires a huge amount of data processing, both for the operation of the race car itself, as well as for the simulations of race strategy in realtime.

The teams bring enormous amounts of equipment to each race. Obviously a lot of that equipment is wrenches, screwdrivers, and related machinery. But every team is bringing essentially a portable datacenter to each race:

The car has around 300 sensors and the SECU monitors over 4,000 parameters. During the course of a typical race the car will transmit around 3 GB of telemetry data as well as around 4 GB of logging, however this is just the seed for computation. When processed and combined with other sources such as audio and video analysis it can mean a team leaves a typical race weekend with over a terabyte of valuable data — data that is drawn on again and again before and during future events and seasons.
-- https://www.eetimes.com/the-importance-of-electronics-in-for...
> We (https://vcvrack.com/) do this

SolveSpace (https://solvespace.com/), 2D/3D CAD app, actually also is dual licensed (GPL+CLA Sign).[0]

Initially SolveSpace v1.x was commercial proprietary[1] (including v1.8), since v1.9 it was unrestricted freeware proprietary[2] and later v2.0 released as FLOSS GPL-only licensed[3].

Few years ago CLA Sign was added by a former maintainer[4] (who bought rights for commercial/proprietary usage of SolveSpace project code from Jonathan Westhues[5]) and now it is riqured to sign CLA for contributing to project source repo on GitHub which is fully covered by GPL license[6] — this is a sorta of something wired looking for me, but idea of dual licensing (such as used for SolveSpace, VCVRack, Ardour, etc.) actually is maybe the best compromise between FLOSS & commercial proprietary software worlds.

[0] https://github.com/solvespace/solvespace/blob/master/CONTRIB...

[1] http://web.archive.org/web/20111228141027/http://solvespace....

[2] http://web.archive.org/web/20121126031632/http://solvespace....

[3] http://web.archive.org/web/20201004063615/http://libregraphi...

[4] http://web.archive.org/web/20201005020156/https://github.com...

[5] http://web.archive.org/web/20100109235957/http://cq.cx/index...

[6] https://github.com/solvespace/solvespace/blob/master/COPYING...
I'm kind of curious what non-GUI Mac apps exist. The built-in system utilities maybe? CUPS and Webkit both run on linux natively.
>there is a current increase in the monitoring and criminalisation of muslim activities in France, my guess is that the police wanted to spy on someone and found out that the logs had not been kept.

Inconveniencing the police is a surefire way to get prosecuted to the fullest extent of the law.
Indeed, Pluto is an interesting one for a number of reasons. One is that much of the commotion came from the fact that the word planet is very much a cultural concept, and a scientific body was attempting to redefine the word for everyone. No one would have cared if it was simply a scientific term - if Pluto was now classified as a spacial object type C instead of a spacial object type B.

Another is that the reason why the IAU decided to change the definition appears to have been for cultural reasons as well. Astronomers discovered other Kuiper belt objects. This included Eris, which was more massive than Pluto. They'd either have to tell people "There are more than 9 planets, and we don't know how many there are," or kick Pluto out and continue the myth of the simple solar system (with one fewer planet now). So they went with the more conservative option, by creating a new definition of planet that still isn't formally defined, and by explicitly saying dwarf planets aren't planets. Eris was discovered in 2005, the new IAU definition of planet was agreed upon in 2006.

It's worth noting that prior to this, the IAU didn't even define the word "planet," it was a popularly defined term. So there's an element of asserting control over something outside of their purview simply because they objected to the cultural connotations.

Here's an interesting article from the time that shows some of the thought that went into this[1].

[1] https://www.nature.com/articles/news050801-2
Yes, that's the whole idea. Pi is infinite, so if we ever get to the end of pi or it starts repeating, it means whatever is simulating our universe has finite resources. There are a lot of issues with this idea, but I like it. I doubt we'll ever find the end of pi, though.
There is recent precedent that APIs are copyrightable.
Plenty of Apple-provided utilities like diskutil, hdiutil, etc.
I've seen many developer hours go into meetings to decide if we should use Redux, and individual developers sent off on investigatory missions to see if they could shoehorn an existing React app's state into Redux. It feels like everyone thinks they "should" be using Redux, but in practice it takes time to do the refactor, and time isn't free.
I wonder if some examples of this notation were etched on a metallic plate which we send to outer space, would the extra-terrestrials figure out what their meaning is?
The US also had a $2400/mo unemployment benefit, like CERB but more money (and in USD not lower value CAD).

Of course Canada has other benefits like socialized medicine.
I have glasses with Blutech applied and have used them for a couple years. The lenses are actually kind of orange, it isn't just a coating.

I can't say I really feel any difference day to day, but I do like them and feel they're more comfortable for a long day in front of the screen. If I could do it again I'd probably opt for a less noticeable coating. I get a lot of comments saying they look like "gunner" glasses.
One thing I have never understood (and haven't looked into) is how can Linux be so portable, when it was specifically built with x86 in mind?