skysight-inc/HackerNews huggingface dataset:
There's no technical limitation, only a time constraint thus far as it's just a side project.

The main piece of feedback I've received is to provide FAANG listings outside of the US, so I will work on that next.

Thanks for the input!
Replaying real life: how the Waymo Driver avoids fatal human crashes
> They all learned C++ somewhere, and I doubt that most of them had access to the official ISO standard while doing it.

There's a difference between “learning to use” and “implementing” (though having access to the standard is good for both, it's more critical for the latter.)
How do you reconcile your idea that Islamic banking systems will lead to no inflation with the inflation rates of countries that have large Islamic banks, which are much higher than the US?
I am fine where I am. I will graduate next year in Computer Science and Bussiness Management with good grades. I thought about quitting and enrolling in Computer Science and Mathematics when I started. But I think I can make a bigger impact in the world by staying in my current program.
Aside from obstructing access, ISO produces really low-quality standards. The prose alone leaves much to be desired in terms of clarity and concision. Knowing that, I'm relieved each time I am to deal with an IETF standard instead, which wins on both fronts (quality and access).
Wave Computing is changing its name to MIPS, like how Tandy changed to RadioShack.
The CEO selling most of their shares after the lock-up period expires would be seen as a majorly negative signal.

If you are not the CEO or a top executive, investors won't care, or even know. It's best to diversify. Even if you lose out on potential future appreciation - and get market returns instead - it's a dramatic reduction in risk, and presuming you get a lot more value out of the first few million than in more millions later, it's usually a good tradeoff.

If you are the CEO or a major shareholder, consider establishing a planned schedule of stock sales. Investors will not be so concerned about a gradual selloff that appears to function more as a method of providing constant cash flow.
We need diversity for solving different problems, not for diversity sake.

What problem did MIPS solve in a unique way that others didn't? Because it wasn't desktop, mobile, embedded, graphics or AI.
A zombie apocalypse would lead to a collapse in production and thus eliminate the ability to exchange USD for physical goods and services. Currency is just a points system used to allocate resources. It's a necessary evil. If we could allocate resources in a more effective way we would do it.

What resources does Bitcoin allocate? Isn't Bitcoin merely glorifying the concept of currencies but without anything to justify its existence? Since when did we ever talk about the USD (or any other currency) as being an end in itself rather than a means to an end?
i don't expect either of you to change your preferences, but i do expect everyone, and in this case you too, to not put so much weight on your personal preferences, and to stop to expect others to conform to them. there is no reason that you could not get along. that part of the culture is what needs to change. everyone needs to be more tolerant of different preferences and interests. in other words the culture of the company needs to change to be more tolerant

and you are right of course, the larger the company, the more difficult the change.

company culture comes from the top. it is the leaders that need to give good examples.

i'd say though that 20 people should still be manageable. as long as everyone knows everyone else.

