skysight-inc/HackerNews huggingface dataset:
Oh to have that chrome V8 interceptor. That's the one to get.
I see your point and how the language has been masculinized but the meaning still stands as of now.. until the next changes take place. Language is evolving and these will inevitably change as well at some point.
The weirdest thing about PalmOS architecture was how they never really ported it to ARM processors, so on ARM devices it just ran 68k code via an emulation layer. (I believe there was a way to load ARM-native blobs which allowed some ability to take advantage of the faster CPUs in the later devices.)

Evidently an ARM-native version of PalmOS (PalmOS 6, based on beOS of all things) was eventually released, but somehow it never made it onto any real devices.
They already had tanks with treads at this time, so I agree.
The UK and china have this issue with CCTVs everywhere.

Only places I've seen cameras are in stores. Otherwise its easy to see if someone pulls up their phone.
yes. Apple making their own processor. Google making their own processor, and so on. the generic x86 as we know, might be dead soon.
What the Most Powerful Server in the World Looks Like
Huh? What do you mean, isn't

Ordinary text blah blah {{interspersed code snippet}} some more ordinary blah blah text

working, or haven't you tried it?
Thanks - author of the repo here. This really started off by me reading Pierce's Types and Programming Languages textbook and getting interested in implementing typecheckers and whatnot... and kind of spiraled into a full blown compiler. So it's ultimately a learning project for me and not meant to be a production-ready compiler (we already have MLton).

After this experience, I do agree that going with the "vertical" approach you described would be significantly easier - I actually considered doing this for just the raw lambda calculus so that I could get CPS transform and native codegen working on a smaller scale.

Unfortunately, I haven't had time to work on the project in a while (I'm finishing my PhD in chemical biology), but I hope to come back to it soon.
Why are you glad that it never took off? That's the opposite of what we usually hear from former Hypercard users...
This seems in jest, but who among us doesn’t cite Hipparchus when working on geospatial topics??
They're probably tired of people interviewing there just to get an offer letter for use in negotiating a raise at their current/'prior' employer.
> The solution is simple: you can't be fired for participating in a strike.

If you're on strike you're not showing up so you're not getting paid. They just let you stay on strike forever and in the meantime hire somebody else.

Assuming they don't just close the warehouse, so that you're not getting fired for going on strike, you're getting laid off because the job no longer exists.
That's a bit of a malicious characterization. Prop 22 was about trade-offs: more drivers each taking a smaller piece of the pie vs less drivers each taking more. The caveat is that this trade-off has different levels of impact on consumers (less drivers means less availability, slower pick up times and higher prices).

A bunch of Uber drivers I've spoken to do it as a side thing, to supplement income from other sources. The conundrum is that there are a lot of casual drivers and fewer full time ones, and those two groups generally sit on opposite ends of the debate (casuals don't want to be forced to choose between driving and their other income sources, and full time ones want employee benefits)

Ultimately, it doesn't boil down to something as sinister as a secret desire for indentured servitude, it's simply a matter of everyone being selfish. Unions are also a form of people being selfish (though collectively). IMHO, the answer isn't in bickering on whose selfishness is more warranted, it'd be more apt to question why isn't a social net provided by the government itself in the first place (in the form of public healthcare, unemployment insurance, etc) if they deem it important enough to legislate?
Of course we have, and not only party, but a short summary of candidate achievements, place of work etc. So the trick may work only for a very busy people, not looking closely what they’re voting for.
As you see he always focuses one one thing. Here it is his biceps.
The book in question is called "The Disc Embedding Theorem" (https://global.oup.com/academic/product/the-disc-embedding-t...)
Removing Everything from a Novel but the Punctuation
So does that mean that YC is now a paid subscriber to the service? ;).

Very classy callout in any case. I love the story of a startup getting good press for doing something nice. Also this sounds like a really good case study for them to put up.
Ouch sorry!
Without a solid and forward-looking understanding of the internal cultures of both Elastic (the company) and also the specific team(s) at Amazon that will be managing the future of Elasticsearch and OpenSearch, respectively, I think it's too early to tell who will end up being the better steward of the search commons here.

