skysight-inc/HackerNews huggingface dataset:
The Pascal/Modula-2 WITH statement brings all of the members of a record into the lexical scope, without them being mentioned in the statement (i.e. implicitly).

So when you add, remove or rename members of a record, you are potentially influencing the contents of scopes in other files all over the project. You can cause variable shadowing that way.

VAR
B : INTEGER;

WITH ^P DO
A := B; (* B is just a local, A is a field *)
END

If B is added as a field, the above suddenly means ^P.A = ^P.B.

Any time you edit a Modula-2 record, you have to search the program for all the places where its type may be targeted by WITH.

Probably if you stick to some rules, like never using WITH on another module's record type, you will be fine.

Diagnostics related to shadowing could help.
Firebase push messages are best effort an by no means guaranteed. You will still miss calls/notifications, even high priority ones.

I'm still looking for a guaranteed push service/library.
One can lead a horse to the water but not make it drink it. After many a 'leading' it can become tiresome and a times pointless to have a discussion where the participants have strongly held incompatible beliefs.
I think you’re right and the final point of “being able to unwind trades” is most likely a smaller issue than people make it out to be.
Him taking vaccines home to vaccinate his girlfriend should be its own article, discussing exactly what happened. We’ve already seen in a dozen cities what happens if there are thawed vaccines that day: use them.

The rest doesn't seem different enough from whats happening everywhere to really warrant Farley’s PR campaign here to prevent his resignation. Everywhere has bungled scheduling errors or vaccines logistics leaving extra thawed vaccines that need to be used that day irregardless of the order.

I was shocked reading this article but stepping back I just cant get behind this, my pitch fork is put away. I bet the CEO wasn't even wrong about the irrelevant best practice that was cited in this article.

Testing is different than vaccinations. The article doesn't distinguish that well except for “ahh theyre a for-profit company now omg oh noes.” A medical company with no actual contract with the municipality making money? How is that even a footnote. Their insurance reimbursal plan had to pivot who gives a fuck.

Like I said its just not different enough. Figure out what their logistical problems are and fix them. The end.

This honestly reads like Farley’s PR agent trying to prevent his forced resignation. My PR agent would typically make articles not seem to be about me by mentioning me/my organizations deep in the listicle or at the end of the article, and we would put a competitor at the top of the listicle to deflect the idea it was advertising to begin with, and then use the coincidence of being mentioned in the same article together to open a dialogue. We didnt actually care about engagement or the clout of being in a particular publication, it was all backdoor ploys. The commonality here is that the city is “competing” with this organization and confusing everyone, within a week of one logistical issue. This reads like that to me.

This isn't worth our attention.
Human rights law in many countries prevents their citizens from being made stateless. The UK has tried to strip the citizenship of some ISIL members, e.g. Shamima Begum, but it’s tied up in court:

https://en.m.wikipedia.org/wiki/Shamima_Begum
I concur. But if we have a platform that is actually suitable for the community to work on, we can get to that point.

Much like Ubuntu made desktop Linux a viable prospect for many people, after being enabled by Debian, I could see a future libre smartphone being enabled by the work done on PinePhone.
They should be the ones wielding the power because they are elected and if we don't like their decision we can vote someone else in, we don't have any right to vote who runs Google. The whole thing is a slippery slope started by the left which they still support. Hopefully it will all crumble the same way the USSR did, but it might take time.
Fast, good, cheap. Pick two.

Their job is to make the appropriate choices. In this situation cheap is not a priority due to the costs of delay.
Interesting that you would say that. I've taken the opposite approach to prefer languages that have multiple implementations, platform-independent specs, and a focus on portability, like C, JavaScript and very few others. Also Java/JVM, which at least fulfills this criterion on paper (and pays the bills). Guess it's a matter of whether you're working primarily on the server or client side.
This is exactly what's going to happen, not just with PWAs but with all websites. The mechanism ("Google Safe Browsing") is in place, precedents are being set, the number of hysterical ideologues who will support that is growing.

