skysight-inc/HackerNews huggingface dataset:
> What you're describing is the reverse direction, simulating a TM with pencil and paper

That's what I'm describing, but what is it the reverse of?

You wrote: "If theoretical physics can find a complete model of all particles and spacetime, and we can show that a Turing Machine can emulate it", to which I added "then a person with pencil and paper can simulate its execution", so putting these together a person with pencil and paper can simulate your complete physics model. How does that suffice as a counterexample to the Church-Turing thesis?
No, it hasn't. It is possible to layer an optimistic concurrency model for session transactions on top of our protocol, but the database standard library is sufficiently full-feature that it's easy to express most application logic as a pure function over the current state of the database.

Most read/modify/write cycles end up being essentially that, but with the added confusion of local application threading and standard library. We eliminate that, but preserve the general ability to express a complex query in application code (which also increases application concurrency since the database executes transactions with maximum parallelism.)

Transactions do not have to be pre-registered as stored procedures.
So what are we supposed to call them? "The I wish I knew what they called themselves 10,000 years ago people" doesn't really disambiguate between prehistoric people from different regions.
> I've written several heap-based priority queues over the course of more than two decades of professional work

Out of curiosity, what terminology would you use to distinguish between a heap that offers up the lowest value first and one that offers the highest value first?
All of those applications are ok if you don't actually need to produce commercial documents.
Libreoffice and Google Docs aren't good enough, and if you're doing anything other than basic data presentation with Excel it's not compatible with any of them.
AFAIK it doesn't matter. DNS over TLS would work fine too (though I'm not sure if Firefox supports it). The important thing is that you're not using plaintext DNS, as that would defeat the purpose of using ESNI in the first place.
The system described sounds awesome. As someone in the US I would love to pay a portion of my taxes to a state/town that isn't ruled by corrupt and inept busybodies who's politics I disagree with. Getting a some % back or having my corrupt dump of a state match the donation would just be icing on the cake.

10% losses due to middle men doesn't sound that bad when it gets you the freedom to choose where your tax dollars are spent.
The argument was based on the premise that the insurer would drop anyone that would cost more than they pay.

In that system everyone who pays the insurance would be better off putting the money aside as they wouldn't have to pay for the admin overhead.

Even if the catastrophic event happens early in the timeline it would probably be better to take out a loan than to pay the insurance.
W3C Strategic Highlights
For sure. To be clear, I mean that regardless of what your bosses say you have an obligation to the people you manage. Obligations do not only run upward. (This is something bad managers often do not understand.)
>One of my colleagues complained a while ago to management that "you hire brain surgeons and put them to work to peel potatoes".

I work in one of the top tech companies that is not FAANG, and the sentiment is the same. They hire only PhDs for a big chunk of the company and they pay relatively well - most of the people who complain about this cannot get a better paying job.

A friend of mine even said to his boss 6 months after he was hired "Why did you hire a PhD like me for this job? This work is not even close to requiring a PhD".

While I feel for him, my counter is "OK. Where would you rather work where you will do work worthy of a PhD?" They'll usually name the same few places, and not realize that those places are already "full". And they all pay less.

The reality is that there are many more qualified people than positions for the interesting work. If my company decided that yes, you're right, we don't need to hire PhDs for the job and we'll just hire MS folks, then the very people complaining would be in another company, getting paid less, and complaining about the same thing.
Sounds nice, but unfortunately not that simple - https://en.wikipedia.org/wiki/Oregon_Ballot_Measure_5_(1990)

Oregon cut property tax (used largely to fund schools) and mostly centralized (at a state-level) educational funding. The result - budget cuts and service decreases, lasting through to today.