Also worth noting that other open-source search engines exist out there; it's entirely possible that other alternative technologies will become more attractive, depending on how all this plays out.
Any claim Schmidhuber might have is always drowned out by how obstinate he is about demanding recognition.

He’s interrupted lectures at major conferences from other leaders in in the field to quibble about citations unrelated to the subject of the lecture - pretty much everything he does involves some whining about how the credit for his work has been stolen from him. It’s hard to take his claims seriously when he’s this pigheaded.
Math is the most formal science there is. Why don't serious math journals require programmatically checked proofs for all publications, and instead rely on what essentially is a code review for a very large change request with extremely convoluted code to be vetted bug free by only a handful of experts?

P.S. Reviews are still needed to check novelty etc.
Unless you have a light source that can emit a beam consisting of only a few photons (and precise enough detectors to see them on the other side) you won't see the effect. Otherwise, the quantum interference demonstrated by the experiment will break down due to what is called "decoherence" – too many things interacting with one another will cancel out the phenomenon you want to observe. This is why we don't see quantum weirdness in our every day experience.
If the transporter did not disassemble a person on one end, and instead just materialized a person on the other end (similar things happen a few times in Star Trek), which one of them is 'you'?

And which one do you think we should kill off once the away mission is done? Should we be as sanguine about it as Captain Janeway was about murdering Tuvix?
Ended up signing up with Rippling. Thanks for the recommendation. They are the perfect solution for us.
No one is forcing me to buy a phone? Yeah sure. Try to live without one in the modern society.
Why should they play catch up? Relatively speaking they don't want to work as much and differently value work-related activities. There's no need or reason average pay should be equal between sexes. Asking for that is as silly as asking for two women to be paid the same. Why should they be paid the same? Whenever they perform some activity, one will outperform the other. Maybe the outperforming woman will be different across different activities. Common sense, except on HN.

Let the downvoting begin!
Who said anything about a big deal? It was just mirthful musing about the future name of Apple's eyeware product.
Sublette is active on nuke-related subs on Reddit these days. It's kinda funny when someone argues against him by quoting his own work...
> Math is the most formal science there is.

Can you prove that?
One could also suggest that the BFD project adopt "GPLv2 or any later version" (like it had prior to 2008), which is compatible with the GPLv2, instead of the "GPLv3 or any later version" license.
I would be surprised if Amazon wasn't investing everything they could into automated fulfillment centers. The factor for switching over is the viability of the technology, not the cost of labor.
Opposite is true. The vast majority of students do not work full time. A majority do not work at all:

https://nces.ed.gov/programs/coe/pdf/coe_ssa.pdf
Indeed:

>You may not tamper with the Glasses, or otherwise obscure or modify any of the features on the Glasses that signal to others that the Glasses are recording (including the external-facing LED light).

https://www.facebook.com/help/ray-ban-stories/12479636622886...
> Honest question, if you were running Amazon, how do you protect against bad actors or poor performers?

define poor performers.

I've work for abusive corporations that were setting impossible goals and called employees "poor performers" and fired them when these impossible goals were not met.
"Fuck around and find out"

AKA Absolutely nothing until your actions affect the wrong entity
Why Canada still uses paper voter lists and hand counts ballots for elections
I'm learning to run a Django app and have been toying with deploying to DigitalOcean. Decided on this to learn atleast some generic DevOps things as opposed to too-proprietary (Heroku) and too-expensive (AWS). There's a decent amount of Nginx, Gunicorn, and Postgres things that seem to need to be scripted, and I'm still not sure how to quickly reproduce the server automatically (scripts?) and replicate the server environment on my Mac without adding Docker/Podman to the mix (running Django app on my Mac and deploying to Ubuntu server env could cause issues unknown locally).

How does Appliku help address these issues?

