skysight-inc/HackerNews huggingface dataset:
On a related note (2008 called, it asked about microblogging) if you guys have Twitter, what is your handle? Looking to expand my timeline too!
The 2017 paper [1] says that they "can handle most of seL4 even at optimisation level 2", presumably it got better in the meantime.

Also, it's not like code generation is the only advantage of using a well-supported, externally developed compiler. It's just the one I picked as an illustrative example. GCC releases improve code generation, general usability, diagnostic format support, profilers, etc., at a rate that would be hard to match for a niche language, especially without hiring a dedicated compiler development team.

[1] https://ts.data61.csiro.au/publications/nicta_full_text/6449...

[2] https://gcc.gnu.org/gcc-9/changes.html
> I’m putting that is almost a certainty.

Why? States aren't made of infinite money.
Template emails are the worst yeah.
"Yeah, we know it is wrong, but that single decision made 10+ years ago is too hard to change now without unknown side effects. Microsoft owns it now, so nothing too bad will happen"
I must object to your "puppet monarch" comment here. By the standards of 'puppetry' that we can discern from historic documents the Shah of Iran was no more of a puppet than a certain "poodle".

Do you always prefix "puppet minister" before say mentioning Tony Blair or any of the post Suez UK PMs?

People like you who in the tradition of "lingering propaganda" continue to cast calumny on the late Shah of Iran need to let us know what exactly is your definition of "puppet" and "overseas interests".

For example, "overseas" interests that held the alledged "puppet's" strings felt Iran choosing a path of industrialization was not acceptable in the 1960s. So the puppet gets industrialization support, including Iran's steel industry bootstrap, from the USSR. 1960s, btw.

"Overseas interests" also didn't want the oil producers from organizing and getting their act together. Wasn't the "puppet" one of the key figures behind the rise of OPEC? Remember that?
If we find a small enough situation where gravity stops working I wonder if there will be an inverse square law observed as they approach that level of tiny. Like half way between the size where gravity works fullest and the tinier size where it doesn’t work anymore is 75% less gravity.
I'm not sure that would be legal, would it?

I think there was a test case in 2015 that said you could have tests that a resident was not there just to claim benefit, but I think the point was that it was illegal to just completely restrict a benefit to your own citizens.
Comment from the other discussion:

bwb 1 day ago

I am in Spain and Bloomberg is just translating the comments of a far left party that has no ability to do that. Bad reporting.

https://news.ycombinator.com/item?id=22792359
MMT Is Here and It’s Here to Stay
That's weird, most schools offer one flat online cost, regardless of residency. That schools is woefully out of touch. Who is it?
It is NOT true that you have to be a US citizen to work for a US aerospace company. Your comment can dissuade people from applying to jobs. It is true that there may be certain projects within a company that you cannot work on as a foreigner, and because of that it can be harder to get hired. But there are many foreigners who work at places like SpaceX, NASA, etc. For "sensitive country" foreign nationals (you can Google for the list) it will be extremely difficult to get hired. People from other countries should still apply to job postings unless the posting specifically says it is for US citizens only.
conntrack structures can be multi gigabytes when sized to handle a hundred thousand connections per minute and upward. It can cache miss on connection lookup with each new network packet.

What is slower between memory cache miss and indirect jump? I do not know, haven't done a benchmark either.
Ask HN: How is your child's grade school handling the quarantine?
I've heard of several different approaches being used or at least attempted so I am curious what people think is working, or whether it is too early to tell.
The False Choice Between Lockdowns and the Economy
All my posts about contra dance: https://www.jefftk.com/news/contra