it takes longer and more effort in larger companies
India: Icici registers 1M users from other banks for mobile payments super app
This is called projection. You assume people cannot be trusted because you cannot.
I think that plant is just for oxygen and nitrogen (plus the bonus argon for the welders.) Somebody did a calculation that showed that the number of truckloads of methane needed to power the plant was substantially less then the number of truckloads of oxygen that would otherwise be needed.
At a certain point you would think it's cheaper to soak up excess energy with something other than lithium-ion, like gravity batteries or flywheels, but apparently not...
I've tried to use Paperspace in the past, but the leap in pricing (for Core) from $60/month for "2D applications" to $120/month for "3D applications" is too high. I have a low intensity, always-on (24/365) 3D application that doesn't require a powerful GPU, but nonetheless requires compute that allows for graphical workloads. I would love to use Paperspace for our case, but I currently can't. :/
There is a book "Schachnovelle" by Stefan Zweig (don't know the English title) who starts to play against himself in while in prison. Good read.
That's a great suggestion, we'll work on getting this added to our list of FAQs.
Toward the middle, referring to author's very trusted counsel:

> “Ben, I’ve gone over the law six times and there’s no way that this practice is strictly within the bounds of the law. I’m not sure how PwC justified it, but I recommend against it.”

Toward the end, about the CFO's sentence ostensibly for breaking the law referred to above at another company:

> Once the SEC decided that most technology company stock option procedures were not as desired, the jail sentences were handed out arbitrarily.

Emphasis mine. I don't think that word means what author thinks it means.
I would say that a yacht racer, or other athlete's, "output" is their wins/ranking in competitions. There are devils in the details of how you assign a simple number to that, and Goodhart's law is always lying in wait, but that seems to be the right kind of thing to measure.

More cynically, you could measure a racer by the amount of revenue generated by sponsorships, ad placement on the yacht hull, endorsement fees/kickbacks, etc.. If you have two equally competitive racers, but one is more mediagenic, perhaps that one has higher "productivity"? If a racer often loses, but does so in engaging, nailbiting ways that create a following, perhaps that one is "productive"? A wrestling "heel" may lose their bouts but be a successful character, say.
I'm hoping there's some broad reform coming for jails and prisons in the US. Currently, there's no uniformity in the way prisoners are treated. It's not unusual, in the US, for a prison to have no television, no books, little actually edible food, limited human interaction, etc. You can't even write a letter if you don't have someone on the outside funding your commissary account.

That setup, of course, just ends up being a gladiator school and/or permanent psychosis camp.
It's applicable in either case:

- As you mentioned, if I'm editing a document, it's useful to have an allocator on a chunk of memory dedicated to that document. When I close the document, I can then simply free that chunk of memory - and everything allocated against it.

- If I'm implementing an operating system, I'm probably going to want to give each application, driver, etc. a limited amount of memory to use and an allocator against that memory, both so that I can free a whole process at once when it terminates and so that a single process can't gobble up memory unless my operating system specifically grants it more to use (i.e. by itself allocating more memory and making the process' allocator aware of it).
There's a simple mathematical argument to thwart your prof. Imagine an equation of two or more variables (such as "capacity"). For example the "capacity" of a storage unit is an equation relating height, width, and depth to volume (3 independent variables).

Any such equation can only be represented by a single number ("capacity" or "productivity") if all variables are dependent (and therefore, there is only one independent variable in the equation).

So the assertion your professor is making is that the "capacity" of a team is always exactly dependent on hours worked per day, and any other proposed dimension of capacity (such as years experience, field of study, languages spoken, cases won, relationships with judges) are dependent on "hours worked per day". If he agrees any one of those variables affects capacity, but does not depend on "hours worked per day", then a single number can never reduce the dimensionality of the output (you need at minimum 2 numbers to represent two independent variables, you can never "collapse" the data).
Vibing Cat Synchroniser – Generating Memes Using Waveform Analysis
> You gotta be realistic against who you're competing against, and thanks to how mobile tech professionals are, European companies are competing against not just their area or city, but often against Silicon Valley.

If Europeans want to get better salary there's one option. Vote with their feet and simply work in SV.
Reminds me of Isabelle de Borchgrave's incredible paper dresses.

https://www.vogue.com/slideshow/for-artist-isabelle-de-borch...
Right, that is the exact line of thinking that TFA is arguing against. It's a pretty short piece as it is, but if you're looking for a TL;DR then this is as good a sentence as any:

> If a nonprofit doesn't understand better than its donors where money needs to be spent, then it's incompetent and you shouldn't be donating to it at all.

Though see TFA for some (corner-) cases where this might not apply.

Open to your thoughts on why TFA is wrong on this point - but I think you need to flesh your case out a bit more to at least address the arguments presented therein.
> detect the earliest signs of cavities and gum disease - then provide evidence-based recommendations and treatments to help prevent them.