Edit:
Also, is Appliku itself deployed with Appliku? If so, if Appliku experiences issues, do you have a quick method of deploying the fix outside your usual deployment?
> That's digital circuitry, and it's hard to make analogue and digital circuitry play nicely together on the same circuit board; the digital part tends to influence the analogue part through the power lines.

Yeah. We can fortunately handwave a lot of those issues away by:

1. Working with an Arduino, which only has a 20MHz clock (best case), maybe 4MHz typical scenario.

2. Filtering down the white-noise to the Arduino-level speeds. (Note: Arduino / ATMega328pb ADC clock is only a fraction of its primary clock).

After all: sampling at 100MHz (generating a bit every 10 nanoseconds) would be very difficult! But sampling this at 1MHz is really easy, and probably could be done on a breadboard and hobby equipment.

It'd still be noisy as all heck, but running things slowly and at 5V will solve a lot of issues that faster clocks make difficult. You don't care about 100MHz noise when your circuits are only 1MHz!!

--------

Now if someone actually wanted that 100MHz (10 nanosecond) random bit generator... okay. That's tough. Now we gotta talk about ADC / High Speed Comparators, high-frequency / more expensive buffers / filters / opamps, miniscule errors, well done PCB-circuits, maybe even transmission line theory, large planes of copper to stabilize circuits... power-network filtering... etc. etc.
Its not so much that it needs to be made "illegal", The problem is that terms of service itself is a legally enforcable idea. Facebook is the one using legal frameworks to overstep into our life.
It is the same reason with everything Intel for the past 10-20 years. Profits. And I have been ranting on it for most part of the last decade. Far too focused on profits. I mean Intel is still making record profits quarter after quarter.

Embedded space are high volume low margin business, why waste their Wafer capacity for that?

4G Modem is a loss leader, why use latest node on it when they could be used for Server CPU at 100x the revenue and profits.

Mobile SoC is also a high volume and low margin business, we cant use our most advance, industry leading fab for that. Let's partner with a Chinese companies and use contra revenue to gain market share. And oh, let's use TSMC because they are cheaper.

ARM also has business model that doesn't make sense from Intel's perspective. Earning a measly xx cents per unit on IP? ( Yes Intel actually laughed about it in 00s era )

Did I mention XScale?

And I could go on and rant about it for hours.....
I've seen it a many times it's dumb stuff they have the money and talent to waste and a fear of being left behind.