The sad fact is people care far more about their schools (or more likely their stadiums/football teams but that's another matter), and will vote for tax increases (or at least not vote for tax decreases) if they know the money is supporting that. A naturally global perspective doesn't come easy to Homo sapiens.

Looks at current affairs more generally...
There are no seals on the doors so probably plenty of airflow.
The Spanish language is still commonly called "castellano" today.
Ask HN: How do I find electronic engineers who'll join a startup?
I'm a web/software developer by trade, and I'm intending on starting a company that will involve building electronic devices, mainly focused on the IoT industry.

I live in the West Midlands area of the UK, so I'm far from the startup bustle in the US.
What would be the best way to meet people who would be interested in joining a startup company in this part of the world?
Under 60, too.

The fear of overdose is misfounded, IMHO. You have to try really hard. Deficiency, on the other hand, is endemic.

"Vitamin D deficiency is a major public health problem worldwide in all age groups, even in those residing in countries with low latitude, where it was generally assumed that UV radiation was adequate enough to prevent this deficiency, and in industrialized countries, where vitamin D fortification has been implemented now for years."

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4018438/
Who are you hacking for or talking about what you read with? It's easy to believe you are getting better when no one is around to give a reality check.
>>Also that sounds like a tax code bug and not a rich people problem. The government is allowed to collect exactly the minimum required by law and nothing more.

Not to be "that guy" but who do you think is writing the tax code, if not rich people and the government officials they help fund? Of course it's a rich people problem, or rather a rich people solution.
It sounds like you're arguing that you'd require source code to see whether something was using math/rand vs. crypto/rand, something that is literally evident in the control flow graph of a program. I do not doubt that source code makes it easier to review code when you're half-asleep at 4 in the morning.

For your particular example: go download a copy of radare and pull up any go build artifact and see for yourself how hard it is understand what's going on.

I don't know about your security engineering career, but if you intend to get serious about vulnerability research, yes, you should learn more about how researchers test shrink-wrap software. I spent years at a single stodgy midwest financial client doing IDA assessments to find vulnerabilities in everything from Windows management tools to storage appliances. It wasn't my IDA license; I was augmenting their in-house security team, which had 4 other licenses. This was in 2005.
Someone correct me if I'm wrong but having FSD as an unfulfilled feature is a liability on your balance sheet. I once worked at a place that had to return hundreds of thousands of dollars in account credits (to be used for future services) in prep for a merger.
Not sure if you’ve been driving one for some real time, it is very practical, I wouldn’t go back to any of my previous car.
That's the reason why sending more money to schools at some point doesn't do anything to improve outcomes. It's much better to spend on safety nets like single payer healthcare, unemployement support etc... so that parents can actually get more involved with their kids' education.

But in Mad Max America only the strong survives so none of that will ever happen. I hope the "winners" like the world they are creating because I find it fucking horrifying.
Nor Catalonia, Nor Basque Country were medieval kingdoms and indeed their nationalist resurgence started at the end of XIX century.
One argument that I often don't see mentioned when talking about OOP code, especially the admittedly awful enterprise type, is that this style of coding is happening for a reason.

I think the reason is this: you have a large sprawling codebase, consisting of tens of thousands of 'business rules' or more, and you have to find a way to allow cheap run of the mill programmers to make changes to those business rules in an approachable manner.

I don't think it's fair to evaluate enterprise OOP code based on the style you would prefer when undertaking a standalone project, even a large one, when one of the very problems that this enterprise style is trying to solve is how to have hundreds of fairly green developers work on the codebase.

Now, as an exercise imagine taking this social problem I've described above, and implementing it in your favourite programming style, be it lisp/scheme, functional programming, JS or whatever you prefer, and try to honestly imagine whether it would hold up any better under those conditions.
This article is great at defining off the bat what the heck an opportunity zone is. /s
You could always point your DNS at your own DNS-over-HTTPS server, then configure that server to forward requests over an encrypted connection to another DNS-over-HTTPS server.

Don't know if there are any tools available right now that will do that for you, but there's no technical reason why it isn't possible.
Yeah, that happens a lot. There's no need to treat the 13th Amendment as a unique case. The default state under natural law is that there is no such thing as legitimate involuntary slavery; treating anyone as a slave without their consent infringes on their inalienable rights. As such, there was never any need to ban private parties from holding slaves; the slave holder's only tenuous claim to legitimacy comes from the fact that the government takes their side, recognizing and enforcing their claims while simultaneously ignoring the natural rights of their slaves.

I suspect the convoluted arguments proposed for why the 13th Amendment must be unique are a direct consequence of the tortured logic needed to reconcile the institution of slavery with the principles on which the Constitution was based. Faced with a choice between acknowledging the government's role in legitimizing slavery or else arguing that it was merely a "private" matter which the government had thus far refrained from regulating they chose the narrative which minimized their share of the blame. This is akin to how the Interstate Commerce and General Welfare clauses have been perverted to justify all manner of legislation outside the narrowly defined scope of the federal government's enumerated powers.
The dream of DisneyQuest is dead
Not a blocker, but an eventual solution needs to come up with a meaningful comparison metric - the ones referred to now are meaningless ("no crashes except for things that are not counted as crashes under our definition, which doesn't look suspiciously circular").
https://fundrise.com/opportunity-fund
√2 is a bad example for this purpose; there are only countably many algebraic numbers.
Ask HN: Do you need a BS in CS if you have a BS in CIS?
I currently have a BS in “Computer Information Systems.” I started in computer science but got attracted to the information security domain and kind of regret not getting a computer science degree. My end goal is product/data engineering in whatever domain.

Do you think I should simply learn what I don’t know or go back to school for a second BS in Computer Science?
It would seem to be a mistake to generalize across the entire nation, and basing your analysis on a denominator of school districts will be weirdly biased; better would be on a student-weighted basis.

Locally, i can tell you that despite the bulk of funding coming via the state California district spending per pupil varies widely. The quite adjacent districts of Fremont, Oakland, and Piedmont spend $10k, $14k, and $20k per student, respectively.
As I wrote below in a similar comment about Ceph, there is no global distributed metadata layer.
If you want to rename a directory or a file, it is not an atomic metadata operation. It may involve copying across servers (bricks).

Reference:
http://www.admin-magazine.com/Articles/Comparing-Ceph-and-Gl...
Mohenhjo-daro and Harappa are just two sites in a much larger Indus valley civilization.
This has been known forever, and it doesn't only affect websites. DNS over TLS has the same issue, and effectively gives more information to DNS providers than regular DNS.

Which is why dnscrypt-proxy can disable session resumption for DoH, or can use a new key for each transaction when using the dnscrypt protocol.

(Intra won't allow disabling it because apparently, users are idiots https://github.com/Jigsaw-Code/Intra/issues/101 )
Tesla Model 3 Now $35k after incentives
This doesn't seem remotely hard to understand:

* I use a washing machine

* The dryer is directly on top of it

* Moving clothes between the two takes roughly 10 seconds

* I don't have a clothesline(s) in my yard

* Land might be utilized for other things, requiring more complexity than just hanging (eg, pulley systems and the like, which of course you see in many places)

* Energy is cheap

* Time is precious

* I tend to prefer fluffy clothes out of the dryer to stiff hang-dry clothes

But to me, the number one indication that your expectation is unreasonable is that you specifically mention "even in summer". With that comment, you're indicating an awareness that hang-drying may be inconvenient or impractical during part of the year. If that is the case, and now you need a machine to do the work, why not use the machine year round? You already paid for the convenience, so at this point, the only reason NOT to use the machine is to save energy.

On a personal level (I live in California, so the weather is almost always nice), the number one reason I don't hang dry clothes is because it takes way too much time. I can rarely be bothered to even put my clothes away after doing laundry. I find it extremely tedious to deal with every garment individually.
I too believe it's quite not there and won't be in a while, but sneaking the hardware on the running fleet allows to gather load of real world training data.
This article and articles like it presume some magical workforce you can hire that will transform or organically evolve your application into a microservice ecosystem. But the fact is that people who know how to execute a microservice architecture, muchless willing to work on your particular budding application are few and far between. So if you don’t know how to build microservices, it seems really hard to start with microservices by factoring a live running application while you are also simultaneously trying to keep that application up and functioning and feature developing in order to monetize it. Wow does that sounds difficult.

So it makes more sense to me to build out from microserves—they can be embedded in one JVM or whatever—so you know how to organically evolve and can focus on monetizing your application.
Lucid Chart raises 72M
You seem to skip straight to the end without realizing these companies did not even exist a few decades ago. They grew to their size because they provide value.

I've already said previously that companies tend toward monopolies and that's when problems begin, but that's on govt antitrust to handle properly. Whether it does is another issue, but it doesn't erase the fact that people have gone from 0 to B by creating companies from nothing and making a large impact of society.
> I set apt-get upgrades to go every month or so automatically. Kernel upgrades happen on reboot. Doesn't even notice!

From experience, this is a terrible idea.

ChromeOS is the only one that I have never had issues with when it comes to silent updates. Windows (document deletion in RS3), MacOS (scanner issues in Sierra), Ubuntu (rsyslog errors preventing Bionic upgrades) have had various issues over the years that I would not impose upon non-technical users. Granted these were major releases, but silent updates are generally trouble.

I like the definition above; a non-technical user is one that does not know what a codec is.
You mean the person who was fired almost as soon as he got there and which the trial showed had near-zero contribution?
I know it is easy. In this particular example, it is also trivial to write it from scratch.

But, if UIOP:STRCAT is such a "standardized" solution as you claim, then I believe it should become part of a (hypothetical updated) Standard, not a second-class citizen behind a member of the ancient aristocracy like Lord CONCATENATE.

What I mean is that I think there should be some kind of mechanism so that standardized solutions emerge (from widely used libraries for example) and become part of the Standard. Like it happily happens in many other domains.
I'm predicting that they are temporarily eliminating this while they work on the HW3 suite. If they kept offering FSD, that would be more AP computers they'd have to replace for "free". They already know the 2.5 computer isn't good enough for what they want, so why give away the new hardware for free when they can just bring FSD back later for a higher price to make up for the difference.
Not really, every car they manufacture (with or without FSD) always comes with the latest AP hardware they have. The FSD they were selling was just a software activation, they will probably start charging for it again later.
Dale Carnegie, in his book "How to Stop Worrying and Start Living", raised a similar point. I won't quote directly, as I read it in Polish; the following is based on my notes:

In one the latter chapters, he has a rule about "summoning your own enthusiasm". The primary observation in that part of the chapter was that it's really hard to truly exhaust someone physically, and even harder to exhaust them mentally, if they're doing something they actually care about. He gave some examples, one involving special forces people, and concluded that the primary source of tiredness for most people is lack of motivation - lack of interest, or not being able to feel there's a goal to all the work one is doing.

While my opinion is that Carnegie was exaggerating a bit here, I won't deny that this rings very true to my experience. As a programmer, I don't get physically taxed by work, and I very rarely get mental exercise too (most programming on regular web jobs is just plain tedium). But I do feel really tired on the job very quickly, and - back when I was a regular employee - the feeling used to evaporate almost immediately when I clocked out for the day.

I can even give an example from yesterday - lots of work and a visiting a doctor made me really tired by the evening, but I decided to sit down and write some code for a side project. My tiredness was gone immediately, and after 2 hours of cranking out code, I had to force myself to go to sleep, in order to have any energy for the next day.
To avoid the clickbait:

> "So is the Touch Bar a gimmick? I say yes."
Next you're going to tell me drafty windows will give me a cold.
https://3factor.app/#comparison-to-12factornet

It's an architecture. No claims were made that switching architectures is easy, quick, or even recommended.

There should be no comparison to 12 factor. The choice of title did make me click on it though.
France wasn't communist, but it was heavily influenced by communist ideas. I believe it had the second largest communist party in the West (after Italy), and Le Corbusier was highly revered in the USSR.
This is HN not facebook. People here are used to reading metrics, so you can elaborate. Show numbers instead of saying "very poor". Link to graphs.
My wife has one, and she only uses the touchID capabilities of the touchbar. Other than that, she doesn't like it.
I struggle to see what beneficial social effects there are from most people cynically ticking a box on a website to get half back as a gift card they immediately sell for 97% face value. The original intent of the tax program in compensating rural areas, yes; what it has morphed into, no.
The bias you are falling for is the assumption that what you are reading when you open said history book is not just generally about things that actually happened, but far more importantly not just "how they actually happened, why they actually happened" but what has been omitted and left out intentionally to frame a certain narrative that is not in line with the interests of those who make you believe the history book you are opening is 100% accurate.

The difference being that far more in the past where there was an inherent interest in preserving the accuracy of certain classes of events where self-interests demanded and required accuracy, today what you think you are reading, whose accuracy is assumed by proximity to criteria that are surely far more accurate (i.e., order of things that were not fantasy), there is an inherent incentive to distort the perspective because those who record and disseminate the "history" are far less likely also self-interested in actual accuracy of the history. It's essentially the "to the winners go the myths and legends" problem. The accuracy of events actually goes down in many different ways when you start muddling interests as modern society has. Do you ever think, e.g., that we would have written a history in which the enemy is the "good guy", but we just happened to win the war? Reality though is that the history you read assumes an accuracy through formality or deliberateness ... it is the same reason that so many people are conned into thinking that NPR and the mainstream media are somehow inherently more accurate or right, let alone just not devious, because they talk in a deliberate and calm and precise tone.

In many ways the very precision the western world has obsessed about is contributing to the very corruption of its soul because we are obsessed with procedure and process to such a blinding and OCD degree that we miss the underlying message and lessons. It's a rather mentally unhealthy mentality that insists on the "accuracy" that "not all of those who want to conquer us have killed us yet...", thus, post hoc ergo propter hoc, "...our enemies are also just like us because they say they are and we believe their words over their actions". It's an odd obsession with formality and process that has totally negated spirit and emotion and just plain and simply most fundamental and instinctual self-preservation.

So here we are and instead of having learned a history that makes us realize that "socialism" is not about being social and friendly, and communism is not about being a community even if specific details are not perfectly captured; we say, "well, since they have not been done properly we will give it all another go."
Here in California, 35 is a nice day... in the summer, we get over 40C, sometimes over 45C!

Although, it's a dry heat - I pity our east-coast and southern friends... the humidity makes it feel a whole lot worse!
George Hotz Coding a SLAM algorithm from scratch. Really insane.

https://www.youtube.com/watch?v=7Hlb8YX2-W8
The diaspora of Sefardic jews went even to Trukey and today you can still trace it. I don't know if you access there website:

http://www.istanbulsephardiccenter.com/

But their TW account tweets a word a day and it's awesome:

https://twitter.com/sefaraditurkey

Mos ambezaremos un biervo en Judeo-Espanyol kada dia / Her gün bir Judeo-Espanyol kelime öğrenelim. Let’s learn a word in Judeo-Espanyol every day /Aprenderemos una palavra cada día
The so called Aryan invasion/migration and existence of so called Dravidian people is just a theory, not a fact.
Exactly my thoughts. The article is nothing but pretentious.