What preventative treatment is this? If it isn't just "brush & floss", then what is it? If it's so great, why not just tell everyone about it now - why do you need a microbiome test?
Not a lawyer, but I’d assume that the option price would impact both the tax treatment of the option and the reported financials of the company.
There's something beautiful about watching a billionaire (or almost one) tell the ISO Central Secretariat "That's dumb."
Wouldn't it make sense for the basket of goods used to compute CPI to try to blend the impact of rents (which are included) with "affordability" of buying a house (maybe measured as the carrying costs of an average property per month, which would exclude principal payments)?

Otherwise, because rents and house prices don't always move in lockstep, it's hard to measure the buying power of a dollar over time.

When thinking about purchasing power over time or between different cities, I often think of it as "assume I'm buying 1/180th of an average house in that city each month" as part of a representative basket of goods.
You don't need to become an investment manager to invest in stocks and bonds any more than you need to become a bank manager to have a bank account.

Just buy a mutual fund (preferably indexed) from somewhere like Vanguard and let them figure it out.
I was shocked at the accuracy of the Wonderlic test, a timed 12 minute test with 50 questions (not always expected to be able to finish them) in terms of how it correlated with other tests that I took in the past.

Not sure that layer after layer of tests would necessarily be better than Wonderlic plus a short interview in person to get a read on personality fit.
I think it's referring to this event: https://www.investopedia.com/articles/optioninvestor/09/back...
Cheap housing/rent seems to fix so many other issues that I wonder if we'd be better off as a society first focusing on that vs introducing new approaches like UBI. I appreciate New York was not always a nice/safe place to live, but the cheaper housing during those times certainly gave fruit to a lot of benefits to the arts, culture, etc too.
Over two thousand years ago there were two kingdoms called Judah and Israel. Judah encompassed the southern West Bank and Israel the northern West Bank. These kingdoms were destroyed and became part of the Assyrian, Babylonian, Persian, and the Roman empires. The modern State of Israel claims that it is the spiritual successor to these kingdoms and that it therefore has a right to the same territory that these kingdoms once encompassed. Furthermore, Judaism's holy book, the Torah, describes how God gave his people, the Israelites, this territory. Many Israeli Jews believe that they are somehow related to the ancient Israelites.

While many Israeli Jews (likely a majority) acknowledge that the West Bank is "occupied", technically, according to international law, for the above reasons, they insist that Israel has a legitimate claim to it. The West Bank is in Israel commonly referred to as "Judea and Samaria" because those are the names used in the Torah.

The goal of the settlements is to create "facts on the ground" to make it harder for future governments to relinquish the occupied Palestinian territories. As Israel's former prime minister Ariel Sharon phrased it: "Everybody has to move, run and grab as many [Palestinian] hilltops as they can to enlarge the [Jewish] settlements because everything we take now will stay ours... Everything we don't grab will go to them." This is precisely why it is considered a war crime for an occupying power to transfer parts of its civilian population into occupied territory.

Most Israeli settlers live in settlement blocs and it is not dangerous for the setters to live in them. A smaller number of settlers are religious extremists and they establish "outposts" - settlements built without explicit permission by the government. These settlers are often well-armed and coordinate with the Israeli military. Palestinians, on the other hand, are for the most part not allowed to own firearms.
Welcome to Hacker News, where anything critical of Silicon Valley's religions (climate activism and veganism), no matter how well-reasoned and factual, gets downvoted to death.
Fluree – Immutable Graph Database with Cloud-Native Architecture (Open Source)
A decade long Google account disabled with no warning or reason
Tesla Admits Current ‘Full Self-Driving Beta’ Will Always Be Level 2
The Unstoppable Momentum of Outdated Science
> But wouldn't we always want block space to be at least a little bit of a bidding war

Once we get to the point where everyone can do 10 TXs per day without a bidding war, then maybe. But also consider that we can currently store every single bit of communication in the 1980's on a chip about the size of my finger. History seems to tell us that what we think is a large amount of data becomes commonplace in a few decades.

