skysight-inc/HackerNews huggingface dataset:
Maintaining and upgrading legacy code is good work for a beginner. Plenty of work, and beginners can learn more from a working application than trying to write something ground-up when they aren’t prepared to make the design decisions.
> But TLA+ allows you to specify at an arbitrary level, even levels with a lot of nondeterminism that precludes compilation, hence the difference between it and code. ... Similarly, you can say something like, "some hashing function is used" without actually writing any specific hashing function.

This can also be done in many end-to-end tools. Typically, these tools allow for end-to-end proof based on the actual code; they don't require it.
“Anything that can be built in a browser will be built in a browser”

Not sure who said that but I love that quote.
Metrication Opposition
Apple is huge. You will find more than one of every scheduler inside. No clue what their plans are around Mesos, but I think it’s safe to assume there are places it works well and will be slow to change.
It doesn't look like it has a camera or a GPS? Both of these would be really useful in a secure device.
Ask HN: How has MIT's switch from Scheme to Python worked out?
Around 2007, MIT changed its introductory curriculum from SICP in Scheme to Python.[1-6]

How has this worked out?

I'm particularly interested in hearing from MIT students: both those who took the introductory course with Scheme and those who took it with Python, and of the latter especially those who wound up learning Scheme and reading SICP later on, either at MIT or independently. Do you think you missed out? Was using Python instead of Scheme the right choice?

Insights from TA's and teachers also welcome.

[1] - https://www.wisdomandwonder.com/link/2110/why-mit-switched-from-scheme-to-python

[2] - https://news.ycombinator.com/item?id=11628080

[3] - http://lambda-the-ultimate.org/node/1840

[4] - http://lambda-the-ultimate.org/node/3312

[5] - http://people.eecs.berkeley.edu/~bh/sicp.html

