skysight-inc/HackerNews huggingface dataset:
> theories can only be _disproved_ , not proved, by experiments

While it is technically true that a theory cannot be "proved", that view ignores the huge range of predictive power in our various scientific theories. General relativity and quantum mechanics have extraordinary predictive power: we can make quantitative predictions that match experimental results to ten or more decimal places. But predictive power gets worse by many orders of magnitude as you go down the scale from "harder" to "softer" sciences, to the point where we don't have any real predictive power at all in many areas of social science.

> a Kuhn-style change of paradigm a la Einstein's theory of relativity

Actually, no, this wasn't a Kuhnian change of paradigm. Why? Because a Kuhnian paradigm shift requires that the two paradigms are incommensurable. And that's not true for relativity vs. Newtonian mechanics. Relativity contains Newtonian mechanics as a particular approximation (low speeds and weak gravitational fields). So Newtonian mechanics is not incommensurable with relativity.

By contrast, the shift from Aristotelian physics to Galilean physics (I say "Galilean" since Galileo was actually the one that started the shift, before Newton was even born) was a Kuhnian paradigm shift, because Aristotelian physics and Galilean physics are incommensurable. Aristotelian physics contains teleological concepts that don't have any counterparts whatever in Galilean physics, not even as approximations.

> older theories (e.g. Newtonian physics) remain valid and often useful for some restricted scope.

With a true Kuhnian paradigm shift, this is not true: the old theory just gets thrown away. Aristotelian physics wasn't used by anyone after Galilean physics became the dominant paradigm, not even in a restricted scope. This is why Kuhn claimed that there is no such thing as scientific progress. He was wrong, of course: once a particular discipline actually becomes an experimental science (which Aristotelian physics was not), your statement about older theories does hold--Newtonian physics, as you say, being a prime example. But that is not what Kuhn was claiming happened in paradigm shifts.
> Make it easy to organize bookmarks, share search results and curate search lists.

Plus I think that bookmarks, shared search results, and curated searches (for whatever that means) are an implicit version of Page Rank, since of the bazillions of URLs in the world, ones which are bookmarked are by definition more valuable than others and should be refreshed more often and whose in and out links are also themselves probably more valuable. I'd argue the same thing for any URL that got the archive.ph treatment (if those are available) or manually saved archive.org snapshot
Then the features aren't supported in the browser and you should file a bug report to the vendor. Having the developers that use a tool work around the bugs in that tool is a recipe for having millions of repeated lines of code that don't actually solve the problem upstream.
I don't get why so many people like the ThinkPad X1 Carbon.

They don't come with SODIMM slots, RAM is soldered directly to the board. If RAM goes bad, you have to do circuit level repair which requires a potential reball.

The X1 Extreme comes with SODIMM slots from what I hear, but that is not the X1 Carbon. It certainly won't be lasting anywhere as long as previous Thinkpad models that have replaceable parts.
This [1] is the OG guide to debugging suspend/hibernate issues. Arch Linux Forum [2] is also a good source for this. That said I've spent months debugging hibernate issues without success, it really is a crapshoot of driver support.

[1]: https://www.kernel.org/doc/html/latest/power/basic-pm-debugg...

[2]: https://wiki.archlinux.org/title/Power_management/Suspend_an...
I regularly see Forth related material appear on HN. I love a lot of the concepts that get brought up in these article’s comments, particularly those that discuss the often small and personalized implementations of Forth that appear ubiquitous among those interested in Forth. However there doesn’t seem to be anyone who considers it a viable language for actual programming and a large portion of that seems to come from the personal implementations coupled with the proliferation of custom DSL’s that are reputed to spring up in any Forth program.

As a person working on a programming language design that is a little forth-like in presentation (it’s not stack-based), is it just the anecdotal experience of Forth that leads to the seeming incompatibility with producing complex software? Or does this seem to be inherent in Forth’s minimal syntax design (similar discussions also happen in Lisp discussions)?
> Not really comparable because we decided it was morally wrong, not that we were wrong about its effects. Its not like humanity used to think slavery was good for the slave.