Bleach post: https://www.jefftk.com/p/bleach
I found a couple of old iPods in the bottom of a box in my closet a month or two ago. My kids were interested so I dug around until I found one of those 30-pin cables. Plugged it into my Mac; it worked fine. I transferred a bunch of songs they wanted and the kids have been listening to them since. For one of them, Apple even had a software update available for it.
I would just add that router memory is still pretty scarce and assigning more of it to multicast state is not going to win you any more sales. A bit of a chicken and egg problem there with regards to trying to use it at scale.
With EU’s declining population growth, UBI may very well be the way out of impossible retirement plans in the future. Something that IMO millennials in the EU will face sooner or later. I don’t claim to know all the economic implications of UBI, but I’m really convinced that as an EU citizen and millennial my retirement is questionable to say the least.
I actually build my blog with no coding. at first I thought it would be so thought but on trial, www.schoolinginfo.com seems easy and successful and I build it to were it is now without coding
https://news.ycombinator.com/item?id=22802793
Like the others said you want to know basic linear algebra and probability. Another thing very helpful in general is mathematical analysis. From elementary real analysis up through measure theory and Lebesgue integral, at least. From here a lot of advanced math will open up to you: for example, big-boi probability theory and statistics.

Here below is an intro to how math people think (FREE):

* Book of Proof by Hammack: https://www.people.vcu.edu/~rhammack/BookOfProof/

For intro linal and probability, try

* Introduction to Probability by Bertsekas, Tsitsiklis: https://www.amazon.com/Introduction-Probability-2nd-Dimitri-...

* Linear Algebra by Kuldeep Singh: https://www.amazon.com/Linear-Algebra-Step-Kuldeep-Singh-ebo...

Both (clear and easy to read) books above are on l#ibgen, I believe. Also, there's a free online course based on Bertsekas'/Tsitsiklis' book on edx if I recall correctly.

I prefer textbooks to online stuff when it comes to math (especially analysis). The many elementary analysis books that I know (and like) are print-only.

Although, you could probably do the following one after the other:

For pre-analysis, try

* From Calculus to Analysis by Schinazi: https://www.google.com/books/edition/From_Calculus_to_Analys...

For modern analysis, try

* Measure, Integration and Real Analysis by Axler: https://link.springer.com/content/pdf/10.1007%2F978-3-030-33...

The one by Schinazi is on l#ibgen and the one by Axler is available free.
https://genode.org/
I explained the negative consequences of just layering TLS on top in my comment already.

RFC3436 just makes pairs of SCTP streams (one in each direction) into a transport like TCP that TLS will run on top of. Each such stream-pair then does a TLS handshake.

That's not what QUIC does. The entire QUIC connection, however many streams and in whichever direction, is encrypted.

As a very simple example - suppose you spin up three parallel stream pairs to fetch three separate documents over a hypothetical HTTP-over-TLS-over-SCTP. With RFC 3436 you reveal to an on-path adversary that there are three streams, and they get to see how much data travelled over each stream. But with QUIC it's just an opaque pipe, the on-path adversary can see how much data was transmitted each way but can't determine whether that's one document in one stream, or ten documents in two streams or anything else.
Does he say that? Because it's very wrong -- economics of imperfect information has been a dominant theme of microeconomics for the last 50 years. They gave Akerlof, Stiglitz, and Spence the Nobel back in 2001. They gave a second Nobel in 2007 for mechanism design, which is on when and how you can design institutions so that imperfect information doesn't wreck everything.
> “The Chumby was introduced shortly after WiFi was introduced," Andrew "bunnie" Huang, Chumby's founder, told Engadget. "To rewind to those times, there were no smartphones, and if you wanted to use your computer away from your desk, it meant dragging an ethernet cord to your bedside."

The first PowerBook with WiFi was released in 1999. The Chumby in 2006.
In Canada we had the Douez v. Facebook supreme court case that, from my understanding, made forum selection clauses in consumer contracts unenforceable.
Mental Health in Self Isolation
We're about to test whether they are. If we somehow manage to print all this money and nothing bad happens, then why not?

I have some doubts about whether it can work, but if it does, we should think about the new economic reality.

