skysight-inc/HackerNews huggingface dataset:
Rescuing Foundations of Computation
[Church 1934] remarked that the assumption that theorems must computationally enumerable leads to inconsistency for a foundational theory T that can axiomatize computation and provability by the following remarkable powerful proof:

In order to obtain a contradiction,
hypothesize theorems of a foundational theory
T are computationally enumerable. Then
procedures that are provably total in T are
computationally by a procedure that is
provably total in T. Consider the Boolean
procedure Diagonal defined on natural number
input n to be the result of the complement of
the result of the ith provably total
procedure on input i. The procedure Diagonal
differs from every procedure in the
enumeration of provably total procedures in
T. However, by construction, diagonal is a
provably total procedure in T, which is a
contradiction.

The dilemma led Church to conclude the following:
“Indeed, if there is no formalization of logic as a whole [theorems are not computationally enumerable], then there is no exact description of what logic is, for it is in the very nature of an exact description that it implies a formalization. And if there no exact description of logic, then there is no sound basis for supposing that there is such a thing as logic.”

The argument in [Church 1934] is so powerful that [Church 1934] expressed the view that it meant the end of logic. Fortunately, there is a better use for Church's argument as follows:

Using a more powerful theory than Church/Turing computing,
[Church 1934] can be turned around to construct a true
but unprovable proposition in foundations (instead of the
nonexistent one proposed in [Gödel 1931]).

Used in this way, the argument in [Church 1934] makes a fundamental contribution to foundations instead of demolishing the possibility of foundations as [Church 1934] concluded.
You’re right...the latter is far worse!
What a fucking loser posts his own blog then adds the site be posted to to a 'cesspools' blocker because he is so entrenched in being hateful
U.S. intelligence community increasingly involving itself in domestic politics
Sometimes I get stoned just so I can deal with lower IQ people. Kinda have to dumb myself down sometimes in order to relax.
Mistakes? Or misdirection?
1. Good suggestion, that's something I had in mind as a potential future improvement! Since my personal use case for search is mostly on my phone – sort of as a shortcut, right before starting to prepare the dish I'm searching for – arrow keys didn't make the "add before publishing" checklist.

2. I generally agree – but in the comment you've linked, it seems to me like you're arguing in favor of conveniences that CLI-focused static site generators can't easily provide. I've tried to keep things as simple as they can be in the CLI context I'm targeting: Pandoc has been around for quite a while, it's available for pretty much any system as a stand-alone binary, and it's one of the leaders in its niche. And Bash is everywhere. Compare with, say, Jekyll, which requires Ruby and Bundler. That can be a whole can of worms if your OS supplies an outdated version of Ruby (I've been burned before!).
So is the only unsolved zodiac cipher the text at the end of this? Speculation is that it could just be filler text.

ebeorietemethhpiti

https://www.zodiacciphers.com/chronicle-letter.html
Sometimes the govt needs to intervene and provide resources when you want to get things done properly.

https://en.wikipedia.org/wiki/Heavy_Press_Program
> Your screenshot shows old reddit

I don't think this is right, unless there's an "old new" reddit and a "new new" reddit. Old reddit doesn't have the alien avatars, or the lines indicating the thread. Also, the usernames are blue, and it looks entirely different in numerous other ways.

What I suspect you are comparing is the logged out experience and the logged in experience.
Can confirm.

Did a ROT-13/15 (vowels vs consonants, if it matters) test on _smart_ collegues. Turns out they fear the worst and start top-down.
I think the point of this article is the constexpr.js library, not the fact that syntax highlighting on the server-side is possible
It's a badly written article (is this a civil or a criminal case?), but my reading is that because of these facts the case was not immediately dismissed. Which does not mean Salesforce is liable, just that they need to show up for an actual trial.
You spent n-2 hours a day before? Productively?
No mention of Typescript. You'd be mad to consider writing a significant app without it, and React has really great Typescript support - even templates are type checked properly thanks to JSX/TSX, and basically all tools support JSX these days.

Vue doesn't come close to that, but it does look like Svelte is at least a bit better: https://svelte.dev/blog/svelte-and-typescript

I'd still be wary that there are big caveats though. React was designed for Typescript. Javascript projects that bolt it on later tend to have issues.
I actually came to this thread expecting more people to call out MobX. When I use MobX with react, I find it to be as simple and _fun_ as the author finds svelte. Most of the problems people tend to raise with React are problems that are solved by observable state objects.

I also evangelize it whenever I can -- I don't want MobX to be forever doomed to its status as a cult hit!
> The latter appears when analyzing subgroups gives a different result than analyzing the pooled data.

> The former is about correlations that appear in samples which are not representative of the general population, due to the way that those samples are selected.

