skysight-inc/HackerNews huggingface dataset:
[I wrote this yesterday, but didn't post it]

Let's assume that mathematics is a job that follows the following rules: You use two languages: Predicate Logic and Natural Deduction. You use Predicate Logic to write claims like "There are infinitely many prime numbers", and you use Natural Deduction to construct proofs of such claims. Both languages are formal. And you can even use a computer to verify that you're using them correctly.

To prove things, you need to assume that some things are true. These "assumptions" are called axioms, and are expressed using Predicate Logic. Philosophically speaking, the rules of Natural Deduction can be thought of as axioms for how to correctly construct proofs, but they're usually called "inference rules" and not axioms for minor technical reasons.

The methodology which we described arises inevitably from a proof-driven approach to mathematics, because mathematicians need a way to agree which methods of argumentation they think are correct, and also to prevent people from making things up. Admittedly, this is only true for those mathematicians who have looked into these foundational matters.

Some axioms can lead to an accident where you can prove a proposition and its negation simultaneously. (An example in set-theoretic foundations is Unrestricted Comprehension.) By a simple result called the principle of explosion, in such a situation you can prove every proposition and its negation. So such axiom sets are useless. We call them inconsistent.

A question arises: Given a set of axioms which is sufficient to serve as a foundation of mathematics - like ZFC set theory for instance, or less obviously Peano arithmetic - is it possible to construct a proof of their own consistency from those same axioms alone? The answer is no, and this is Goedel's 2nd Incompleteness Theorem.

You can - in a way - prove that Peano arithmetic (for instance) is consistent, but you need to assume axioms which are strictly more powerful than Peano arithmetic. And to show the consistency of those axioms, you need to assume yet stronger ones. This is quite a disturbing situation.

Ultimately, the theorem is a statement about the methodology for doing mathematics which we described. But there is no escaping it if mathematics is about stating claims and proving them.
> Was the profile actually corrupted

How do you diagnose a corrupt profile? What causes corruption? Is there some diagnostic I can run that will detect and repair corruption before it's too late?
Yeah a lot of this was women assuming what happens with guys. A richer guy gets a hotter wife, so a richer woman should get a better guy right? Nope.
Does it squeeze juice?
The grid need more resilience and complex systems as it becomes more vulnerable to sudden changes in demand and supply, which increase the costs of the components of the grid. We don't think of it as components of renewables, even through they are required in the grid in order to have renewables connected.
That strategy worked for me in Toronto until the pandemic hit. Dunno if it’s the culture of some people or genuine parts shortage, but had a not-exactly-true wheel stolen (and the bolts loosened on the other that was locked…), a saddle with a crack covered with tape (found the tape on the ground!), and someone tried to tear off my dollar-store bell and destroyed it (my anti-theft screw was a Robertson :) ).
This is fantastic news for the call center employees.

I'm not sure it's good news for customers who call for support, though. From my personal experience there's a pretty high chance the call will be disrupted by something. Kids, pets, toilet flushing, personal calls, someone ringing the doorbell, whatever.

The absolute worst I've experienced was a call with someone who was taking customer service calls outside on her cellphone. The heavy wind feeding into her microphone combined with an already not so good cellphone reception did not make a good customer service experience.
This is discussed in the article.

One of the points is that there is a chicken-and-egg issue with antitrust bills, where Schumer was refusing to table discussions because he claimed there was no support. So a clear demonstration of support, even in the other chamber, is a significant and newsworthy change in momentum.