[6] - https://news.ycombinator.com/item?id=22994976
Funnily enough, I learned of this mnemonic from TAOCP (I think; too lazy to go check now).
I don't understand. Is the plan to keep covid out of the country forever? That doesn't seem to make a whole lot of sense at this point. Will there be a lockdown every time there's new infections?
They have this example for general signed overflow checking in the 2.2 spec (but I'm not sure if this counts as a recommended sequence for fusion):

add t0, t1, t2
slti t3, t2, 0
slt t4, t0, t1
bne t3, t4, overflow

So two extra registers needed also..

edit: so I now think a good extension to add overflow checking to RISC-V is with an instruction that works like "slt"- call it "sov", set if add would overflow:

add t0, t1, t2
sov t3, t1, t2
bnez t3, overflow

add/sov could be fused..
Well, not a lot seem to have bothered. There are JS spreadsheet implementations in 200 lines, so it's not that it's very difficult, more like this didn't have enough exposure to attract programmers yet -- for example there's not a Cocoa or SwiftUI implementation.
NASA Exoplanet Archive
This thread is about efforts that might be taken to avoid a hypothetical 100% no-exemption estate tax.
I never said it's not pure. Just like how a SQL string in haskell is fully pure. Doesn't change the fact that you're using pure primitives to control a process that is fundamentally unpure. The concept leaks across the boundary.
https://github.com/BreeeZe/rpos
That number looks accurate, but I'm not sure it's the only thing to look at.

First, deaths aren't the only measure. For every death there are many more people that just barely survive after a hospital stay, and data suggests a significant amount of those people will have long-term problems.

Second, if the hospitals are overloaded by such people (even if most of them survive) then the IFR of Covid can rise higher than 0.5-1%.
Intel and AMD's experience with complex transformations on the instruction stream suggests that its overall better to do it in a L0 decode cache.
I understand and respect your perspective.

However, one of life's strongest drives is to protect/provide for your children. Not just a human drive, and not even just an animal drive-- trees preferentially support their offspring...

You justify your proposal from a moral basis ("root of inequality, promotes bad behavior"). While there is much to commend a morals-based approach, it is hard for me to accept that one of life's most fundamental drives is immoral.

My parents are now old. I want to encourage them to spend their money enjoying their last few years. But I also know that the thing which would bring the most joy to my father would be to gift money to my siblings and myself, especially at his passing-- if he were to spend it all, he would feel like he had been a poor steward.

I have a very hard time with a legal structure which penalizes people for deciding to provide for their children rather than for themselves.

This is before we look at all of the edge cases (surviving spouse, early deaths, ...) and also the observations made by others that the rich will avoid the law anyway, thus defeating the purpose of reducing inequality at the high end of the spectrum.
My experience is that the development speed suffers a bit when you need to handle more than one code base and it also more difficult to test because the UI depends on the business logic but now they are separate and used by 2 different UI code bases
I think this is the key. "Just a state-machine" is a gross over-simplification. Imagine a tiny fruit-fly brain, vastly smaller than a human brain. Remarkably we can slice that brain into over 4000 pieces and try and rebuilt the connectome, which is a huge challenge in and of itself. Describing what's going on there as "state-machine" miss-represents a computer-science definition of "state-machine", and doesn't remotely reflect the biological complexity going on.
I am from the US and my family uses iMessage. I do not have iOS so they just exclude me from the family group chat. Feels good man.
The Shingle Solution Review, Legit or a Scam?
i don't understand? this is a pretty simple solution since these large megacorps are quick to enforce their own will on the FOSS community for bs IP reasons.
These insurance companies are not stupid. The incentives don't align perfectly. They can also just hike the price of the insurance policy and pass along the cost to the consumer. Much less trouble than taking on the mob. If the problem truly is systemic, then your competitors are just as affected as you are, and it's a wash. If you solve the problem, then you also solve it for your competitor.
The fiduciary model of privacy
used this before for web crawling, very useful tool!
Are we really going to split hairs over what the exact percentage is or can we talk about the point? To me it seems like crazy talk to pose something, which would cause millions of deaths, to be unbelievable not to do. I'd be much more interested in how they think this could possibly work in a safe manner than debating whether it causes 5 per thousand or 10 per thousand (a sibling comment said 0.63%, so 6.3 million among the billion young people we have). Something something straight face.
Fun fact! If there are only a handful of cases the lockdowns don’t have to last that long. And vaccines can keep COVID out of a country forever
Forgot? I think that's a fairly well-known fact about RISC-V, but a good ISA for teaching and a good ISA for the real world are not necessarily the same.
Lifelong updates (unlike Android or iOS)

+ ability to run the latest distributions on 10+ years old devices.
The Decline of ExxonMobil
Sounds like an interesting line of work, and one that could get very sophisticated.
We'll see I guess but I'm extremely skeptical.
You are criticizing the "Canadian government" as being run by a bunch of clowns, then complaining about evictions, which is a provincial matter. The LTB reference leads me to think you are in Ontario.

I agree that there are problems, but at least be more precise in what you are complaining about.
Two things:

The latency of e-paper doesn't provide a great typing experience.

"These days" isn't really applicable - the Alphasmart devices haven't been made since 2013.
Anyone knows if Australia is going to accept "tourists" anytime soon? I would love to spend a few weeks there and get away from the chaos. (and of course I would get tested before going, etc)
Building a startup from zero first goal $1000: Day 28
If you have any feeback it is really welcome!
Follow my journey on www.twitter.com/branzel
Payphones of the World – 2600 Magazine
I wish I could copy and paste this on every low-effort/high-level "X tips for ML in production" article (for context, TFA's site was spamming Reddit and HN a while back). Most corporate decision makers don't know where to start when it comes to creating ML teams, so all this 12-factor stuff (PEP8 and SOLID, seriously?) isn't going to matter one wit if the necessary cultural and organizational changes aren't put in place first.
It takes a lot of electricity to reconcile the state. When there are possible options to do it in an environmentally friendly way like proof of stake.
That makes more sense for an e.g. processor benchmark, where people compete to cheat and sell more units.

That's not exactly the case in GUI frameworks - where the different axes of evaluation (ex. expressiveness etc) would require lots of changes to logic and API of the framework (as this is not about mere performance).

And even if this did happen, optimizing for those 7 use cases would make them (a) better than what they are now, (b) better for 7 very common cases, which cover most of everything.
Low-cost dermatoscope using a mobile phone, immersion fluid and transparent tape
NeoVims built-in Language Server Client and how you should use it
Bro no offense but you are boohooing because your life sucks in America. Competent governments can actually fix this problem of COVID
Public Storage will also silently nearly double prices on you, and force you to physically move stuff out and back in to the unit to get the current list price back.
Yes. How else do you plan on making them see the error of their ways. I guarantee being uncivil with them will just make them double down on their beliefs.
um, a company which relentlessly violates all laws and social norms? this is better?
Microsoft become a PRISM provider in 2007 and Skype in 2011.
So, should we make rape jokes (as is the main point of 40 days and 40 night movies)? Or are they ok, only when their targeted against men?

I support all jokes, if they're funny (if not, nobody is going to watch that comedian, and the market will regulate itself). You say that we should shame the jokes you personally don't like out of the mainstream, but leave the ones you don't mind. "you slav you lose" is a joke.... slavs are also always shown as stereotypical people in tracksuits, drunk and killing people... mostly eachother... and yes, i know it's a stereotype, but as a slav, it's not far from truth (we're looking at caricatures here), and videos on youtube joking out of that are well.. funny (to me personally, and the like/dislike ratio shows that others find them funny too). Should we shame those jokes? Should we shame people laughing at those jokes? Should we shame slavs laughing at funny stereotipical representatives of our own people? Now replace slavs with some other group of people, and you get called a bunch of "-ist"s, "anti-"s, etc.

So, we either kill comedy for all ( https://www.reddit.com/r/comics/comments/70390/a_politically... ), or we let people joke out of everything and not be sensitive about it (this is the option i prefer... especially since we live in a time, where just showing a picture of a religious figure can get you beheaded in france).
'Bout time! A lack of 3rd party libraries is a sticking point for a lot of Ada projects I'd like to do. The first party libraries are great though.
> How often do you read a single array element that is not the first element

Quite often in some applications, for example hash tables (a very popular data structure).
Following that wikipedia link leads to downloading and viewing the picture.
No time soon, if they're smart. They shouldn't be eradicating coronavirus then inviting people in to reinfect them. That would be poor judgment.
> Typically, these tools allow for end-to-end proof based on the actual code; they don't require it.

TLA+ also allows for end-to-end proof, but it's not primarily designed for it. Because those other tools are primarily designed for it but not for arbitrary-level specification, they are drastically more complicated. This is necessarily the case. To allow execution, you must separate your computation level from your specification level (e.g. there is a distinct, syntactic spec/program or type/object divide), but that's not the case in TLA+. If you're familiar with, say, type-theory-based proof assistants, TLA+ is analogous to being at the type level only (except with an infinite hierarchy in both directions).

In the time in took me to grasp Lean's type-theoretic universal quantification I was writing specifications of large, real-world systems in TLA+; I still find it hard to explain the meaning of universe-polymorphic operators like `id`. Plus, few if any of those languages have model-checkers, which also have a generally and drastically better cost/benefit than writing formal proofs. TLA+ has a very good proof assistant, but we rarely use them because writing a formal deductive proof after a successful model-checking is usually a terrible return on investment, unless your goal is publishing an algorithm rather than delivering a production system.

Due to the scale limitation of sound verification, a system primarily designed for arbitrary-level specification and verification is more widely applicable than a system primarily designed for end-to-end verification, although the latter is certainly valuable in niche circumstances. It is, therefore, unsurprising that TLA+ is more commonly used in the field on systems that are too big/complex for feasible end-to-end verification (which is most "ordinary" software) than any of those primarily end-to-end tools. It is much easier to learn, especially for non-specialists, and thanks to the available model-checkers, it's also much easier to get results with.
I think they're not referring to number of repos affected. I think they're referring to the stain on GitHub's reputation as a reliable place to host open source projects (controversial or not).
Yes, let's lump Gates in with the Enron crowd, Ebbers, Kozlowski, Bernie Madoff. (sarcasm). Your statement is ludicrous and sounds especially callous and shallow when you back it with...nothing. No facts or anything.

I see your other comment was already flagged/deleted and called the "most vitriolic reply ever on HN", so I'm guessing your arguments are not always well thought out and reasonable and instead based on some deep internal hatred of a man who's done more to help people in 1 day than you'll do ever.
Neoverse V1 has SVE (with 2x256b units) and Neoverse N2 has SVE2 (w/ 2x128b units).

Note that SVE is a superset of Neon and SVE2 is a superset of SVE.
It's a good question.

The political leaders at both state and federal levels are banking on an effective/safe vaccine being widely available in the next 12 months.

If that doesn't eventuate, I don't know what the Plan B is.
I’ll agree that turn signals are a safety system, but I wouldn’t describe it as a critical safety system. Out of the 1000 things that could go wrong while riding a motorcycle the turn signals not working wouldn’t rank in the top half as far as safety implications if improperly functioning.
I also clicked assuming I had missed something about Discord.

It is bad for the brand of the publication to do this. I would have been interested in just a good overview of the company.

I did not know the founders did openfeint. I remember that product and considered it for an iOS app I was working on at the time.

What I’m not sure about is how to penalize publications for essentially false advertising in editorialized headlines. They want attention to show ads, they have to go about garnering it ethically.
Comparing this pablum to Euclid? You can't be serious!
The US makes visitors get certain vaccinations before being able to visit

https://travel.state.gov/content/travel/en/us-visas/immigrat...

Assuming a vaccine comes out, Australia can make US visitors get vaccinated before visiting.
Hey! This sounds really interesting, anywhere I can follow along with progress?
Bro I wish I kept some of my Covid in a jar to share with you so you can prove how macho you are. The virus kicks your ass months after you’ve already recovered. Early 20s and I run every day. You are probably older than that and don’t exercise

Edit: I eat my vegetables and you probably don’t eat your vegetables either
I would assume until a vaccine that at least helps slow the spread or until the virus has mutated enough it's less of an impact. Or at least an bet at one of those 2 occurring.
I mean, it appears to be working in New Zealand. Island countries with relatively small populations seem like the places where this approach is feasible.
My Earnings Report from Blog Using Valueimpression
HTTP protocol RFC pretty explicitly says that the Request-URI transmitted is a "path" and refers to URI RFC to define "path". There is really no ambiguity here, HTTP as a protocol expects resources to be organized as an hierarchy and accessed via a path, which is delimited by "/" characters. As such the protocol definitely reserves and assigns special meaning to "/" in paths.

Of course servers are perfectly free to do whatever they want, there is no HTTP police to stop them.
This is exactly me and I've struggled with it since I was a child.
Receive and read emails with XPath 3.1
The exact same things about arrays and linked lists were said in 1995 about 1995 machines. They ring true, if you pin down exactly what you mean by your choice of pathological cases.

Even if we completely eliminate all caching effects, so that every memory access is uniform, regardless of past access history, then arrays are still going to be faster in many cases than linked lists. Obviously, in the random access case: fetching the n-th element. Pointers are metadata; a linked list has metadata for every node, and that requires memory bandwidth to suck through the processor. If every list node has a word of pointer for a word of data, then it means scanning through a million word list means we are loading two million words. If the data is aggregated into an array, then scanning it means we are loading only one million words. That's half the cycles. Likely fewer instructions executed in the loop and so on.

Note that arguments like, "but in year 20XX, such a case now fits into my Ln cache" work toward arguing that caching is less relevant. The more cache you have, the less relevant it is. As a cache gets bigger, more and more situations that previously exhibited "poor locality" now have "good locality" of reference.

Your 2016 machine can cache much more of a given linked list than your 1995 machine; it performs relatively better with linked lists than the 1995 machine, even if we account for basic differences of instruction issue rate (pipelining, branch prediction, etc).
What are some of the papers from past weeks?
Why exactly? Gitlab will take down the repo due to DMCA all the same. (Along with any other US ran service, and even many European ones)

If you want to escape US law, feel free to use gitee.com located in China.
Or, push your politicians to change the laws.

Microsoft has no way of overcoming the DMCA law themselves, other major companies have continued to lose lawsuits. It doesn't help that mega monopoly entities like Disney want it to stay taht way and will bribe politicians and others.
"Cognition all the way down: Biology’s next great horizon is to understand cells, tissues and organisms as agents with agendas (even if unthinking ones)" https://aeon.co/essays/how-to-understand-cells-tissues-and-o...
We know the origins of that myth by examining the papers that the RISC-V designers wrote. They got a C compiler back-end working and didn't incorporate any other languages in their benchmarking corpus.
Reveal Codes was the single greatest feature of WordPerfect - I'm convinced Microsoft continues to refuse to provide the equivalent out of spite for WP.

Does anyone else remember calling into WP tech support during its heyday? They had a hold queue disk jokey that would interact with people on hold. It was a nice touch.
The Lost, Macabre Art of Swedish Funeral Confectionery
How the tow truck industry is now, firefighting used to be before it was turned into a public service. I have a billion orders of magnitude more faith in firefighters than in tow truck companies. Why should we not do the same process to tow trucks?

> Firefighting used to be a private for-profit industry. In the 1800’s, the early days of urbanization, in cities like New York and Baltimore, there were private “clubs” or “gangs” who were in charge of putting out fires. The infamous Boss Tweed started his illustrious political career at a volunteer fire company. The way it functioned was the first club at the scene got money from the insurance company. So, they had an incentive to get there fast. They also had an incentive to sabotage competition. They also often ended up getting in fights over territory and many times buildings would burn down before the issue was resolved. They were glorified looters. It was corrupt, bloated and expensive

https://www.huffpost.com/entry/firefighting-in-the-1800s_b_2...
A simple explanation of monetary policy
So basically it's not worth buying because the license is not resellable. Also what about Elon's tweets about how the "value of your car appreciates" specifically because of the self driving feature. If it appreciates that's referring to selling the car. I imagine a giant lawsuit is coming around this.

Sorry quick search but take a look at this (paywall but you get the jist):

https://www.bloomberg.com/news/articles/2019-07-16/musk-stan...
OP. This is a follow up to a thread[1] from two days ago which introduced me to some crazy things in XPath 2.0/3.1, a confirmation that you can indeed receive emails with it. I suppose before long it will evolve into a full competitor of JavaScript.

[1] https://news.ycombinator.com/item?id=24941663
Interesting information! thaks for the answers and links
Think there are a few tools for getting around the certificate pinning, projects like
sensepost/objection
Likely many of those businesses would have closed anyway, even without the lockdown, just from people avoiding crowded areas because they don’t want to get sick.
This looks really cool, but I'm generally against non-standard flashy blinky lights on vehicles. They're distracting to other drivers, and may not be as easy to interpret as a standard turn signal. Light shows belong in your living room, not on the road.
Id be more inclined to provide my email if I could see previous weeks newsletter
It's not actually necessary to use a Git hosting service.

Git itself works just fine without one.

There are many other project hosting alternatives as well. E.g. Canonical's Launchpad, GNU Savannah, etc.
Being civil to uncivil people is defines the highest and most honest character of civility.
Performance and open source! I used Charles for years and always had issues to run it on lower spec devices. And after you get used to the navigation and shortcuts it can also save you time.
The pebble 2 is e-paper. The underlying tech is quite different from lcd.
As a compiler pro, I view availability of better instructions to select as an asset rather than as a liability. Sure it’s more work for me and my team but if it makes shit fast then who cares how much work it was.

One of the best lessons I got when I was being inducted into the compiler club was: compilers are hard. It’s a hard job so other people can have easier jobs. It’s ok if compilers turn complex and managing that complexity is just something you have to learn to do. I don’t think it’s true that the need for that complexity leads to lower perf.