skysight-inc/HackerNews huggingface dataset:
Is that project used by google (or anyone else) for anything? I would be interested in production usage of such library before trying it out.
Is that outcome a good thing in some way that I’m not seeing? Because to me, that just seems wasteful. (For society I mean; it’s obvious how it’s a good thing for makers and installers of PV systems.)
Telling people you like LaTeX might also get you some funny looks.
It's funny. If business/politicians promote an atmosphere of distrust between workers and work-givers in a society, then the consequence is an atmosphere of distrust between workers and work-givers in a society. People in positions of authority and power who want to foster trust need to make the first move.
Yeah, but that has nothing to do with UNIX.

Kudos for your ripgrep achievements, though.
Cosmos, an OS “construction kit”: build your own OS using managed languages
Seems like a violation of the strict aliasing rule.
And the name was the least offensive part.
Philosophically they seem very similar, but at a glance[0] it seems like clojure.spec is quite a bit more expressive. Also spec lives in your REPL session and in your source code, while Cue is meant to be used as a CLI, so there is a completely different approach.

[0] https://cuelang.org/docs/references/spec/
VPN Services for Android (2021 Edition)
That's what I thought at first, but apparently they were completely aware of the double meaning and gleeful about it.

In any case, it doesn't matter, because we don't need to keep having humiliating conversations about it, just change the damn name.
1. The Open University

The Open University offers short, self-study courses for free. There are a wide variety of subjects including the Arts, Business, Science, Technology and much more.

You can take a course via the website, or download a DOC/PDF/Kindle/ePub format of the course text (any interactive elements or videos will not be available in the electronic documents).

The course listings let you sort the courses by duration. The courses are very amenable to short, bite-size chunks of learning. You can complete one course section at a time rather than finish a course in one go.

https://www.open.edu/openlearn/free-courses/full-catalogue

2. BBC Bitesize

Bitesize is the BBC's support resource for school-age pupils in the UK with simple-to-follow lessons and videos. It's actually an excellent learning resource for adults too!

The explanations are a model of clear writing without dumbing-down a topic. Any grown-up reading the site can learn a lot about a topic (as well as how to write with clarity and without waffle).

Not convinced? Try this random topic and see if you like the explanation (or not!)