But on the bright side, I think if it was Mozilla with 90% of the browser market and not Google, this would've happened already.
Surprised? No.
Disappointed? Yes.
What other things? Do you mean not using copyright as the underlying control mechanism?

how do you recoup your investment then when making software? wont everyone just pirate/duplicate it?
This is the same as HTML's <ol> though...
This would be a point weighting that Signal's servers or the network connection to the servers is compromised, in a Bayesian filter.

To put it in terms of your logic: it that were case, it means Signal is not secure.
whoa. i never thought about that. do you just feel better reading? im curious how it could actually be working. maybe its rotating which rods and cones are getting hit more and so your eye is getting a more continuous signal somehow
The release process can be quite slow on the f-droid official repository as the signing step is done on an offline machine manually.
https://f-droid.org/en/docs/Security_Model
It's not an ad hominem when you're talking about someone's competence. Has she done anything good or not?
I'm curious as to what is the user case here. If you are connecting to a server from a command line or similar you don't have a mouse, but you also don't (probably) have a ui.

Other cases where your mouse is broken or damaged, ok, but otherwise...what are the benefits? (Apart from being able to say 'I don't use the mouse for anything').
Great article. In fact the same conclusion brought me to create Assistant extension for Visual Studio Code. It allows you to document your know-how and display it in the source code while you are writing it.

It is not only great for technical knowledge but also for project know how. Also it does not require know how to be introduced to the source code, it is stored separately.

It increased my productivity by 30% because I am not distracted by googling answers again and again.

It is a free extension, so try it out:

https://marketplace.visualstudio.com/items?itemName=tomasz-s...
A very odd construct. Coming from Java, a big disappointment, Python enums, pretty much useless. To those who say "just roll your own", sure, but why not make the existing one actually usable?
javidx9 has a series of videos on their home-grown console game engine, with the same "logical conclusion": https://youtu.be/xW8skO7MFYw
What would make this more clear cut is a summary of what situation the university finds itself in. What's happened with the finances, why these departments, which admin staff are going?
Signal gets round it by sending an empty notification through Google's mandatory firebase service, then sending the actual message from its own service.
There's a ton of retro shaders for the retroarch emulation front-end. Porting those would probably be a good start.
I'm glad I came back here. I'm interested, but had some questions.

What's a controller? It sounds like some sort of combined battery pack/bluetooth adapter... How much extra desk space does it take? Do you have photos of that?

Also re: battery life, I assume the reason why having a "central" half reduces battery life is the same as the first version. Why can't the computer keep track of modifiers/layers? If you have two keyboards plugged in, you can press shift on one and type on the other and you'll get capital letters.

Is the group buy just for parts or is it for (partially) assembled keyboards? I'm not a DIY eletronics sort, both from an equipment and know-how perspective.
Good old memories. I have earned my first money from Turbo Pascal.

I was blown away when Turbo Pascal 7 came with syntax highlighting.

I also spent days trying to fix infamous Runtime Error 200.
From the wiki:

"Chesterton's fence is the principle that reforms should not be made until the reasoning behind the existing state of affairs is understood."

Ok great.

"The quotation is from Chesterton's 1929 book, The Thing: Why I am a Catholic"

So, Catholicism?
No HLSL support
I wonder if the end game of higher education looks like purely administrative bodies with enormous tuition that just provide the students with leisure, varsity sports and regular events on the currently hot social justice topics.

I studied pure math in the Czech Rep. between 1996 and 2003. The administrative staff was about 10 per cent of the entire body of employees.

Reading that administrators actually outnumber teaching staff at some American universities today, I cannot help but ask what went wrong. This kind of bureaucratic bloat would make late Soviet Union blush and professor Parkinson rewrite his books.

https://www.washingtontimes.com/news/2013/feb/28/teachers-ou...
I don't know what to say. For weeks people were roaming the streets, smashing windows, cars, beating people up, etc.

???
I like this idea, but that means you need to be able to decide what the "lowest" level is at the beginning (i.e. I seldom use anything below <h3>.)
Show HN: Etherlearn – Visual Blockchain Simulator
The part about synergy between faculties is accurate. Having strong pure math academics helps out the various applied math departments in indirect ways that I've seen.

This is a shame. Pure math is a discipline with the most out of whack discrepancy between public positive externality and private benefit, even more than in physics. Pure math discoveries often have unexpected downstream benefits decades later as they percolate slowly into applied domains in unexpected ways, and its discoverers get little credit and no financial reward. Terence Tao should be getting paid in the millions for his work.
Hi folks, I built this site initially as a companion to workshops about Blockchain mechanics. Since it's a rather playful thingy, I thought it's worth sharing to a broader audience :) There's no actual blockchain connection involved as everything is done in the browser (except at the very end). Hope you enjoy!
Even the expensive COVID vaccines are an absolute bargain compared to all the costs associated with not having them (economic, social, health, geopolitical...).