The other (related) point at the bottom is worth reading too. Basically the claim is that big-tech lobbyists were bragging about how they could stomp on even a small and common-sense procedural bill like this one. Instead they “stuck their necks out and got their heads chopped off”. That they had no good arguments and just ran a straight dirt campaign (on both D and R sides!) is a bad look that will be noted by the marginal Congressman.
same. super fair.
and yet they're out of print :-(
(well, at least #1 and #2)
High level government, abstracted away from voters so they cant understand it. If the general public knew what was going on under the hood there would be a civil war, so it's in everyone's personal best interest to let the perpetual motion machine continue.
Never ever store valuable files on those "virtual folders" on Windows: My Documents, My Pictures etc. Avoid storing valuable files in the user profile.
Windows will get confused and you might lose data.
This is especially true if you use a local language in windows.
Possible, I remember having to use some script to export all of my photos, not sure what the reason was. Perhaps I wanted to export by album, because I know a bunch of old photos from my olympus camera had incorrect timestamps.
I feel the UI/UX space is so full of zero skill people.
On KDE/Debian/Linux I use the Spectacle Screenshot Capture Utility.

The next version Emacs 29.0 may get screenshot builtin and a better way to keep the configuration file manageable. See https://planet.emacslife.com
I'm not a fan of Google's solution either. With a device with multiple G accounts it’s always a guessing game when opening up a google doc which account it’ll choose.
Pushing on solid wall is more effective than pushing on air. Shockwaves are effectively momentarily solid air that you could push on. RDE basically uses shockwaves as turbine blades.

(technically I should say "incompressible vs compressible" but you get the imagery)
This is the default for online conferencing. Everyone is way better off asking other party to repeat couple of words than listening for all that noise during the whole call.
whenever I try to install software on linux I inevitably end up googling errors to find out what dependencies I'm missing. Install failed because i'm missing "python.h" header for some C dependency, let me make sure python-dev is there, okay how about libffi-dev, apt install gcc-arm* fixed it for this rando on stackoverflow? okay now the installation fails in a different way, wait a minute does this python library expect rust is already installed? wtf?

people complain about NPM but at least the dependency resolution works
I’d recount some of my own experiences here, but since my actual name is connected to this account, I’d rather not. But I have also experienced this first-hand, many times throughout my life.
Usually, results of behavior produce multiple effects.

One example is short term gain vs long term gain.

Yes I can steal a candy from this baby, resulting in me having a candy I didn't have. Longer term thinking? Maybe not such a good tradeoff.

Criminals are often ridiculed for making bad behavioral tradeoffs.

When opportunists are held accountable for behavior that has given them some long term benefit (like the "breakup" of Microsoft or Amazon federal fines) there is a cultural tendency to celebrate. This is despite the tradeoff having benefitted the opportunist greatly in comparison to the penalty.

I feel like these imbalanced punishment valuations are being depressed by a fear of injustice or economic disaster.
“Don’t Worry Darling” screams this out loud.
Somehow This Video Game Belly Button Was Too Sexy for Google
Check out Bill Mensch's Oral history or one of his presentations on YouTube about the 6502; I think he mentions the Olivetti project that he and Rod Orgill worked on.
I think it is more that many men don't consider the benefits worth the effort. Plenty of men are happy living in an old building playing video games all day. Don't need a lot of money for that.

They need a better reward than just a nicer career to consider it worth it.
This is the one and only answer. Every other comment in this thread can be deleted.

Many - if not all - of the difficult modern sociological problems we face are rooted in the inability for people to accept that while our technological understanding is, frankly, unfathomable compared to 100,000 years ago, our biology, our neurobiology, etc., is all still running under the software that was developed hundreds of thousands of years ago.
Men still 100% rule the world and always will. It's just now a small group of elite men rather than power being more distributed. The entire "feminism" project is mostly just social engineering for elite men to castrate their competition and consolidate power under the guise of equality.
Support in the same way extremist groups "support" disenfranchised young men by telling them how to buy guns and build bombs while confirming all their beliefs about who's keeping them down with propaganda.

I bounced off a tech career track because of all the sexism and, for lack of a better term, "bro shit" in the classes.
> i think it's probably because the people who tend to play AAA PC or Console games already have a PC or console. Could developers really make more money, or would it just be people who already bought the game for PC on steam downloading an additional version for free?

Which services give you the game on any platform? In my experience, you have to buy the game on each platform (and for some games, I have purchased them on multiple platforms because they were that good).
Inventing a superior gene doesn't itself make them a new species. They only become a new species when the result can't breed with a base human.

However, even that gets fuzzy--there's a "species" of bird whose name escapes me that lives in high latitudes. They can all breed with the neighbors, but birds from the two ends of the span can't breed with each other. I expect to see the same thing happen with humanity--eventually highly modded individuals won't be able to breed with unmodded individuals. (Although, unless immortality is developed there won't be any unmodded individuals to breed with. Why would the genetic engineers care about compatibility with the old version that's no longer around?)
"MOS" like "moss" as in "Mostek"; MOS Technology pronounced their initials individually.
In the US at least it seems like we’re at the stage where every new account created is essentially tied back to a social security number.

One cannot get an e-mail address without a phone. One cannot get a phone without a credit check. A credit check requires a social security number.
Would you prefer to listen this noise for half an hour? :)
As a man I also feel repulsed by it, if it's too much. Even when I am being vulnerable, I unconsciously make sure to stay in the "strong because vulnerable and facing hell" zone instead of the "weak and pathetic cry-baby" zone.
I read that on a iPhone 4 and it was fine.
Just click « let me read it first »
The problem for Jigasi's speech-to-text feature with Whisper - or any recent SOTA speech-to-text neural networks, is that they are transformer-based. One of the key features of transformers is that they are very good at processing a sequence with the attention mechanism. But attention inherently needs to see the whole input sequence. So it's difficult to adapt these architectures to perform well in real-time scenarios like captioning meetings.
Do you have hardwood floors? Try scrubbing them with linseed soap, the smell is divine.
there's xnedit, but I think you'll have to compile it yourself. I only had to do "apt install libmotif-dev" to get it to build with "make linux"
Thanks so much. Will do!
> Today, most people are accustomed to using Ctrl-C to copy.