At the moment though, I get the image of Wily E Coyote running over the cliff edge, but he hasn't looked down yet.
I pasted a couple of these into ShapeFactory's Duotone and got really nice results ( #3 https://duotone.shapefactory.co/?f=3a97d4&t=1a2037 ) For the curious, what their tool seems to be doing is: 1) grabbing a photo from Unsplash, 2) cranking down the color saturation to "-100" (essentially making it B&W) , 3) embedding it into an SVG and applyig a filter that leverages 'feColorMatrix'. Very clever.
Companies Cite New Government Benefits in Cutting Workers
True when you have all the dependencies already compiled. If you are working with it in Docker though, it needs to compile the whole shebang the first time you start it up. It usually took 3+ minutes to get the day started. And any time an additional library was added to config, had to be restarted again.

As opposed to something like go, which compiles in seconds typically. Naturally, different folks will have different experiences depending on how it's used. For myself, the long compile time was a turn off.
You don't appear to have read the things you linked. The argument Ebi is making is that we shouldn't give up if we don't hit that 12 year deadline, because it's continuous, and things keep getting even worse. She's trying to communicate that there are worse things than 1.5C that we could still prevent.
"My hard rule with the blog is that I should (as much as possible) write only about things I can verify through practice." Kudos. If only more bloggers held the same standard, the internet would be a better place ;)
If you're selling a B2B product for <$1K, you'll probably need the customer to come to you instead of you reaching out to them. This could be through strong marketing and branding.

I only have experience with >$1K B2B which implied outbound sales (company contacts potential customers).
Having put together, and modded a lot of guitars in my life, just make sure that the nut is cut properly, that the neck and body fit is nice'n tight, and that the neck is properly leveled.

That should fix most errors. Learning how to level frets is a truly valuable skill for any guitarist. If a guitar is fundamentally sound (quality wood, straight neck with functioning truss-rod, good fit between neck and body), then a good fret-level and properly cut nut will clear most problems.
> I’m really convinced that as an EU citizen and millennial my retirement is questionable to say the least.

Hear, hear! :D

I share your condition and concerns.
Depends how old your car is and how much UV damage the current paint has. New cars match in pretty well, older cars generally need some touch up.
awkweb
To be clear, my information is out of date because I don't do this kind of work anymore, but my understanding is that it's largely the same now.

1. I know because I sold to my list, and the people who signed up from intrusive signup popups were just as likely to buy my products as anyone else, and their virality was the ~same as other sources (ie. the rate at which they shared my stuff). I guess it's possible that an army of bots was sharing my posts and buying my products, but..?

2. Yes, bounce rate is a basic thing almost everyone monitors, and yes, intrusive popups increase bounce rate. But less than you might imagine, and not nearly enough to turn the tide of increased signups.

Like I said, I find it counter intuitive myself, and have no real explanation, just made up stories about it. All I know is that what I consider to be intrusive signup processes have had a life altering effect on my bank account.
I meant that they choose the latter.

As for what they "should" be choosing, I think the article hits on it: they should be running leaner operations that can survive without what is essentially a large scale diploma fraud operation, in which both the schools and foreign students are complicit.
The World’s Seventh Million-Dollar Bug Bounty Hacker
University of Florida's online program for undergrad. It's like $129/credit hour in-state which is incredibly attractive but jumps to $552 out of state which is still cheaper than getting an on-campus degree as an out-of-state student, but still more than I want to pay as someone who's guaranteed to get minuscule aid.
Or they’ve been successful in marketing this as a security requirement. That carries a lot of weight in .gov and anything involving finance, medical data, FERPA, etc. has a pretty solid argument for pushing secure clients since it’s free and easy.
Firefox gets a refreshed address bar
Indeed, we run multicast over 4 continents. One problem with multicast is the lack of real understanding by network engineers, because it's so rare (certainly anything that involves PIM), few people really get it, fewer tools are available to work out what's going on.

In the broadcast industry, multicast at a local level is very important though - with SDI being replaced by things like 2022-6 and 2110. I believe that's mainly at the IGMP/layer 2 level though, and there aren't many 2110 implementations over routers.
A long time ago I used to use Stacked Git (1) for a similar but different workflow.