People still argue that slavery (in particularly, chattel slavery of Blacks in North America) was good for the slave, and the argument was even more common when slavery was legal but under active debate.
I got really triggered by the crime reporting about Portland because I feel like it is motivated with a political bias.

So, I went and looked at the crime reports (which are from the police, and come with their own filters, of course) from Twitter.

Almost all the homicides are in areas where significant homeless populations exist. And, very late at night.

My takeaway is that it is currently very dangerous to live on the streets. You call them criminals, and I think that is the inevitable consequence of living on the streets, especially when more and more cities are outlawing homelessness, but that's probably more a perspective, and I still have a lot of fear of people living on the streets.

Is that the message we see in the media? No, we see that it is more dangerous for the "common person living in a blue city."

Random violence is not the root cause of the increase in the homicide rate.

This makes me frustrated because the police could easily target those areas from midnight to 6 am and solve 80%+ of the homicides. Or, they could, if you believe that police can stop that kind of violence. Maybe they can, maybe they cannot. They should not be in the business of solving homelessness.

The story that homicides in a liberal city were due to BLM protests is a much more bombastic and clicktastic story than that.

Sound to me that what I found aligns with your experiences in many ways.
I switched to Bitwarden. Took about 9 hours to get all the OTPs switched and change all the passwords.

While I know I have a very small chance of collecting, I will send Lastpass a demand for payment at my average hourly rate for 2022. I can't delegate this task to a lower-paid person because passwords by their very nature have to be kept secret.
I'll buy the thesis, but the media does it to such an extreme that it's basically irrelevant. It's always possible to find someone claiming something, so you can always find a source. Fox News has simply displayed Tweets at times.

At a certain point you're just creating evidence out of thin air, like a crappy magician's trick.
Software engineers - the breed that goes to extremes and compromises a lot just to avoid… paying for software.

I agree partially that they could have a longer trial but on the other hand, $10 without any sort of contract is a low enough barrier to give it a whirl.
Must be the theme. It’s a shitty theme but I can’t be bothered to get a better one atm. It’s pretty far down the todo list.
David Mamet's Memo on Writing
What I'm excited about is having a plan for learning in 2023.

I've been spending 15 minutes a day on 3blue1brown, and backing that up with khan academy.

I've worked through the NLP Demystified course, posted recently on hacker news, the same way.

Also learning Spanish on Duolingo.

For most of my life, I've done one thing at a time, obsessively. This year I'm going for the slow and steady approach.
Thanks, that description checks a whole bunch of my-favorite-things boxes.
The tooling support definitely needs to improve. Postgres has support for emitting notices in stored procedures, but the lack of debugging is big a minus.

If you write code in PLV8 you can mock Postgres specific global variables to debug code using Node, and testing is pretty smooth with PGTAP. The deployment story is still something every shop has to reinvent at this point though.
MP3 conversion kits for vintage wallbox, vinyl, CD jukeboxes
Is there anything like this for MySQL/MariaDB?
I would imagine authors get compensation from their books purchased by US libraries too. But it's not going to scale with how many times a book is checked out, or even prevent it from being copied after checkout.
>It's slow, but it's a dedicated political campaign that overturned roe v wade.

A President elected by a minority of voters under a system designed to disenfranchise the majority, who selected a panel of Supreme Court judges for life terms, themselves selected by a right-wing think tank specifically for their willingness to overturn Roe V. Wade, which had the support of the majority of the population and was settled law for nearly half a century.

That demonstrates the solution of government is only effective for a specific demographic... ironically the demographic that's been claiming everything is rigged against them for the last decade. For everyone else participating in the system seems like a fool's errand. One side was willing to risk sedition to get what it wanted, and suffered no real consequences, while the other side seems incapable of opposing the status quo, almost as if it's just there to provide the illusion of a choice between two sides.