The EU has just created a huge problem for themselves (which will result in extra people dying) by insisting on paying 2 dollars per dose for the AZ vaccine instead of 3 dollars or whatever. If you do the maths on that, it’s hard to find a rational or humane justification for trying to “save money” this way.

Israel by contrast decided to pay double the list price for their vaccines, and half their population is now vaccinated.

https://www.politico.eu/article/europe-coronavirus-vaccine-s...
it is a red flag indeed. They route orders to market makers that profit from arbitrage (not exchanges), and other shady stuff.
The irony is high
I have wanted this actually. Might not be more productive, I don't know, but being able to just keep your hands on the keyboard is good for ergonomics.
I'm referring the rollout of the vaccines not the creation. That's a different issue with no easy answer. Again this may just be a cultural difference. Healthcare being free at point of use is a core tenant of the NHS.
It allows only free and open source apps, which might be a no-go for some.
Yeah, supermarkets generally operate on a pull from suppliers, while the nature of this is definitely a push from AZ, although I can’t see it working any other way effectively.

Middle mile will be organised via transhipment / trunking. Transshipment from an NDC via a regional hub is a very common practice and I would be surprised if anyone has a network with 16 regional hubs without an NDC to support them.
https://www.medrxiv.org/content/10.1101/2021.01.27.21250612v...

You’ll have to actually read it, or find a tldr from someone who knows what they are doing.

The same calc that leads to 0.04% above would say overall covid mortality is 0.08% and is intentionally misleading - but no news media so far (in Israel or outside) has done any review. They are all parroting the misleading numbers.

Anything but primary data these days is suspect. (Pfizer’s own primary data, btw, says severe disease is 75% RRR with CI 0-100%. Did you see anyone reporting on that?)

Edit: to add: Israel is an a horrible bind right now. The vaccine is only 50% effective but gov has done very badly in handling the disease and promoted the vaccine as “our way out”, so the gov is attempting to hide that data. Unfortunately for them, Israel is too small and the culture not supportive of hiding this, even if at this point the mass media is cooperating with the government.
There's a large segment of the population that has been brainwashed to believe it though. Reddit's big change to their speech rules is a good example:

In the section entitled “Promoting Hate Based on Identity or Vulnerability,” Reddit indicates that protection against harassment only protects “marginalized” groups.

Here is Reddit’s definition of marginalized groups:

“Marginalized or vulnerable groups include, but are not limited to, groups based on their actual and perceived race, color, religion, national origin, ethnicity, immigration status, gender, gender identity, sexual orientation, pregnancy, or disability. These include victims of a major violent event and their families.”

It’s the next part that’s alarming:

“While the rule on hate protects such groups, it does not protect all groups or all forms of identity. For example, the rule does not protect groups of people who are in the majority or who promote such attacks of hate.”
Yeah looks great
Well maybe, but even Ubuntu / Debian aren't workable for most people. I've used Linux and FreeBSD since the 90s and I'm still pleasantly surprised when my printer works out of the box.