1: http://www.procode.org/stgit/

I miss the days when you were expected to use a porcelain on top of raw git.
Covid-19 Risk Assessment Guide for Your Project
As terrible as Zoom is on security--they have a product that nobody else has created. I just want to click on a link from my email or from a text message and enter a meeting. With WebEx, I have to enter a 16 digit PIN code that I can never type right, right after dealing with browser plugins that doesn't work on my Mac. With Teams, I have to log in to my corporate domain, that doesn't like me using my personal device. Amazon Chime is a fairly decent alternative, I like the fact that it calls ME in advance of a meeting, but still requires downloads and isn't a video-centric product.

This should be an easy business opportunity. Give me easy access, E2E encryption, simultaneous screen sharing, whiteboarding, ability to mute other folks, good quality video/audio and I'll pay you thousands of dollars per year for my company to use that service in exchange for not routing my traffic through China.
> I’m really convinced that as an EU citizen and millennial my retirement is questionable to say the least

If you know it's questionable why aren't you paying more in now so that it isn't as questionable? Rather than hoping for potential UBI?
Magic Leap app store is now available to view on the web
Are those users forced to use it? Or is it by choice. I spearheaded an effort at my org to restrict access to IE on all PC's that didn't absolutely need it. Which, turned out to be nearly everyone.

Unfortunately, lots of users (mostly older) still associate the internet with "Internet Explorer". Simply telling them to use Chrome or Firefox solved the issue in a lot of cases.
http://www.slagcoin.com/joystick/introduction.html for building joysticks.

https://www.reddit.com/r/cade/ has a lot of people building/rebuilding cabinets.
Interesting topic and motive. Hope the first couple steps you've taken become a journey of a thousand. Do you work in tech now or what brings you to HN? I'm always interested in people explicitly outside tech on here...
MyNoise-Background Noises and Interactive Soundscapes
Every single UBI proposal I've seen has failed to work even with back of the envelope math, even when using generous assumptions and estimates. They end up either 1) Gutting existing entitlements by a huge amount (and current receipients of those entitlements get far less under UBI than they did before) 2) Raise taxes by an obscene amount that destroys most if not all of the benefit of a UBI for the middle class and most of the lower class (and that's before you get into potential economic effects) 3) Provides such a paltry amount that it fails to support the basic needs of the average person/family 4) Depend on massive amounts of money printing and/or debt well in excess of most nations' current debts, or 5) Some combination of the above.

People vastly overestimate how much money the wealthy have even if we taxed them at 100% and somehow prevented them and their wealth from fleeing to some tax haven somewhere.
> Some landlords say only 25%

Huh?? Might as well say,