I can see why people want to opt out. I vote, and I'm still going to vote on principle, just because I want to go down fighting, but I'm under no illusions that my vote is anything but a farce.
Maybe. The sticking point for me is that I’ve implemented enough distributed system protocols to know that even if a server occasionally drops out, the overall reliability of the service isn’t affected. I would be very curious to hear from someone in the field if they feel differently.

It’s easy to assume that a server dropout = less reliable network. But even if a leader election were happening every minute, it seems unlikely to drastically affect any ops in flight.

But sure, if they agree I’ll venmo you $200 too.
I’m so tired of this nonsense. Pre-Elon Twitter did an enormous amount to fight back against government data requests [1]. “Did” as in: actually brought suit against the government repeatedly, both to fight requests on behalf of its users and to expose them. Elon talked a big game about speech and privacy and then proceeded to fire the world class privacy team that did this work. That’s the reality of the situation, and it’s a disaster.

[1] https://techcrunch.com/2017/02/14/twitter-fights-for-disclos...
Hey, try to be a social-nationalist anywhere, you'll probably even get jailed for your political opinions.
> Not to doubt your story but being a flight instructor myself, I cannot imagine intentionally turning off power to airplane radios at an airport with a control tower (this is also illegal).

You just pre-arrange it with the tower and it's no big deal. Probably exceptions for busy class Cs or Ds, but it's no big deal to any airport near me.
I can think of a few things you might be implying with your wording but none of them make much sense in context.
Good candidate for a computer science case study.
My (not quite so new) laptop is a Lenovo P53 with a 4K screen. It took me several weeks to realise that it's also a touch screen. I can't remember ordering that touch capability as an option when I was customizing the basic machine.

Standard Mint Mate installation.

Previous laptop was a Lenovo T410 - it's now coming up for its 13th birthday. Still works well.
> Just this year, a huge RCT called into doubt the usefulness of mass colonoscopy [1]

This reference seems to be saying that mass colonoscopy reduces the 10 year risk of colorectal cancer by a statistically significant amount. How is this calling into doubt its usefulness?
Furthermore, a quick glance at politicalcompass.org didn't reveal any claims that the (0,0) point was set in any objective manner (compare all the non-US results on that site), so reactions here seem to make it a bit of a Rorschach Test.
I tend to deal with that by using intermediate calculations. I can verify subsets of the formula and then use the results of those subsets in the next stage of the overall formula
Seems cool. Good job. Good luck!
Where are you finding one at this price? That's fantastic.
I should probably have added (for an international audience), this is in Australia which has a pretty high alcohol tax. Plus the exchange rate - $17 AUD is $11.50 USD.
I think snatch is not the right term, but an agreement between employer and employee that former gets to keep the passport in the duration of the employment. This is illegal but the host country I think just doesn't impose this law or the employee is scared to report to authorities since they are oblivious or ignorant of the said law. Mainly they just want to get a job, get paid regardless.
> Not only is our understanding of physical health far less "advanced" than advertised, but the system is far too complex for any one doctor to comprehend. Medicine is far from the only field in which this is the case.

This last part, along with (from a comment elsewhere)

> [...] many doctors being terrible at statistics and failure to properly use statistics means they constantly overlook otherwise obvious causes.

means this area should be the one with dozens of AI startups chomping at the bit to improve the situation. I.e. giving suggestions for possible causes of rare medical issues. Because the existing human performance in these situations is so incredibly low mostly due to the exact things that ML models excel at, it should be very easy to at least to improve on that. If it's not happening because of US regulations against "medical advice", then base it in India or wherever it'll work. I guess that makes venture funding and profitability more difficult but if you're looking to do good, this avenue has unfathomably more potential for massive positive impact than e.g. taking a job at a traditional existing non-profit. I reckon it should also be very possible to get funding from exactly such non-profits, especially those aimed at rare medical conditions. Effective altruism-oriented groups should also be interested.