That is not true, in the relevant context: that within which this software is released.
Tell HN: My job site made its first sale – $49
I am building a site for location independent jobs for digital nomads to live and work from anywhere. It's almost one month old. I've shared it on HN too and got 120 upvotes.
This week it made its first sale. A recruiter from Canada bought the first job ad on my site for $49.

The money is only a little, but it's enough validation that my idea can fit in. So, I am excited about it.

Throughout the past month, this project has got mixed opinions. Some even said that I should get a proper job instead of wasting time on this. But I chose to keep working on the project because I was learning a lot - SEO, UX, Cron jobs, Lambda functions, etc.

I thought of sharing this with you. I am happy to answer any questions. And also I'd appreciate your ideas on how can I attract recruiters to my site further.
> Which services give you the game on any platform?

The Microsoft Store generally will, ironically. Buying a game on Xbox will often net you the PC version as well (so long as you get it from the Microsoft Store). I think Sony tried a similar thing with the Vita a while ago, but I'm presuming that was a failure.
A classic case of credentials over competence I think
Or as I like to say, our Software might be up to date but our OS and BIOS are still legacy.
Tooling for webcams is very lackluster.
Okay now they're samsucks@
+livewire or inertiajs
Bingo. “Ask for help” and get ignored at best, or stigmatized at worse.
Are there any benchmarks if any engine (Unity, Unreal?) is faster on Vulkan?
> The environmentally and fiscally conscious

Sending telescopes to space being famously cheap and environmentally friendly.
Ask HN: Shouldn't high inflation incentivize more startups to produce mo value?
I've got 8 out of 10 in an Economics class at high school, so do not have much interest in macroeconomics. But consider the following logic:
1) High inflation rates mean more money becomes less valuable.
2) The real economic value for the money is provided by products and services.
3) Thus, to make money more valuable, more products and services should be produced by more startups.

Is it wrong?
Storm surges come miles inland. It’s not just people on the beach. Most of the gulf coast is fairly flat and filled with other waterways.

What you’re looking at is anybody potentially within 30ft of sea level where any contiguous <30ft elevation is connected to water. I’ve known people 20 miles inland to be flooded by storm surges because they lived near a river, and the hurricane pushed all the water up the river.

The wind is not as big a concern, but also still does a lot of damage. During one major hurricane I evacuated 150 miles inland and still didn’t have power for a week. One person in the town I evacuated to was killed by a falling tree.
I have a theory that it comes down to women's biological clock. They know they will only have the option of having a child between certain age ranges (ideally) and that's close enough in the future to plan for.

They need good grades to get into college, they need college to have a career and establish themselves before they hopefully find a partner and have a child around 30ish?

Might not go according to plan, but it's a template of sorts.

Men really don't have anything like that, in the past perhaps there was, an expectation of getting educated and established by a certain age in order to attract a wife and provide for her and the family.

I think it probably leaves some men unanchored with no real direction or ambition, no clue even what they should do.
I am very sorry for your loss.

I know there are efforts like Galleri [1] to detect cancer early using liquid biopsy [2] but I don’t know how effective they are at the moment.

[1]: https://www.galleri.com/

[2]: https://en.wikipedia.org/wiki/Liquid_biopsy
Also have experienced it first hand. Show real emotion and they immediately start to distance themselves, and stop talking, and physically move away from you.
I'll give a vote of confidence for Flutter here. I've been using it as a one man show to develop a game ( markmywordsgame.com ) in the trickle of spare time I get. I use Firebase for back end.

Flutter is a dream to work with. Very rapid development with hot reload. Firebase is great for abstracting away almost all the dev ops bs. You can use local emulators for rapid development there too. It's quite a nice stack.

I happen to love Dart, and tolerate Typescript. I get to almost completely escape the js build hell, but Firebase functions do still require either JavaScript or Typescript.

I will include the caveat that Flutter web is not the best target for forms/text heavy projects. Flutter does all is own rendering so you don't get the html stuff like Ctrl f, copyable text, css "for free".

But for true apps that you don't just want to look like a word press site, it's awesome.
Good to know. It works well for products like yours.
Well, it shouldn't be surprising. `git reset --hard` would do this whether it was a new file or or new repo or not.

To eliminate the staging you want `git restore` or carefully `git reset` (not --hard)

Every git tutorial I've seen tells you `git reset` is a potentially destructive action.

It should not be surprising that:

1. you can loose data that has not been committed