They're great for developers, but they've been unable to provide a usable and simple alternative for most people. Imo, partly because a lack of incentives since developers tend to create for themselves. Partly due to fragmentation leading to projects moving in every direction at the same time, which does not lead to a consistent or simple user experience.
I do not know the details of this case, but universities are opening new departments, centers and programs all the time. There needs to be some mechanism for reallocation rather than just growth.

Some breadth is always needed, but strength is even more critical for research. Having two universities, one with a center of excellency, say in physics one in ancient history is better than two mediocre research programs in each.

I think this has nothing to do with teaching mathematics -- classes will still be taught, this is about their research program. My 2c.
> It's amazing that bureaucrats fined Microsoft for putting IE as default and keep allowing apple to do what they want.

The difference is that Microsoft attempted to use its operating system monopoly to win the browser wars. Bundling Internet Explorer with Windows made it difficult for other browsers to compete on an even playing field.

Apple doesn't have an operating system monopoly on the desktop or mobile. MacOS and iOS have a smaller userbase than both of their main competitors. It doesn't have an app store monopoly either.
Strictly speaking this has nothing to do with tech. As of late HN frontpage are all news that are there because of popularity instead of being techy.
A container of Ultra Keto X Burn contains 60 pills
Ultra Keto X Burn
A container of Ultra Keto X Burn contains 60 pills and you need to burn-through two pills every day prior to your two primary dinners with tepid water. It will show brings about a month or less relying upon your weight reduction objectives; likewise you will acquire the energy, inspiration, and endurance to arrive at your objective. Be that as it may, there are sure propensities which you should begin following to have a solid body and plan and to encounter the advantages of Ultra Keto X Burn for a more extended time-frame.

http://supplementstore4u.com/ultra-keto-x-burn/

https://youtu.be/WYsHmjx_tRI

https://www.facebook.com/Ultra-Keto-X-Burn-102354568546378/

https://www.prlog.org/12855746-ultra-keto-burn-update-2021-benefits-ingredients-side-effects-get-free-trial.html

https://zenodo.org/record/4475064

https://pearlmorison.medium.com/ultra-keto-x-burn-update-2021-does-it-really-get-free-trial-3e96d9b0c6f6

https://twitter.com/UltraKetoXBurn6

http://www.sbookmarking.com/story/ultra-keto-x-burn-ultra-keto-x-burn-shark-tank-reviews-price-to-buy

https://www.facebook.com/Hemp-Max-Lab-Oil-Canada-105690198203740

https://gocrowdera.com/CA/other/hemp-max-lab-oil-canada/

https://secure.aspca.org/team/ultra-keto-x-burn-review

https://secure.aspca.org/team/ultra-keto-x-burn
Open principles amplify the transformation towards a sustainabe economy
The rules sound quite reasonable to me; Robin Hood is trying to protect itself from the extreme volatility in the wsb/reddit stocks and the higher level of collateral thus required.

Running a brokerage is low margin business.
It seems to me that it is the other way round, isn't it? Although having matrix.org be an Element client is extremely confusing. If "matrix.org" is moderated it would seem that the whole protocol is moderated (and thus, not a neutral carrier).
Exactly. I looked for 10 minutes to see if there were brokers who didn't sell the data and whether there was a correlation with permitting GME trades on Wednesday. I could not find any major brokers that didn't sell data.