You just said the same thing twice. Think about it.

For one you used terms like "subgroups" and "pooled data" and for the other "samples" and "general population". Those are the same things.

Then you used "[the effect] appears in" and in the other "correlations". Well, Simpsons paradox can also manifest itself in correlations. So you just said the same thing twice.
> Why do we need to keep secrets?

Because every geopolitical competitor is keeping their own secrets. Makes no sense to disadvantage yourself when your peer and near-peer competitors aren't.
In my experience, mostly DevOps.
`To wit` is more of an `id est` rather than an `albeit`, which is how it has incorrectly been used here.

(I'm writing this for the benefit of the ESL folks, not so much as an admonishment)
> has given management the idea that WFH frays the social ties

It does fray social ties. We're social beings, made for face to face interactions. That's how we operate. There's a reason almost every language has a proverb along the lines of "out of sight, out of mind".
CPU, OS, Search engine, Social networks, ...
Show HN: Beeple Generator
> This is FOSS. If this was a critical issue that blocked people from using the software, or aggravated a developer enough

Ah, there it is. It hasn't aggravated a developer enough, so it is a non-issue. And people wonder why the Linux Desktop is unpopular.
I loathe this line of thinking.

Yes, "It's FOSS, go fork it" and all that malarkey.

Painting with broad strokes: MacOS and others make money on things being polished, consistent and understandable. They don't get to use their hacker blinders and say "Who needs a GUI for that" or act like Firefox and rearrange the UI every six months.

Thus, often times, the usability of OSes with a financial incentive for broad accessibility will be the most polished.

Ubuntu for a period wanted to break into the desktop OS market. They focused on polish and went so far as to create their own desktop environment (and display server)! They didn't fully succeed, but the point stands: There are many people outside the hacker community who are not going to write their own DE, who nevertheless hold the valid (and often, IMO, correct) opinion that Linux UIs blow more often than Windows/Mac.

PS: This isn't an argument about rights and obligations; I'm not saying randomGnomeDev123 has some moral obligation to do as randomUser345 asks. Just don't confuse "lack of obligation" with "being right".
I'm all for redistributing fab capacity geographically. But I thought it became concentrated in Asia because of the lower cost for high quality engineers due to LCOL. How will Intel change this equation to make it profitable in other geographic regions?
I used to use unittest for this reason, but it's pretty silly. Having extra dependencies for the tests makes no difference for end users and these days it barely makes a difference to developers.
Mild depression w/o it for me too. The other reason I tend to get back on it is if I'm hungover. But, I don't drink alcohol often. Tea doesn't seem to help with hangovers.

I've considered experimenting more with matcha and yerba mate.
That's what the problem is. Censorship is defined as limiting or removing content. It doesn't mean it's always illegal or legal, or morally correct or immoral, but because it has a bad connotation, and there's a pro-censorship (let's be honest) Zeitgeist at the moment, the press (the same press that should be fighting against most forms of censorship) has this desire to numb the effect of the word with quotes. Like it's not really censorship, it's, oh, eye-roll, "censorship."
This is why a lot of times you speed up embedded systems by loading the eeprom or flash data to ram, to avoid all the waiting by amortizing it at start up. A lot of times yiu can queue up the next but while waiting on the initial request, meaning you pay for a single wait and change on average in the end.
Australian Government Official’s Pop Figures Declared a ‘Psychological Hazard’
Political activity retaliation is a bit different from standard freedom of association concerns. You can plug your ears and go “not listening,” but there’s a real debate to be had about where it fits in the spirit of our country.
1-3 are specific pollutions. The Great Smog of 1952 also impacted coal-fire and smoke regulations across Europe and America, which immediately improved related illnesses. Removing poison from water and air is not automatically a climate emergency.
This could be great. Personal anecdote time, when I was using ESP32 there were some things it couldn't handle due to a very unconfigurable WiFi interface -- captive portal advertisement via DHCP specifically. (Before people get their knickers in a twist, it was connecting to a box that had no internet access, so there was no hostage situation there.) It turns out there are basically no open source or even American options that replace that chip. A lack of competition leads to a stymied market.
Just use Moo or none at all. Moose is to big and slow pulls too many deps for my taste, Mouse involves XS. Perl is messy if your coding is messy. Why server side? Because DBI, Mojolicious and a good glue language for business logic already written in Perl. Would I pick it for something new? Maybe simple scripts or some quick web service or web API access tool or things involving text processing.
Is AdGuard Safe to Use?
I don't think so. What I see is this: https://imgur.com/a/BalUOOP. The screenshot only shows 5 levels deep, but it goes 9 if I scroll down more.
Philip Glass' music is repetetive. It's always the bee-swarm horror overtones that make all his music sound extremely sloppy and cheap. I mean when 99% of your core of songs are just focused around a cheap effect, then it sounds all the same. Sure we have to have certain scticks, some times, but, I mean, every Philip Glass composition is really more or less identical to every other. And I'm not saying this to lessen things, the One Philip Glass Song (tm), which is thus Every Philip Glass Song (tm), is really pretty great. But it's really just One Song Dudes (tm).
I had no idea what I was getting into when I clicked "Call Now" but wound up having a great conversation with a new friend-- Timur! The audio quality was excellent. This project has great potential. Best of luck to the author!
Turing complete, in common usage, refers to the ability of finite Turing machines, not infinite ones, since any machine we physically built are built according to physical laws.
...and still the killer is unknown. That's pretty good, IMO.
This have been bothering me for a while. What would happen if for any reasons the biggest fabs are destroyed? It would take years to get more than half of a century of accumulated knowledge just from patents, and that's not even counting industrial secrets and all the economical machine needed to support such an industry.

There have been projects focused on securing Humanity's technological knowledge in case of a worldwide calamity like GitHub storing all its source code in microfilms, but I can't think of any project entirely focused on building from scratch and kick-starting the industrial motor of modern civilization.
> businesses do not try to cut the pay of remote workers

This sounds great in theory, but in practice I feel like it actually encourages and even rewards those that choose not to come in to the office. Which might not be inherently bad, but I don't think companies should be expected to do that if those aren't the things they want to reward.
It's crazier than that. Stallman is being called out by the left/liberals/woke for a pro-choice position.

They don't have actual positions they believe in any more. They just have weapons they can use against people.
> You would need to completely remake all bills in circulation with a new style and make invalid the old style...

It takes a while for all the old bills to get out of circulation though -- a few years ago I got my hands on a $20 bill from 1970 and the kid at the corner store almost didn't take it since they had apparently never seen one that old, probably didn't help it was nice and crisp as well. Only thing I can imagine is someone was saving it from their birth year and had to spend it for whatever reason since $20 in 1970 was over $100 in today's dollars so they lost a bunch of value holding that bill.
Wikimedia-contrib: Tools intended for the Wikimedia Foundation wikis
Steve Huffman: "I’m confident that Reddit could sway elections"

https://bgr.com/2018/03/12/reddit-election-interference-stev...
You can respond to facts by saying "that's simply not true", but it's not going to be an effective way of convincing anyone else or of developing a coherent model of the world. The facts are that aptitude tests are psychometrically identical to IQ tests. They have the same characteristics and reveal the same information. Someone's score on an aptitude test as is predictive of their score on an IQ test as their score on an IQ test is.
> So you want other people to go to the office to deliver your preference for face to face meetings?

Yes, I think that's an entirely reasonable expectation to be the norm. It's what was the norm/expectation when I started and I do not see a reason that should change. My boss has said that it will most likely be the expectation once it's safe to return to the office, so I am not alone.

> Your company has to pay for desk space and for meeting space?

Yes, actually. They aren't paying for my home office and it wasn't an expectation in the original employment contract. Further, we work with specialized scientific hardware. We need the space anyway.
Highly recommend Nvidia's Broadcast to filter out mic noise if you can run it.
Almost nobody claims to be a libertarian or gets elected by the party. Justin Amash and Ron Paul are maybe the only famous politicians.

On the internet there's that political compass site that tells people they're libertarians, but it was made by libertarians so I think it's a recruiting tool.

But it's also true that people don't practice it in real life. Drug legalization, yes, that's going somewhere if slowly, but the right wing libertarians still tend to be NIMBY in local politics.
I don't really think it's inappropriately imprecise, though. It's just an acknowledgement that the link between biological sex and gender self-identification is not well understood at this time.
I assume you don’t like invocation? That’s not the point here. In svelte you can’t* define type variable that’s bound to the same type in whole component. I can’t enforce that properties `items` is `T[]` and `selectedItem` is `T`.

* Last time I checked. I could be wrong now.
I guess that if the US gov begins offering skilled VISAs, that’d help.
Nice speaking with you! (your new friend from New Jersey)
I tried this years ago. Lets just say cars have a very unique set of constraints that general purpose dev boards will not survive.
My mistake, looks like some of the ES6 work is yet to be finished.
That is not a fact; they are all IQ tests.
Asia is not a continent though, more like “other worlds that don’t speak Indo-European languages”
Not using the interactive coding lectures yet, but gives a feel: https://pythonformarketers.com
He made mistakes using his own cypher.
It's baffling to me how distant of a second it is in terms of popularity. Instead of forcing you to contort your program into a special paradigm in order to deal with reactivity in a sane way, it simply makes reactivity a non-concern (while remaining pretty simple and predictable when you do actually care to dig beneath the magic). You can write code in a way that's natural and simply not think about reactivity most of the time, and you'll even get better performance in many cases because of the highly-granular pub/sub that it sets up automatically. I cannot praise this paradigm enough.
I'm a big fan of Svelte. I've raved about their documentation before, but it bears repeating: this should be the gold standard. You can read it all in a day. There are examples to follow right next to the documentation.

Svelte is both succinct and powerful. I find this in contrast to React which is often baffling and incoherent. I say this as someone that has used React professionally for 6 years. They've changed their mind at least 3 times on the API and none of it fits together today. Hooks and classes don't mix, lifecycle methods are still out there and just as confusing today as they were years ago. Mixing state and functions. It's just a horrible bag of half-baked bad ideas. And it's not even batteries included.

Svelte has it all built-in. It has the equivalent of CSS modules. It has global reactive state and an incredibly simple state protocol that seems almost stupid if you're coming from Redux. You step out of your daze and realize you don't need all the rituals and boilerplate. The things I've seen built on top of that simple protocol can be incredible. It's not magic. It's just JavaScript.

I dare say that Svelte is a joy. But I hesitate to even leave this comment here. Because I know the architecture astronauts are listening, eager to sink their claws into this simple elegant new thing and fill up their Github profiles with soon-to-be abandonware cruft which they will use to pad out article after Medium article which will all pour down upon Hacker News like a shit typhoon. Prodding us to join their cult of Svelte+RxJS. Or Svelte Sagas. Or their random dogma they toss into a giant bucket labeled "Svelte best practices." And, of course, "Ten ways you are doing Svelte wrong."

I might be a little bit cynical.
I see the assumption of SSO/MFA as defeating the SSO tax: If we assume SSO/MFA, there is no base price vs premium tier price distinction wrt SSO -- all customers get it. For free auth modes (SSO, but probably not MFA due to SMS costs?), esp. b2b, it's easy to extend into free not-a-customer tiers. As SSO in turn eliminates account sharing, everyone wins: all users get more security, and providers see less account abuse/sharing (and hacks). And hopefully, there's something more valuable & enterprise-aligned to charge for wrt security than everyone-grade-SSO, e.g., audit logs, AD, & training.

RE:Output, I like that view -

* Passive (data ingest, ...): bad; and data gravity & analytics value + dropping storage prices means you want to encourage collection vs discourage (up to data liability hazards)

* Active usage based, esp. user-visible: You're using CPU/GPU hours to run something. Except agreed, the further you are from a dev, the more annoyed they are. An active user can be a proxy for this ("Editor", "Viewer", "Creator", ...), but users make it hard to get more scalable pricing, e.g., 1 power user should be able to get insane value, and be charged proportionally.

* Output: If the result of a task is an artifact, like a project/model/etc., it's a proxy for unit of value achieved. In a sense, Slack's "Free tier conversion to get search history of recent chats" comes from recognizing this.

I find it interesting companies like Figma are by User, not Project...
Because the ‘authorities’ are not a single person, factions within organizations often pull in different directions.

Will you at least concede the point that she’d been in Italy for less than 2 years?
>How will Intel change this equation to make it profitable in other geographic regions?

Let me introduce you to this little thing called an H1B visa...
I asked this very question in my 1st year of fully remote working. By the 7th year the answer was very clear in my head, so I went back to the office. Two years later COVID happened and now I'm stuck at home again.

It took me a few years to realize the effects of loneliness and the lack of social interaction.

But I do have one extra point: if work is fully remote (i.e., every employee is remote) things work much much better than when only part of the team is remote. You need to at least make sure your manager is also fully remote.
I haven't taken a look at it yet. Can you summarize what it offers that Donovan & Kernighan's "The Go Programming Language" doesn't? (Sincere question, not being snarky.)
I will take a look at it, thanks for your suggestion. I will check if Lyx has an option to export to this format.
You can now buy a Tesla with Bitcoin,’ CEO Elon Musk said
Musicians are in peril, at the mercy of giant monopolies that profit off them
Of course not, but it does provide an easy conversation starter that paves the way for other topics.
> intelligence was inversely related to sanity

That stands to reason, if we assume that evolution arrives at largely efficient (specifically locally optimal) solutions: any trait that comes in handy would be selected for until its negative consequences (on average) just compensate any further increase.

This would predict that higher intelligence is correlated with something detrimental, whether it be insanity or something else.

EDIT: Someone said it much better here: https://news.ycombinator.com/item?id=26573055
What fraction of a fab’s costs are labour today versus twenty years ago?
Thanks for spotting this, I will add it to my todo.
More like a brain bungle :)
On Tattoos – Exposing Shallowness