Fundamentals of algorithms: https://www.bbc.co.uk/bitesize/guides/zjddqhv/revision/1
Electricity feels like a commodity (although unlike the other commodity markets there's almost no "carry trade", nobody talks about contango power). The electric grid is a utility; on of those things that's either a state monopoly or a state-shielded private-ish company, because there can't be competing electric grids.

Grid equipment itself is manufactured by unglamourous heavy engineering firms like Siemens or ABB.
yes I will not use your tool if I need to register just to test it once.
When I read this in like 2017, I thought the idea of home schooling in bulk online was ridiculous, not many places are still doing it! Unbelievable, I'm certainly pleased the majority of schools in the UK are fully school based, but I hear this is not the case in California and much of East Asia (not china).
Only if you pronounce it incorrectly.
I hope he at least got a fast jet wings badge out of it, even if he couldn't wear it on his uniform.
Yeah some of the gravel bike stuff really amazes me these days. I can't imagine doing some descents on anything but a fireroad with a gravel bike due to the un-slack geometry, but I've seen people bomb green downhill runs at some bike parks!
Yeah it's so weird seeing americans treat this as some kind of Hard Problem when it's been part of our daily life for 15+ years. Like the healthcare debate with less politics. "kroger should buy some vans, hire more people, and start a website" is pretty much the end of it. (I assume krogers is a supermarket)
> It should have been in the base instruction set.

No, it should not. Popcount is not necessary for all the microcontrollers and it does not fully share its circuitry with the other instructions of the basic ISA.

Popcount must be in an extension (like bitmanip) and it will be ratified and integrated into chips soon. The 1.0 version of the B extension is currently under review and is much simpler than the previous versions.
While the achievements on PI cannot be denied, BeagleBoard happened in 2008, Panda Board appeared in 2010, while PI exists since 2012.
> Academia has a lot of problems, but founding seems to be one of the major ones. Without stable founding this is what you get: aggressive push to make money, and not to make great research.

It is closely related to a shift in the definition of "what purpose should academia serve?"

Basically, old-school academia had the government pay a lot of money to universities to do general research and educate students to be researchers, and then the military paid more money for research that could be usable for military purposes (encryption, rocketry, nuclear). Training of new employees was paid for by the companies themselves (e.g. apprenticeships).

Nowadays, governments have massively cut general research budgets (leaving universities and research to the mercy of grantors aka the free market), the military is running its own show (aka the MIC sucks in enormous amounts of money and puts it into private coffers), and companies have outsourced training and vetting of new employees to universities and the payment for all of that to the students in form of student loans, which means that universities are no longer primarily a place of research but of schooling.

It's a real disgrace what happened over the last decades, and the Western world will pay badly for this since China does not follow this turbo-capitalist ideology.
Soft paywall?

Key part is this

> Detained members of minority communities appeared to have been forcibly subjected to blood tests and organ examinations such as ultrasound and X-rays, without informed consent, said the U.N. experts.

> The exam results were then registered in a database of living organ sources for transplants, the experts added.

> “Forced organ harvesting in China appears to be targeting specific ethnic, linguistic or religious minorities held in detention, often without being explained the reasons for arrest or given arrest warrants, at different locations,” they said.
> even to the point of numbness

Even to the point of injury, ganglion cysts are a real risk, especially in wrist joints.
Good luck! Now is the time to do it, and get it put into your contract. You have additional leverage as employers are panicked by stories of workers resigning en masse if not granted additional working from home time.

Don't fall for the "you can do more work because you're not commuting" line - if commuting is considered work time, then you deserve to be remunerated for that time, and they owe you back pay for each day you commuted in the past.
The least possible complexity.
The idea today is that you rely on sharing a key with the server (through a secure protocol) but the server still has to decrypt your data to do anything with it and then encrypt it back and send the result to you.

With FHE, if the server runs FHE software then you can encrypt your data with your secret key without ever disclosing it to the server (as it does not need it to compute stuff on your data).

The benefits are many: the server never has to know anything about your data (imagine a MedTech company doing diagnosis, your medical data will be safe from their prying eyes).

If the server is compromised, the attacker cannot look at your data, potentially no more private information leak!

On the regulatory side you potentially don't have to worry about GDPR anymore, you can't access the data of your users.
HE allows third-parties to perform processing without seeing the plaintext. This allows sensitive data to be held and processed by a cloud computing platform. It could also be useful for untrusted peer-to-peer computing (something like Ethereum). It seems too inefficient to be practical at the moment, but on the other hand that hasn't stopped cryptocurrencies before...
Not the parent poster, but a distribution centre for stores has a different function to a distribution centre for individual customers. The former is about getting whole boxes of products onto large trucks to deliver to stores, the latter is about getting individual items from inside those boxes into bags in vans for individual customers. For that you need a different warehouse layout and many large businesses won't have that space available for the scale they need.
Hej... no offense taken but generalizations don’t help. My 95L Dana designs terraplane LTW has been to the patagonia Icefield with enough food and climbing gear to make it above 35 kg. In that case you want a big, supportive backpack.
And AppStore rules forbid everyone from distributing/obtaining a browser that doesn't have such problem (and this isn't even one-off for Safari. Anyone who writes web apps can tell you they keep having such bugs).

Apple made it easy for themselves to have zero competition in browser engines.
This remind me of SpaceCamp movie:
https://en.wikipedia.org/wiki/SpaceCamp
The reality is that you have to be sensible and balanced.

You can't keep BROKEN functions "because people rely on them", but you can't suddenly make a minor release (e.g.: from 2.3.4 to 2.3.5) completely changing the semantic of a feature you expose.