Probably another way to look at it is that people regularly open their mobile phone or browser and view a few minutes of video and transfer 300MB - 1GB of data to do so. During that same time the transactions of the entire world economy could have been transferred.

Well they also decide what to put in the blocks they mine. Nobody forces anyone to put something in a block. And, yes, they also can decide which fork to run.
Apple to Launch Mixed Reality Headset in Mid 2022 and AR Glasses by 2025
They share RTL, but it's not just a POWER core with a z/Arch frontend.
Location: London, Ontario, Canada

Remote: Ideal

Willing to relocate: No

Technologies: MERN Stack , TailwindCSS, Git

Resume:https://drive.google.com/file/d/1-p65rI8pdAYZ7Oc-L8RZSruPyBD...

Email: philipminielly@gmail.com

Portfolio:https://phildev.netlify.app

LinkedIn:https://www.linkedin.com/in/philip-minielly-162230191

About me:https://www.linkedin.com/pulse/philip-minielly-hirabledev-ph...
If there is, I haven't found it yet. Many national standards I've seen don't seem to even have DOIs assigned.

My tiny stash of climbing relevant EN safety standards only exists because of a scrappy Russian climbing community web server someone uploaded to.
See my response above, but this suffers the same problem. Economics people talk about "utility" as a single number, when in reality its a multi-dimensional (perhaps infinitely dimensional) number. Because it depends on a multitude of independent variables (age, health, experience, intelligence, expertise, efficiency, relationships, persausion / charisma, etc.), it can never be simplified. This also makes it impossible to compare two utility values, because there's no way to strictly order variables in many dimensions (without arbitrary reduction in complexity that loses information like calling "cost" or "hours worked" the primary axis and sorting on that).
TLA+ is fear driven development. If you have any fears that your TLA+ model or proofs might have been written wrong, your job is to encode those fears as further TLA+ proofs.

The last TLA+ specification I wrote was only about two pages long. The actual model was a handful of lines. A handful of definitions. And then a page and a half of proofs and proof proofs.

So it's easy to look over your spec exhaustively. And if there's any part of it you aren't sure about, or think you might have written wrong, then write more proofs that show that it you can't have written it wrong that way.

The IDE provides lots of feedback and ways to debug. So like learning any language, you'll spend your formative time just trying out different parts of the TLA+ semantics and introspecting the outputs to make sure the models are behaving the way you expect them to.

TLA+ is very much like doing math. If you do it wrong, you get answers that don't make sense. And it's easy to check if you're doing it wrong, by doing something you _know_ is wrong. If you get a "right" answer, you know you are making a mistake or don't understand a semantic correctly. The joy is that TLA+ allows you to write out these proof proofs and have them checked every time along with the rest of your spec.

> how do I decide if the most plausible cause is a bug in my code, or a bug in the spec ?

Your implementation and your TLA+ model share the same state data structures (though the TLA+ model might have a simplified representation of those states, eliding unimportant details). If you suspect your spec, you just copy the broken state sequence your implementation is encountering into your TLA+ model. If the model displays the same behavior you know your spec is wrong. If it doesn't, you know your implementation is wrong.
The difference is there are actually formal guarantees wrt privacy - such as k anonymiy, l diversity, and differential privacy.

If you can PROVE anonymiy (to a certain extent), theres little privacy issue.