I'd like to see this more prominently declared. But as it is, RobinHood are far from unique.
The EU fails yet again to handle a crisis. It's great at some things (gdpr) which are slow burners... But when having to make quick decisions the cracks start to show. Being a Brit I do hope they come through this ok because I feel the world needs the EU.
Have you heard of sock puppet accounts? Rogue agents? :-)
It's not actually a "first come first serve" argument as I understand it - it's that contractually the UK and EU supply chains are separate, each contract only requires them to supply the contracted vaccines from that supply chain, and the EU one is in much worse shape yields-wise because the EU dragged their feet on signing the contract for internal political reasons leaving AZ with less time to fix the problems. (There's a contractual provision in the EU contract allowing them to supply some vaccines from the UK which the EU is trying to stretch into them requiring it.) The whole claim that AZ is doing first come, first serve and it isn't fair seems to be EU spin, and pitting the EU against the UK seems to be an intentional EU tactic. In particular, as I recall EU officials started making evidence-free claims early on that AZ had been exporting doses from their European facilities to the UK and this caused the shortage, something they deny and that no evidence has been found for despite raids on their facilities.
That was the parent's point - made via sarcasm.
I recently read Dijkstra's "On the fact that the Atlantic Ocean has two sides". [1] In vast parts, it's not much more than mildly disguised US-bashing (Dijkstra was always a grumpy old man) but that's not what caught my eye. What did was the fact that he describes the US research landscape as a system that orients itself around short-term projects and industry desires. Dijkstra clearly expresses his contempt for this approach over what he claims to be the European way: long-term thinking and research done for research's sake.

That paper was written in 1982

Fast forward ~40 years, and the presumed US model is exactly the way research funding works all across Europe today. Jumping from one project to the next, always hoping that one of your next proposals will receive funding, or you're out of a job. Your project proposal has a weak "exploitation" section? Well, goodbye proposal then! Universities are thought of as nothing more than R&D departments and providers of new young hires for the economic sector.

It's only consequential then to axe such "useless" disciplines as pure mathematics.

This is a scandal.

--

Edit: these news from last September fit perfectly into the picture [2]:

The European Union’s next research programme is likely to have a greater emphasis on funding for applied research, experts have warned, as universities were told to put pressure on politicians to increase the budget. [...]

In July, EU leaders agreed to spend €80.9 billion (£72.9 billion) on Horizon Europe, €13.5 billion less than was hoped for in May.

However, regarding the budget cut, keep in mind the costs incurred by the COVID19 pandemic.

--

[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...

[2] https://www.timeshighereducation.com/news/horizon-europe-wil...
And the US also has a way lower population density.
It’s easy to maintain if you don’t change versions. If you upgrade, have fun finding all the pages throwing new warnings.

Contrast that with going up one major version in Scala where all I need to do is fix the compile errors and then I’m confident it won’t surprise me with runtime errors.
A hack that wipes out 20% of the market in a single day.
> with SIMD-instructions

You assume so, for Volta onwards that's not true.

Each SIMT thread on NVIDIA GPUs for Volta onwards has its own instruction pointer. And yes, it's scalar instructions at the ISA level.
The all-new feren OS, redefined and better than ever
WSL2 is what I’m wondering about

Should I submit hashes with geth linux on wsl2 or geth windows native

I guess I could just benchmark it, havent gotten around to it.
Strictly speaking HN is not a website for tech news/submissions only.

https://news.ycombinator.com/newsguidelines.html
You implement it by putting them in prison for the rest of their lives. You could just cordon off an island Alcatraz style, helicopter drop in food and supplies, and let them figure out their own shit.
Xiaomi announces long range Mi Air charging technology
Last I checked C# allowed the compiler to perform the computation with higher precision than what the code requires an then narrow down the the expected precision whenever it wants (you can trigger a narrowing by explicitly casting from a floating point type to itself). Which makes writing correct floating point code practically impossible.
Thank you for this comment - it's a solid argument.

I agree entirely with your last paragraph, I do hope that cool heads prevail.
It might be a possible opportunity for alternative platforms to grow.

Before, network effect makes Twitter/Google Store/AWS etc dominant over alternatives, because everybody could be on there. There is no reason to use XXX, because why not Twitter.

Now that they make it clear that they are not unbiased moderator, and they remove apps/people from their platform, a bunch of people become refuge. Alternative stores and social media become viable, because they could grab those audience. I can see that in the next few years, we will have more fractured platforms.

> because both sides of politics can only see as far as the next election, they will just use this to their advantage to deplatform their opponents

Meanwhile, there are other countries.
An Introduction to Glassmorphism
Why is this article on the front page of HN? As of late, HN is becoming more popular science-ish instead of hackish.
The CUDA C++ Standard Library – Meeting C++ online