You need to:

- Avoid changing APIs just for the sake of change.

- Announce breaking changes.

- Document how users are intended to migrate from your old API to the new one.

Very large projects like Django do things like:

- v2.0: Adds a new API, but keeps the old one

- v3.0: Removes the old API.

This gives consumers of the API plenty of time and margin to experiment with both and move on.

If a single release changes too many things, it's very hard for a developer to upgrade, since they have a completely broken codebase, and need to fix multiple breakage at once.
Science expressed in terms of what happens is getting in the way of progress
MMT is wrong in the sense that it's unimplementable. If you need to curb spending or raise taxes to slow inflation in the latter half of a cycle a politician can run on a platform of not doing that thing, get elected on that mandate and then it all falls apart.

If it ran on autopilot then it might work, but in a democracy it won't run on autopilot.
FWIW you can probably find a hell of a lot ex office PCs for free

I do admire the raspberry pi project for their work, but for just programming simple python projects, any 15 year old core 2 duo will work and people can't get rid of them fast enough
> Workers' pay rates have barely risen over the last 40 years, while the C-suite have risen by hundreds of percentage points.

Any citation?

In the past 10 years bottom 50% wealth rose by more than 10 times and median household income increased by 40%.

[1]: https://fred.stlouisfed.org/series/WFRBLB50107
[2]: https://fred.stlouisfed.org/series/MEHOINUSA646N
> I think it is unfair to compare apples to apples. Nobody other than Apple has the M1 chip. You should not judge a fish by its ability to climb a tree.

This is super ridiculous. Macs were being smashed to bits by PCs before they switched to Intel, and they were rightfully blasted by techies and the tech press.

We don't get to claim that we're not comparing apples to apples because Apple stuff is now more powerful than PCs, for the same form factor.

And I say this as a PC guy that will never buy a Mac as long as both Windows and Linux don't run on it 100% reliably (at the same level Windows would run on a Lenovo).
Show HN: Apitest – API testing tool with JSON-like DSL
Which specific tire model are you using?
Well, war is also man-made, and kills humans. Still, those hoping for world peace are still viewed as hopelessly naive. So what?
An open source iOS emulator on x86 based macOS now available
Hello everyone, we present a working iOS App emulator for x86-based macOS here.

In the year of 2021, Apple has unleashed ARM-based M1 chips for macintosh, making it much easier to run iOS Apps on PC-platform. However, our development settled years ago. When there was no working iOS emulator throughout the world, we decided to work one out for ourselves.

The emulator runs on Intel x86-64 macOS/Xcode (This release works under Catalina). The iOS Simulator that comes with Xcode is capable of running iOS Apps based on x86 instructions, which means you must own the source. We modified and hacked a lot on the simulator, making it possbile to run ARM-based commerical iOS Apps released in AppStore inside iOS Simulator.

There are many puzzles to solve in order to run ARM-based iOS Apps on x86-based systems. First, we face the problem of instruction translation between x86-64 and ARM. We use qemu for this critical part. In the whole emulation, only the instructions within the iOS App is run in the mode of JIT, while all the frameworks from Apple run natively on Intel CPU. We have to build an ABI bridge for 2 instruction sets for they have different ABI standards. In order to do that, we hacked compiler of LLVM, scanning the whole SDK, generating all API parameter infomation, under which part of the ABI bridge may finally work.

There were tons of problems for running the emulator on x86-64-based macOS. For example, the acceleration and compatibility of Objective-C system, Metal API, hack of xnu by kernel extension. The most challenged among which, is the massive reverse engineering in order to make iOS App run flawlessly. As the work goes on, the complexity of the whole emulation system has gone far beyond our expectation. Now this project runs 2 apps from China successfully: WeChat and game Arena of Valor.

https://github.com/iqemu64/iqemu64

Our twitter: @i_molten
Combining classical and quantum computing opens door to new discoveries
My guess would be usability, the google approach let's anyone knowing C++ (constrained by the supported sets of operations from the language) actually create an FHE program without having to know anything about crypto.