2. you can loose data when playing with destructive commands
Creating an account allows to choose between using a Microsoft account or creating a local account.
People always describe Steve Jobs as a “sales and marketing” person but IMO that grossly undersells his value. He was also an amazing product visionary, and could bridge the gap between sales/marketing and technical.
A decent example. The phrasing at the end as if the author is some kind of clever hacker who “broke the system” was kind of odd.
TEDx has lost so much quality over the years
an article based on 5 hours of real world play time that admittedly hasn’t touched most of the games mechanics? meh, it’s easy to be enthusiastic while you’re in the honeymoon phase.
This article was fascinating -
At least in large part due to patio11’s entertaining style.

I have always wondered how it’s possible to have such regular power, when it seems like such a challenging problem to solve.

Lastly…if you ever get a chance to support nuclear power in your community, please do. it’s safe.
Honestly fellow throwaway, that sounds pretty nice.
this roadmap is very heavy on theory, and geared towards being a professional designer.

if you're like me and are mostly a developer who just wants to get incrementally better at design piece by piece, here's the roadmap i've been working on for about 3-4 years:

https://github.com/sw-yx/spark-joy/
The game studio making Resident Evil series has announced just a week or two ago during their big presentation a native M1 port of Resident Evil VIII (the most recent one), among many other things. And not only that, they actually talked about it quite a bit in detail, and even showed some actual footage.

Overall I agree with you though, this is literally just a single datapoint, and I cannot think of another one. But that seems like a solid start, especially since it is a legitimate AAA game, and they are doing it a year after the (very successful sales-wise) release. So they clearly are doing it for reasons other than just boosting up the initial sales by promising the moon. Looks like they genuinely believe they might make enough money with that M1 port.
There used to be something like apt-build which downloaded sources of whatever you need using your distros source repositories. I don't know if i remember the name right. I don't think this is related with Linux only, but more cpp oss dev problem.
concur isn't that terrible, at least I had no trouble using it
One thing to add: A major benefit of state machines is that you can clearly reason about its behavior. If, however, you have non-atomic state transitions, the behavior during a transition, i.e. how it reacts to events occurring during a transition, is unclear. The reason why state transitions are normally considered to be atomic is so that the system is in a well-defined state at every point in time, so that in turn the behavior of the system is well-defined at every point in time.
I once recovered most of my pictures with https://sleuthkit.org/
If he did know would he feel safe to say it? What's the probability that true rational fits within our ever diminishing Overton window. Reality wasn't created with our moral sensibilities in mind - to presuppose that it was has rather religious connotations to it.

Even in the face of 2:1 female to male college student ratios, look up the ratio of sex specific scholarships that still very very very heavily favor females. As if now wasn't the time to proclaim victory for female enrollment and at least move those scholarships to be sex agnostic.
OpenReplay and Posthog both have session recording for JS apps. It's been really insightful (and often painful) watching our customers use/struggle with our software.

There's others but those two are open source if you're concerned about user privacy.
The internet subculture obsessed with nuclear power – and proud of it
I won't disagree with the "men have it hard" crowd but as a man myself my observation of the root cause is complacency. Blame "male privilege" or "men rights don't exist" or whatever but I have not seen this problem in poor countries or in immigrants from poor countries.

i.e.: in the US at least you can get just enough to be complacent as a man by doing bare minimum stuff.

So why endure hostile environments, places where you don't feel like you belong, etc... when the benefit is "you can afford just a little more stuff", especially when you are not planning for long term success.

Contrast this with east asia or india where you have the other end of the extreme where mostly men kill themselves when they get bad grades or fail standardized tests because it means they can't get any job that matters or pays well and subsequently lose social perks like getting married.
The challenge the profession currently faces is that a lot of people go into it for the wrong reasons and who are not suited for it. Because there is no money in traditional graphic design, many graphic designers elect UX thinking it's nearly a 1:1 transfer. There is a lot of mis-match.

You really have to really like and have a good sense of human cognition and human factors first and foremost. You also have to like thinking in systems. You are basically design (engineering) solutions for how humans interact with computing in all its forms and in many modes.

Many designers, whether they admit it to themselves or to others, would really rather be designing book covers and concert posters.
Speaking as a former developer, current designer, I agree that all designers should have some familiarity with the medium they're working in, in addition to the domain they're working in. An industrial designer should learn something about fabrication and manufacturing, and a software designer should learn to code. They don't have to become experts, but ignoring such an enormous aspect of your field for your entire career would be a missed opportunity. I hesitate to call it irresponsible, but to be candid that's personally that's how I view it. Call it an invaluable benefit.
Looks to me like you have it backwards. Many (most?) of those games predate Stadia. Seems Stadia/Google selected Vulkan for best compatibility with pre-existing games.
I haven't read the books, but I believe his argument is not "models don't work," but rather "all models are flawed, and you can't reliably predict the critical flaws. So, don't treat them with blind trust - adapt your strategies to the fact that some of your models will fail without warning and in ways you can't predict."
This, a thousand times. But apparently it's much more difficult than it seems.