the leaders of these companies are also fairly uncreative leading them to blindly follow the current meme of "the future" which ironically leads to them faltering anyway
LOACATION
Works of Roger Scruton. You may not share his opinions, but his writing is exceptionally clear.
Github badly need to add an abstraction for passing an artifact between workflows. The official recommendation for how to use workflow_run is comically messy (20+ lines of javascript-in-yaml because actions/download-artifact doesn't support fetching artifacts across repos):

https://securitylab.github.com/research/github-actions-preve...

Kinda hard to expect average users to grok this, running a follow-up workflow in a secure context with some carried over artifacts should be trivial to do declaratively.
"The central bank must be trusted not to debase the currency"

"not to debase"

hard money?
You cannot pay someone in bitcoin who hasn't setup a wallet or shared a bitcoin address with you...
If by anonymous city you mean the largest city in Australia.
Thats what was said, it cannot detect that. If you rot13 it, you bypassed the protection.
Can you provide more information about him?

The mental image I got purely from reading the blog/paper is quite intriguing...
The secret rule book was lost during WW1 which is why thinks went so out of hand afterwards.

(Sorry for the bad joke, but as a German the though that there is a secret rule book which was lost in WW1 had me rolling, I just have no idea why??)

> Is this in any German rulebook?

Idk. but I feel that:

- State organs often act as if it's the case.

- Politicians often do some many (bad/wrong) assumptions hat I feel it would be better if it would be the case.
> I'd be interested in whether proofs like these will be formalized in proof assistants that can be checked with computer code, so that it removes doubt of error.

This does not remove doubt of error.
It doesn't matter what physics you get when none of the absolute fortune spent over decades ends up contributing toward a resulting source of commercially competitive power.

We know already that if the project achieves all of its projected goals, the result will be much more expensive than fission. We know already that if any power is ever generated, at any price, it can come no sooner than decades in the future.
Society's mores are pretty fungible. Who'da thunk that half of society would be fine with killing people if the alternative is sometimes wearing a paper mask and getting an injection?
This is a personal experience and fully anecdotal. However, I think the results also depend on whether people know what to do with their free time. Personality might also matter.

I think most people need something to do for good well-being. It doesn't have to be paid work, or any kind of work, but it should feel meaningful in one way or another. Usefulness (whatever that means) might correlate with that but it's likely not the only requirement.

I've had times in my life when I didn't really need the feeling of being overly productive in terms of work or academically and when unproductive days (in the traditional sense) didn't necessarily bother me very much because I had hobbies that genuinely interested me and gave me a good feeling. Passion is an overused buzzword, but I think if you've genuinely got a passion for something (and it doesn't necessarily matter that much what it is), that can improve your well-being even if it's not something productive in the sense most people understand the word.

If you don't have something like that, though, it's much easier to fill the extra time with something meaningless, and I think that negatively affects well-being.
Biden to mandate coronavirus vaccine for federal workers
Glad something is holding back at least one tyrant.
"I'm sure there are more productive or fulfilling things for people to be doing..."

I love the irony that they work in "Fufillment Centers".
GraphQL can do anything that a REST API can do, it's just a different interface over HTTP at the end of the day. There's nothing that particularly links it to SQL or any other data store, though some tools might add that coupling, especially if they're "schema-first".

You can write query and mutation resolvers that generically do read and write operations. The resolvers are just strongly typed functions - they take in user-provided inputs and return a defined output that users can select a subset of fields from (inputs/outputs are defined in your schema).

As long as you can access your data from your backend (whether it's in a SQL db, mongo, s3, or some custom data structure) then you can do whatever processing you want in your queries and mutations.
Yes, if the robber is a baron.
I'm not super thrilled, given our current supply chains, about making another important sector (distributing basic goods like food) of the US economy 100% dependent on semiconductors from the pacific rim.
first thing on my mind after reading the title: "good". Am I evil ?
> But then why wouldn't it work in another setting?

Is this referring to something explicit? I'd think it's certainly possible it could work in many, but only certain settings have been or can be studied, for specific definitions of "study".
Not sure what's the current status on this but they were planning on moving from Tether to cooperation with El Salvador banks.

https://www.coindesk.com/business/2021/06/21/strike-is-phasi...
How Joseph Lubin became Wall Street’s crypto whisperer
It did strike me as odd that the headline implied I should be shedding a tear for an entrenched middleman because they will make slightly less money for being an entrenched middleman.
I'm quite intrigued by Moderna's potential for a more-effective flu shot -- keep in mind that current inactivated flu shot technology only has around 60% efficacy, significantly lower than the 90+% efficiacy we saw from the mRNA Covid shot.

What I'm really curious about is the side effects; Moderna's Covid shots seem to have a worse side effect profile than the inactivated flu shots -- what would the side effect profile of an mRNA flu shot look like?
I actually like Schmidhuber, and I don't mind his boisterous arrogance, but you have to admit there was a heavy dose of Schadenfreude there in him missing out of the Turing awarded jointly to Hinton, LeCun, and Bengio.
> Luxottica owns Ray-Ban

That's putting it all mildly!

https://www.luxottica.com/en/eyewear-brands

https://www.luxottica.com/en/retail-brands ... including EyeMed vision insurance.

Overall the massive consolidation limits your choices for eye insurance and/or vision care providers.
Facebook’s Ray-Ban Stories glasses are a catalog of bad decisions
Minor correction to what I said. Async means we do not keep someone/something waiting for response. There are so many options on the implementation as you described.
> Honestly a lot of colonial rule feels pretty awful too, and with a similar flavor.

I suspect what makes colonialism feel less shocking is that most of the cruelty happens "out there" and the day-to-day activities that promulgate it were usually done with native man-power in those regions. Like one faction there that was elevated above the others and made to do the dirty work.

The primary beneficiaries aren't forced to see and live with it and very few of them ever have to go and get their hands dirty. This is all sustained by a set of narratives and beliefs back home that sanitize these activities and depict the foreign populations as being not sophisticated enough for self-government or appeals to reason. They were either childlike and ignorant or inherently violent martial races.

Sparta, in contrast, had a hereditary elite that does its own dirty work up close and didn't seem to be engaged in any self-deception about the moral status and intellectual capabilities of their slaves.
Think of it like a GPU compute shader. Like a shader, you have to submit "the whole thing" to the kernel at once, so that it has the program available all at once in its own context, and can guarantee it won't get blocked waiting for your app to submit "the rest of it."

To enable the client program to submit "the whole thing", you really need to represent that sequence of operations as some kind of instruction stream loaded into a buffer — either a text-based one (source code in some language), or bytecode in some ISA.

(Why not capture a sequence of API operations that do nothing when called, but instead build such an instruction stream; where "committing" them actually runs the instruction stream? Y'know, like a Redis pipeline? Because a "pipeline" like that can't branch based on the result of executing part of it, unless branching/looping/etc are also implemented as operations in this hypothetical fluent-API-DSL. At which point, you're just programming with the semantics of another language, with extra steps.)

And if a static analysis pass is going to occur to check the code for runtime complexity, then you're already transforming the input into a different verified output with an intermediate AST-like structure; so at that point you may as well accept a text-based format and expose a "compile" system call. Just as GPU drivers do for compute shaders.

I'm guessing that there's probably an internal ZFS API allowing you to instead pass in some kind of bytecode (LuaJIT bytecode?) and just have it directly static-analyzed and plopped into a kernel handle, rather than parsed, then static-analyzed, then codegen'ed. They'd definitely need something like that for testing.
Despite a lot of propaganda, our elections are actually better organized with every year. Haters gonna hate, but not so many countries provide 24/7 recording webcams that allows to catch and put in jail fraudsters. A lot is made to prevent fraud, and specifically to mitigate the tactics with dopplegangers, our ballots have not only photos and names of candidates, ut a short summary of their career, place of work etc, so it’s pretty hard to vote for the wrong persone if you’re paying any attention.
> "it implies a second categorization which is false"

What is the second categorization implied by the quote from the author?

"I’ve invited a wide range of guest lecturers to address my classes, from Flat-Earthers to Christian apologists to global climate skeptics to Occupy Wall Street advocates. I’m proud of my work. I invited those speakers not because I agreed with their worldviews, but primarily because I didn’t."
I trust that people with a cell phone in their ear are probably using them to talk. On the other hand, if someone has their phone up in the usual taking-a-photo-with-their-phone pose, then I'll also assume they're taking a photo, and if they are holding their phone out like that in the locker room, I'd ask them not to.
> not blaming other people that don't look like you coming up

What makes you imagine anyone here is blaming people that don’t look like them for something?
We are talking about regulation. Regulation is a set of rules concerning capital requirements, consumer protection, etc. that apply to all market participants. Even if such a set of rules could be implemented as a "smart contract" (a computer program), a smart contract only has authority over the specific assets it controls. It's powerless to enforce a regulatory regime. So, to say that a regulatory regime can be replaced with smart contracts is basically a crackpot idea.
If only actual wages were tax-deductible.
This might kind of make sense. Their main point may be to not be ostracized within their own circle. They aren't actually thinking about the larger consequences at all. "Who cares if we trigger a civil war, I want the golf club to continue to welcome me!"
"This phone really shows fingerprints, so I would knock it down a notch, except this easily fixed with this dope x brand skin, so it's ok!"