Maybe PALISADE is not user friendly enough? Just a wild guess I never used PALISADE
Maybe the "Encryption at rest" used in GCE products?
> I don't blame the store workers or anything. Usually even things are mostly fine (e.g., not bruised, over/under ripe, etc). But sometimes ...

Hmm, apart from the "but sometimes...", your comment did make me realise that this might be a reason why it's more viable: produce that is fine but would get left behind in the supermarket (e.g. curved cucumbers, the last crop of lettuce, ...) would no longer have to be thrown away but actually gets bought.
If I used 32psi in my bicycle tyres I'd be getting pinch flats all the time! I run 35x700c marathon plus', which requires a minimum of 65psi [4 bar] (https://www.schwalbe.com/en/tour-reader/marathon-plus)

Maybe for mountain bike tyres that advice works well.
Affordable is relative. Once you factor in a power supply, mouse, mini-hdmi cable and SD card, you're looking at the best part of £100. And that's if you already have a monitor or can use the TV

There's a hell of a lot of ex office PCs that can run python for much cheaper, if not for free
Show HN: The unique experience of working with superstar talents in your company
The path to the next web: Progressive web apps
The obvious thing that is needed is strong labor unions. The open question is why so much of this money is flowing into asset price inflation instead of either consumer inflation or higher wages, or some combination of the two. Even a 50/50 split of consumer inflation and higher wages, which might at first seem to have no benefit, would in fact have the benefit of deflating the relative debt burden that the public is carrying. There is also the very great question of why monetary stimulus was more effective at raising wages in the early and mid 20th Century. Strong labor unions must be part of the answer. The power of the unions forced more of that money to the workers, and less of it to those already holding assets. It is, of course, well known that in every Western country the percent of national income going to capital decreased in the mid 20th Century, whereas the percent of national income going to labor increased in the mid 20th Century.

An alternative, which would not require strong labor unions, would be massive final consumer spending on the part of the government: this is the spending where the government is the final consumer, which is currently only 33% of the Federal budget. A massive program of rebuilding infrastructure would help force the money into the real economy, and this would have some of the same effects as strong labor unions.
Ocado in the UK have really been clever with the way they've done it via automation rather than people. Worth reading about, I do wonder when they'll make a profit though...
>The original intent of the patent system was to give inventors a leg up to commercialize their idea before they can be bullied out of the market by large competitors.

Almost... I think there is a subtle difference in what the intent was/is.

The point of the patent system is to incentivize inventors to make their creations available to the public. The time-limited monopoly to their invention (the patent) is the incentive. But you need to make enough details public to get the patent so that someone else can also take advantage of the invention. This is the public benefit... eventually, the public has access to an invention.

So, yes, the idea is to give companies a head start to commercialize an idea, but that's not the reason in and of itself. The reason is to make the invention available to the public, so that the public can benefit from the invention. And after a few years, it will be freely available. The limited monopoly is a financial incentive to keep the company working on the idea. Yes, it's a barrier to competitors, but it's also a potential reward for developing the idea.

In your case, I think the system worked (and Bayh-Dole in general works). Even though the company ultimately failed, the company had an incentive to try and commercialize the invention. This could have benefited the public by having access to a product that didn't exist before. But, even if the company fails in the market, after a certain amount of time, the public still has the patented information.

Really, the idea behind Bayh-Dole (which created these University-based IP systems) was to get inventions and data out of universities and into the public-domain. Otherwise, there would be billions in research that would be sitting on a shelf somewhere, or mentioned in a paper, but never used to benefit the public. Without that patent incentive, would your company ever have been formed? Would the research ever been commercialized? Likely not.
And not keeping the old API around incurs work, potentially a lot, for everyone using the thing - transitively.

We've seen this with Python2->3 transition. If the new version isn't backwards compatible (requires non-trivial work to transition), what you've done isn't an upgrade: you've created a new product, and deprecated the old one. As we've seen from Google, people hate it when that happens (how many different eras of deprecated chat app are Google on now?)

Other examples: Windows has, on a couple of occasions, attempted architecture transitions. Windows RT was the latest. They've not yet made the leap to ARM, despite having cutdown versions of Windows (CE) running on ARM for something like 20 years. Apple have managed multiple architecture transitions by providing emulators, bridges, "fat binaries" that work across the transition, and a history of being willing to tell both developers and customers to get stuffed if they don't like it.
> There is a suspicion in MMT that issuing bonds and high interest rates could be actually inflationary because the interest payment of that bonds.

A long-term increasing interest rate (especially at a low absolute level) ought to push inflation from income-producing assets to other things, because rising interest rates would undermine the reason for buying the claim on future income. I think that's backed by theory and empirical evidence from the 70s, and simply amplifies how tenuous the macro financial situation has become. Even more alarming, the Fed thinks the lever to reduce inflation is interest rate increases ... which as noted at some point in the rate-raising process should shift asset inflation into consumer inflation, which would beget more raises.
Investors Clamor for a Bigger Piece of Payments Company Stripe
We will change the way registration works on Portrait HD today, thank you again for your feedback :) It will ask to register before the upload itself