If the issue is the unobtainability of data due to privacy laws, even a ChatGPT-like model trained purely on Google Scholar, medical literature and other relevant sources has enormous potential and again should readily outperform the baseline.
because people don't know what effects that would have on a growing baby. (I'm not saying scientists but just random people)

questions that would worry them would probably be things like what if the baby start depending on them and their bodies reduce/ceases to produce melatonin naturally, and that this permanently affects the baby.

I haven't looked into the findings for theses kind of questions, but even if you look into it you'll also have to be condident of the reliability of the results. maybe it's harmless for adults but not for 2 year olds. Maybe the pediatrician you went to see didn't prescribe them for a reason.

Edit: a quick Google search in English mostly found positive articles about it, while the same search in french found negative articles warning about the potential risks like this one:
https://www.vidal.fr/actualites/29656-melatonine-non-sans-da...
This would be a great example for the definition of “truthy[0]”

a truthy value is a value that is considered true when encountered in a Boolean context.

[0]: https://developer.mozilla.org/en-US/docs/Glossary/Truthy
Firefighting Foam Spilled at Red Hill Before. The Navy Didn’t Notify Anyone
I can't remember the last time any sort of chat AI was released to the public and wasn't quickly lobotomized several times over by its creators to ensure it can't say anything even slightly political that they might disagree with. It's a story that repeats itself over and over, and it really makes me wonder if AI can really progress past a certain point when humans keep dragging it down with their own biases.
This essay needs to be submitted to the NYT opinion section as well. Nonsense reasoning should not go unchallenged. It was heartening to read the comments were almost universally disagreeing with Blackman’s piece.
Indeed - they actually did surveys and found 70% of users wouldn't continue at $19/mo (but 30% would), so you're not alone.