The problem is that, frankly, lots of people have no idea what they're doing (or are just lying about it) – claiming location data is anonymous (it doesn't take many data points over time to identify someone), or that datasets with names removed are anonymous (they're deidentified, and the remaining attributes might be enough to identify someone).
I'm sure lawyers think they try and settle things efficiently as well.

The software engineering profession is riff with wasted work: rewrites, new bullshit services and tech, insanely complex clustering and cloud deployments, etc.
The general public only cares about consumer goods. Why would they know anything about a payments processing CEO? The "star" CEOs are all from consumer goods - Steve Jobs, Bezos and Elon Musk are probably the only ones any American can name.
* THE HARDEST TO CHANGE
By implementing a systems solution similar to Stafford Beer's VSM (https://en.m.wikipedia.org/wiki/Viable_system_model). Or to ovrrsimplify the idea, self-managing teams which integrate with their environment for feedback and management for direction (which I believe is the agile/lean practices done properly).

The specific approach to metrics I was referencing as being better is known in cybernetics as an algedonic alert. It doesn't seek or claim to provide information, it only rings the bell of "investigate this area", like a CloudWatch alert for your organisation.

Using metrics to make decisions is the mistake in my mind.
I know this is controversial to some, but IMO if it keeps them in power and is backed by a physical asset, it's just an overengineered database, and not a true cryptocurrency because it misses the point which is about control.

And yes, I'm well aware of many such meaningless """cryptocurrencies""".
Competition between cryptos?

If BTC miners band together to cause inflation, then people migrate to ETH or <insert other crypto>. BTC loses value, and them miners have 1. not gained value even with the extra 1M BTC per block, and 2. lost value because their mining rigs generate less value per energy unit.
TLA+ specs are often short which aids in verifying and validating them, especially in comparison to typical development projects. TLA+ also permits ignoring non-essential details and focusing on the core aspects of the problem.

As an example of the latter, I used TLA+ once (only) for work to great success. But the spec I wrote ignored nearly every detail about the larger system, and focused on a few hardware details and modeled the shared memory system as a simple sequence of, rather arbitrarily, 5-11 elements (fixed in the models, in the spec it was a variable). What was stored in the memory? It didn't matter at all, it could literally be anything as far as the model and spec were concerned.

My point being, the spec was so simple that visual inspection and a bit of analysis could tell us that it was correct, it fit in a couple pages if printed out. Model checking let us verify that it had the desired behaviors (with respect to the invariants that I put in based on the official specs for the hardware). Later, weakening the invariants allowed me to "recreate" the race condition that existed in the hardware implementation and was causing all our problems.
jnovek, this is what we do. We create relationships, but this is not opposite with understanding who your audience is.

Probably our biggest mistake is that we are not familiar with these kind of tools and did not know the danger (we did check reviews of the service, of course but they were not helpful as you see).

Anyways, I appreciate your suggestions. We will indeed be more careful from now on.
ISO deals with way more than just C++ and SQL.
How We Made Our Hiring Process for Engineers More Efficient – and More Fair
In other words: You disagree with what your government is doing. Instead of convincing your fellow citizens that it needs to do less, you take matters into your own hands like a wannabe dictator.
Given the billions of Android devices in the developing world, "typical Android user" possibly doesn't have a computer at all.
This we do.
MIPS was a nice simple ISA for CE students to learn and implement. Both ARM and RISC-V have gotchas that make them more complicated.

I suppose it will live on in that form, especially if the IP is opened up.
why would a console last 3 years (barring failure obv.)? Typical generation is 5-7 years.
In the last ten years I have written useful programs in Python, MATLAB, C++, Java, and PLC programming languages (ladder-logic and structured text, which is like PASCAL). I do a bit of Python and Julia programming now and dabbled in Rust but with little free time, I don't have time to do much more.

I'd love to switch over to software development but don't know how to manage the transition. I am willing to take a pay cut.

I have a PhD in chemical engineering and have done a lot of different things: control system engineering, biotech, semiconductor and MEMS fabrication, some aerospace, cryogenics and low temperature physics, vacuum system and surface science, etc. I think there are organizations that would appreciate that I need some investment but would pay it back with interest... difficult finding them, though.
To be fair to my professor, the question does make sense in the context of the subject. That is, the subject focuses on answering questions like: How much I am producing? How much could I produce? How do I measure that? Etc. The subject intentionally ignores business models.

So, the question "How do you measure the capacity of a legal team?" (note it says capacity), makes sense. It's the answer I disagree with.
Turns out there is more to money than serving as a reliable medium of exchange
Yeah cipro kills everything. I used to carry a script for it while traveling in case of emergencies.