We are on Amazon architecture right now with 15+ servers, 5-20 minutes only because there is a 600 tasks in the processing line and it's quite long, we have launched it today

Thanks again for warm feedback :)
> no need to worry

Ho'boy. Last thing you should do is tell people on HN not to worry about security. :)
Fair point on each province being different.

BC does not cover care outside of Canada (assuming that’s what you meant by “2 year trip”) with the exception of emergency care at a max of $75 per day.

https://www2.gov.bc.ca/gov/content/health/health-drug-covera...
> #2 and #4 are both about Zoom having a botched e2e implementation

I'd reckon Zoom engs know what's e2ee and what's not. I tend to agree with folks who say their sales team purposefully lied to win deals.
Hi. Article author here.

It does not describe the MacOS version. Its primary focus is the native Linux version. Did you stop reading after a couple of paragraphs, but still comment?

You make me wonder if I should have structured it differently. :-(
But in that case the 'X' is a chi, so it's more like 'Lay-tek' than 'Latex' ;)
> One possible solution involves extending "Coq" to "Coquand," [...]
Doesn't that just sound like cock-wand if pronounced by some?
> Last stable release of VIM was 18 months ago.

I really doubt that. For example, the vim website lists the latest stable Windows build as v8.2.2824, released on 2 May, which is about 40 days old.

Not that this is relevant to parent's point.
Actually due to the UCI imposing a minimum weight, they have a fair bit of weight to play with. It's possible to make a bike significantly lighter than the minimum, so they could, for example, choose to make the frame super light to compensate for the weight of the tyres.
If you can write a program with few to no if statements that depend on the data, then you can run that program relatively efficiently under FHE.

A blur or sharpen filter would be an easy example. The server sees you take the random noise of each pixel, mix it with the nearby pixels, and output new random noise.
Interesting, maybe adding a decorator @freeze_final could be a good idea? I'll take a look at it later.

Thank you for your input!
We're currently working on scaling up to 25,000+ pages, hopefully sometime in the next 12 months!
Sorry for that, there is 600 tasks in a queue right now, we are working to make it faster :)
you have to watch the video of the actual court proceedings. a core issue is that LinkedIn knew hIQ was scraping their website and allowed them to do this until they started launching similar features. hIQ has a strong argument around this point and evidence proving so.

video: https://youtu.be/tvLdJujOp8k
The annoying thing is that the industry still tweaks those perfectly functional gravel bikes for "performance" cycling adding useless features like an aggresive low stack geometry, 1x only drivetrain compatibility, nonsense suspension. Jan Heine gave us some of the best advice through Bicycle Quaterly, his books and the Rene Herse website.