> While some other landlords say 49% paid rent (which would be true for "some others"

> And some other landlords say 83% paid rent (which would also be true)

> Yet some other landlords say 0% paid rent (which would also be true)

After that "some" in the title, you can replace 25% with whatever number (<100).
(Chromium) Edge has an "IE Mode" where it uses Trident for specified sites. Very clearly the move here is to get enterprise clients using Edge internally, as it means they have a modern browser on the public web but can maintain compatibility with internal IE-only systems.
For those not familiar with the corp.com situation:

Corp.com was (is?) the default example domain in many applications from Microsoft. As a result many badly configured networks are attempting to connect to this domain, often sharing credentials in the process.

He who owns corp.com will have access to tens of thousands of corporate networks. So the only move that MS had was to buy the domain, regardless of the price.

I guess mr O’Connor (who sold the domain) made a nice retirement today.
I saw one HNer refer to this as a "vomit draft".
Epson receipt printers have had network modules / adapters for 10+ years. Both wired and wireless.

IIRC you have to sign an NDA to get access to the documentation for the Epson ESC codes to do things like bold, inverted text, bigger fonts, print images, cut the paper, etc.

I used netcat to write bytes to a network printer 10+ years ago. It was pretty cool. You can also write to the serial port for serial printers, with the same bytes. It's very simple.

If you want an impact printer, you probably want to use the Epson TM-U220 series printers: https://epson.com/For-Work/Point-of-Sale/POS-Printers/TM-U22...
as the crisis increses, the stress and grief increase daily. so I decide to search about how I can use preventive measure to avoid pain and stress during this period. then I saw thi article on Coronavirus https://schoolinginfo.com/how-to-prevent-coronavirus-as-a-st... and reading it made me stress free, that I can live without contacting the disease.
there for am not too stress up about the COVID-19 issues that much.
Spin off college sports, cap foreign student numbers, cap acceptance of student loans, and kill off Admin staff.

Everyone knows how to solve the college problem. It’s just that colleges have no incentive to do so until they’re forced somehow.
Friend is in one the top 3 law firms in the world. They have a corporate Chrome rollout, since at least one of their web apps requires a current browser.
Skype works still surprisingly okay
Have you looked at The Atlantic? I keep coming across articles from it and have the same feeling about them as I do The Economist, but I’m not a subscriber to The Atlantic so I don’t really kno
Yeah, cups of flour annoy me to no end. The difference between a cup of packed down flour in the bag vs flour that's been sifted is something like 30% by my rough estimate.
Sorry, there was an implied premise that I probably should have included.

These US schools are teaching classes only in English, so the students' inability to speak, write, and (in some cases) read English means that they can't do the work.

I've observed them brazenly cheating during tests by looking at other students' papers, but I think it's more common to hire English speakers who know Chinese to do the work for them. They fail some tests, sure, but they end up with C's overall and a diploma to take home.

I actually had a classmate in college who ended up founding a successful business that exclusive connects American speakers of Chinese with wealthy students from China to write their essays and do their homework.
Graphs to understand the Covid-19 spread in USA
It would probably be modeled the same way as social benefits are modeled. A mixed of citizenship and residency...
We wrote an introductory risk assessment guide, since we got lots of questions about the additional risks that COVID 19 introduces into projects.
Thanks!

For anyone reading this who wants more information on how they work without needing to dig through the site's source code, there's a quick demo I have up on JSFiddle. This was written a while ago, I suspect there are easier ways to make this work today.

- Asides using only floats: http://jsfiddle.net/danShumway/0wqkk578/

There are a few irritations I have with the sidenotes that I want to clear up in the redesign (specifically for mobile readers), so this implementation might get tweaked a little bit in the future.

The hanging quotes are probably the part of this site I'm most proud of. They're pure HTML/CSS and render as smart quotes, but if you select the text to copy, you'll get normal straight quotes, which makes pasting into sites like HN slightly nicer and more consistent. The implementation was kind of cobbled together from a couple of other sites, and then extended to be more robust and support a few edge-case scenarios.

- Hanging quotes both at the start and within paragraphs: http://jsfiddle.net/danShumway/36jag4o2/
>> Universities should not be responsible for both education and assessment.

> Easier said than done. In more niche disciplines, the only people qualified to evaluate student attainment are other academics in the same discipline.

It is actually done in quite a few places. And even when there is no non-academic alternative, at the very least the examiners could entirely come from a different university than the lecturers.

In Germany there is the concept of "Staatsexamen" where a government-run examination agency recruits examiners from representatives of the profession and academia.
Yes, that's very unconvincing.

He may think that he is rebasing later anyway, but sorting all those commits into "need for my feature" vs. "don't need for my feature", followed by the rebasing within the feature certainly takes much longer than the split second of creating a branch and keeping those features separate from the beginning.

It's great if it works for him, but he's certainly not saving time.
Yeah I remember when the chumby came out I was debating getting one but couldn't think of a use case for it (besides the ever-popular-at-the-time live twitter feed or something along those lines).
Communications of ACM Volume 37, Issue 7 July 1994

This was an issue that came around the time I was starting my dive into agents after reading [1] and it showed me my particular interest is a small part of what other people label the area.

1) https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123...