Since the costs in question are per search, I think they were previously considering different pricing options, recognising that getting to ramen profitability is likely better than having more users and losing money every month (they're not venture-backed).
All I know is, if the pitchforks and torches mob went after the gaming press for some indie title instead of decades of bending backwards for EA and the the rest of the AAA’s, it sounds like a pretty crummy misprioritized mob.
I would be interested if the distributed model that's allegedly used by Presearch.com would work for Kagi, since the members seem like they would have financial disincentive to poison search results. That said, I only know enough of how Presearch works from their whitepaper, because trying it out seemed like some tomfoolery and I couldn't figure out if the risk would be the same as me running a Tor exit node
The methodology here needs clarification: what does it mean to show "more evidence for than against?" More sentences, more individual argumentative points, better points?
leunte

Basically a twitter replacement but better!

Search for string (leunte):
http://192.241.136.237/leunte

Reverse search:
http://192.241.136.237/::ffff:73.253.171.157

This is an open source project and you can find the code on the discord:
https://discord.gg/yxfuYr8eD4
I'm talking about the 1980s or so--so a long time ago. There were some big city bookstores that would have a special customer service desk but my recollection from rarely using was that it would take a while. In general, I remember special orders for books not in the store as not really being a customary thing generally. (And for out of print books being pretty much on you to look through individual stores.)
Slightly inefficient, because it repeatedly loads http://endless.horse/legs.html . Would be better to keep it inline and just clone it and insert it endlessly.
It’s ridiculously more likely that they found the approximation by calculating rather than via any experimental means.
They've got awful UX in modern browsers though. You need to click 3-4 times for everything, and the tools for organizing them are incredibly unwieldy. Used to be you could open a sidebar and have your bookmarks there.
KDEN also put their runways so close together that it's not uncommon to for aircraft on approach on the parallel to set off another airplane's TCAS. I think most airline pilots consider that airport ripe for a midair.
Latency can be affected by both CPU load and network congestion, so it's possible that Nagle's algorithm can help in Case 3. It's really trial and error to see what works best in practice.
That's just GraphQL with fewer steps.
Wikenigma – an encyclopedia of scientific questions with no known answers
> modulo VPN and similar technologies

Which is an option with Brave and DDG, but obviously not Kagi. Yes, obviously, this is only going to be a relatively fringe use-case that depends on the user having generally decent opsec.
For serious though. TCP has a handshake to make a connection. UDP doesn’t and if you’re going for low-latency, you probably don’t want retransmission anyway, since if you miss the packet it’s too late to do anything about it. If you need the guarantees from TCP, you probably aren’t actually solving a low-latency problem.
If we take QM seriously, there's nothing stopping it from affecting macroscopic events from a human perspective. A cannonball whose trajectory was planned in accordance with Newtonian physics could suddenly and unexpectedly move three feet to the left, it's just ridiculously unlikely.[0] This isn't a piecewise function where Newtonian physics is true within some constraints of speed and scale, Newtonian physics is simply wrong and useful.

[0]: Under the Everett interpretation, which is no more or less scientific than the Copenhagen interpretation, this happens all the time and is witnessed by many humans.
Is this parody/sarcasm/troll?

At a minimum, Africans and Muslims had slaves. Pretty sure the Incas and Aztecs did. I lack data on Asia.
it’s there, just keep scrolling...
Thanks, my kid got a kick out of scrolling this
I've had mine for two years. When I got it, I was in love. It felt like the linux 'it just works' machine had arrived.

As time has gone on, the experience has degraded substantially. Bluetooth audio has degraded substantially as I've kept up with updates. It basically doesn't have a battery.

Its really felt like PopOS! has gone from an 'it just works' version of linux, to yet-another-power-users-only version of linux.

I have serious hesitance about endorsing either at this point.
Except that making a living as an author or via another creative pursuit is a luxury and privilege premised upon the hard labor performed by countless others which actually reproduces our society.

It’s also not really a matter of entitlement. It’s just an objective fact that trying to gatekeep knowledge behind IP toll bridges is a losing battle which only serves to hinder the development of many realms of human endeavor.
We operate a large Consul cluster (Consul is great, but we abuse the hell out of it). Frequent leader elections have been responsible for outages. Don't worry about the $200, I'm just fucking with you, but I don't think you're on very firm ground with this line of argument. It's fun to watch though, so I do hope you keep going with it. :)
Why don't you just do it even if you're not flying if you enjoy it?

Or was it sarcasm without the /s?
I guess that's one way to help chase people out of planes: add an annoyance from other public transport.
Texas will take your children from you if they get a report that they are transexual
Don't costs for nodes decrease over time?

IE. N7 was much more expensive when it first launched than compared to now? And TSMC prices its wafers based on supply and demand so eventually, N7 will become very cheap.

Also, it's not a surprise that the top 10 TSMC customers have ordered less. It probably has way more to do with a massive inventory of unsold phones and computers, chip glut, and lower projected consumer demand. N3 pricing wouldn't make an impact in 2023.
I have no idea how to accomplish this in our current political structures, but the way cultures have historically solved this is through periodic debt forgiveness.

(Every 7 years in the Torah, Babylon did it at the discretion of the king, etc.)
Ask HN: Should I interview for new jobs or stay put? Details inside
- new grad

- started 6 months ago

- company stock has plummeted 90%

- company never been profitable

- company did layoffs recently but no tech roles impacted

- newest team member so likely earliest to get cut?

What does HN recommend? I don’t have much experience so I think finding a new job will be a struggle in this economy.
Messi would but Ronaldo not so much.
> I hope everyone have a copy of the index locally, so that no need to rely on any centralized service.

Is this a static index? Or maybe there's further additions and update in the future?
How is the weight/ mobility/ versatility?

I jumped on the System76 train initially and feel burned. I'm looking for an alternative for my next machine. Its gotta actually have functional battery life next round. I expected a firmware update at some point from system76 to resolve this and it basically has never happened.