skysight-inc/HackerNews huggingface dataset:
> I don't believe in 1+1=2 because it's useful for economics, physics, math, or whatever---I think it's true independently of its utility.

I actually doubt that. What do you think 11+27 is? If your answer was "38" then the followup question is: suppose it is 11:00. What time will it be 27 hours from now?

The "correct" answer to "what is 11+27" depends on circumstances in the real world (and so does 1+1). There are no Platonic truths, only preferred models.

> X is key for survival, so X must be true

It's not that. It's "X is a faithful reflection of the actual state of affairs in objective reality." That's what the word "true" means.

It just so happens that the actual state of affairs in objective reality has an impact on survival, so having a faithful reflection of it in your brain is handy. That's the reason "truth" is a thing.

> I'd prefer to not publicize my real name and face

Well, a podcast is voice only, so that's not really a show-stopper.
He's a 75 year old US programmer .. I have no idea whether he has an extra layer of misogynism over and above being born in 1950s America but he did seem to overcome that enough to give a shout out to Barbara Liskov and Jeannette Wing for the Liskov substitution principle .. the 'L' in SOLID.
Many programmers regard his "Clean Code" advice and book overrated. Some advice is logical, other is non-sensical (reduce all functions to at most 4 lines or something similar, TDD, etc...)
> The first occurred about 2.2 billion years ago, when an archaea swallowed a bacterium that became the mitochondria. The second time happened about 1.6 billion years ago, when cells absorbed cyanobacteria that became chloroplasts.

How was it possible that I could take 3 years of high school biology and not have heard that one lifeform absorbing another lifeform was responsible for these amazing new capabilities? We learned about mitochondria and chloroplasts, but in a very dry way. Primary education could be so much more interesting to kids with context like this.
could you elaborate?

i was under the impression the text search config and dictionaries did support such remappings. we only query in english or literal, so my knowledge is limited.
Would that really help parents? They're parents seven days a week.

I mean of course less work is better. But is there something about parenthood that would make a categorical difference that non parents would miss?
You might not want to use your fingertip to unlock your phone
Same reason I don't use facial recognition either.
very creative and a fun read, but awful advice. This family has a new child.. they need security and some sleep, not whatever that list is .. ESPECIALLY no Start A Company - FU.

source: divorce
Somewhat related is the PicoROM developed by Martin Donlon of MiSTerFPGA fame. "PicoROM an 8-bit ROM emulator in a DIP-32 compatible form factor. It's main use case (the reason I made it) is for rapid iteration when experimenting with arcade hardware. The PicoROM can emulate ROMs up to 2MBit (256Kbytes) in size and speeds of 100ns." Rather that flash an EPROM, you connect via USB to the Pico to upload your code. You can use multiple PicoROMs in a design if need be.

https://github.com/wickerwaka/PicoROM
Bayer is getting rid of bosses and asking staff to ‘self-organize’
> How should a model be able to predict that in the middle of a high interest environment, a tech bubble burst and a dumping stock market in general, a new platform called Chat-GPT gets launched that basically carries the whole world's stock market to new heights which causes among other things retail investors to liquidate bonds and other high interest environment assets and flood it into the stock market.

Because it happened in the railroad boom in the 19th century, the roaring 20s, the 80s, the 90s dot com boom, the biotech boom...

History rhymes, and as we know, LLMs make decent rappers.
They would avoid hiring parents and the birthrate would collapse faster. Or, maybe parents would be expected to work even crazier hours on the day 4 days to make it up.
I imagine that the usual protections will deal with this (e.g. too many requests from the same ASN or same user agent or something).
Then they can ask for a phone number or credit card (fly.io reluctantly did this).
Then they can always remove the free tier, at this point the abusing party will have ruined yet another free platform for everyone.
This isn’t just a reauthorization. It included provisions that make most US businesses give the NSA direct access to communications equipment: https://x.com/lizagoitein/status/1781546937675657392?s=46&t=...
This is really a fun idea and nicely written post
go outside to a park or quiet place every morning.. if you have a busy day, start early.. several options of what to do, but try something and stick to it for a few weeks.. make sure to get rested.. try no computer or media for an HOUR before bed each night. try to establish a regular routine with sleep.
His base salary was $1. But his total compensation was around $23 million which includes his fringe benefits like personal security, private jet, health insurance, etc.
Hard to waste any time reading about AI because it's likely written by AI. But then I probably shouldn't read anything written past 2022.
The current style on https://www.openstreetmap.org/ basically looks the same as I remember it in ~2010, and is quite ugly compared to Apple Maps and even new google maps.
I don't see it mentioned anywhere else. If someone gets a copy of VisiCalc and look at it in a hex editor, are there ways to tell that it's written in a Lisp?
> Uhh but a narrow Level 3 system will also in general do broad Level 2. You think these Mercedes can't do adaptive cruise control at 60mph wherever you want to activate it?

The Mercedes system will absolutely not follow navigation routes, change lanes, execute right and left turns, execute U-turns, stop at traffic controls, and so on. All of which FSD will do.

A broadly capable Level 2 system that is suitable for 99% of driving scenarios (with supervision) is way more interesting than a tightly constrained Level 3 system that is only suitable for <1% of driving scenarios.
It also depends on how the operating system and frameworks actually work. For instance, the backing store for the window may be “charged to” the application on macOS but may be provided by the OS on another platform, or there may not even be one.
>I don't really see myself having a family.

What do you think is the purpose of a biological animal?

Anyways, you'd be missing out. Kids are a ton of fun.
> how many people who weren't philosophers enjoyed philosophy

No, we were talking about (or at least I was talking about) how many people get value out of philosophy who don't practice it, at least as amateurs. Is philosophy like music or is it like yoga? I'm on team yoga.

> what do you think was lost in the last 100 years ago?

It's not what was lost, it's what was gained. And what was gained is major breakthroughs in areas of science that allows science to answer questions that were traditionally the purview of philosophy. These include evolution, molecular biology, the theory of computation, quantum mechanics, and neuroscience.

> what do you think about Kuhn and Feyerabend?

I don't know much about Kuhn. I read "Against Method" a long time ago and it seemed like total nonsense to me at the time, one of the things that convinced me that philosophy as an area of intellectual inquiry was bankrupt.

> Duhem-Quine thesis

Yes, I think this is pretty self-evidently true. A finite amount of data, which is all we can ever have, will always be consistent with an infinite number of theories.

> (You don't have to address every question if you'd rather not take the time.)

I'm actually finding our exchange very interesting and worthwhile. You're keeping me on my toes.
Plenty of free software organizations package software. Heck Mozilla, Signal, VideoLAN, Mastodon, Wikimedia and Tor even package iOS software.

And frankly, most of the iOS ports of FOSS aren't themselves are closed source, so they don't really count as FOSS, but if the people who, say, ported OpenOffice to iPhone gave it to the Apache foundation? I can't see why they wouldn't release it.
Big chains do this too
Section 702 bill gives NSA communications of almost any U.S. business
AI wont replace your job. Companies like squarespace do what AI does for web, but a million times better, and even that hasn’t replaced your job.

What we refer to as “AI” as it stands is all smoke and mirrors. It’s a different UX over essentially a search engine.

There’s a school of thought that says what we have now can be scaled up to levels which create an emergent property of reasoning and thought (which indeed would replace all of our jobs), but there has been literally 0 evidence of this, with hundreds of billions poured into the field. And the incentives are very much there for AI researchers to keep pushing this narrative that GAI is close.
You need to find a classmate to be a chaos gremlin that randomly mixes up the pile when they drop off their assignments.
Making arguments for/against claims can be a noble pursuit, and mathematicians have done it to great benefit for humanity. I suspect the sum total of the benefit from philosophers' claims is much lower.
Start here:

https://en.wikipedia.org/wiki/The_Evolution_of_Cooperation

Though you don't actually have to get too deep into the weeds to answer that question: what you should do is whatever maximizes your odds of achieving your goals. The harder question is: what goals should you choose?
Definitely not a Slack/Teams competitor, Snikket is explicitly focused on personal chat and small groups and not on team or large community chat.
Isn't this like the captchas where you must click all the buses?
I love this idea but does it go far enough? I personally think a 0 day work week is the way to go.

Under this new mandate I REALLY dont see myself having a family.
As always, when running time series predictions on financial datasets, one need to use daily return (including dividends, corporate actions, etc.) rather than end of day price.

Simply outputting the last value (as more or less shown in these charts) is a pretty good end of day price predictor!
Or even something like OrganicMaps which runs on OSM data
With a little engineering rigor we could do a push-down automata with semantics Girards-Reynolds constrained around polymorphism.
I really don't understand how so many people on HN can complain about centralized control, but then so many (other) people are completely against Web3, solutions like Unstoppable Domains are able to let you own a domain and only transfer it if you sign with your key. Why don't more browsers read a Web3-based domain system like Freenames, Unstoppable Domains, ENS, or Filecoin Name Service?

DNS is a federated database, but it is subject to domain seizure etc. at multiple levels. I've seen people complain that their domain operator can just "steal" their domain!

If browsers won't do it, can't someone start a CCTLD (it's only $250K) and then read the blockchain to resolve the DNS records? I realize that this "someone" would be a central point of failure, but alas, that's how the Web currently still works. The best you can do is some sort of "DNS multicast" I think, but it would still be under the control of one company, sadly.

Personally, I'm a bit surprised why the Web hasn't standardized onion links / magnet links / hashes of content / cids / whatever you want to call them. Tor and Beaker Browser have had it for a long time, and Brave too I think. DNS then becomes just a glorified search engine for a small subset of URLs (the ones without a long path / querystring).
It seems like a great way to fend off spam
I learned HTML in junior high school, but I really started enjoying coding when I started editing my MySpace custom profile with divs/CSS. I learned Java next and that made me realize I enjoy coding a lot.
I find it a little disingenuous that the author keeps dropping the TLD and describing the emails as cool@<poo>, when the TLD is still part of the email address. Interesting experiment, anyway. I'm surprised that it worked well enough to get a functioning email service working with it. A lot of systems must assume that an email address or domain name wouldn't include emojis.
That's not "encoded into the law". The outcomes of the law are not the same as the law itself.
Possibly you took biology before this was well known? I think they just have that mitochondria theory from the fossil record and DNA matching between current eukaryotic life.
I like the advice given in the Refactoring UI book
The trouble is by the time we decide whether we need to solve the problem, we may be 20 years or more too late to implement a solution. I.e. if we need a larger labor force to keep social security solvent, we need those children born 18-25 years beforehand so they grow up and start paying in.

Anyhow yeah I don't think policy is the only reason we're in this bind, but let's be honest that we do not make it easy to be parents of young children. Various trends exacerbate this, like the fact that it's now more common to live in different cities than most of your family - which means less free childcare from families. But also many people get their idea of family sizes from what they grew up with and what their friends and family are doing, so the decline in children per woman is going to be rather sticky.
Influential women's tech network shuts down unexpectedly
Well I guess we need to figure out how to regression test humans then!
> Explains warp drive (??)

I don't see any discussion of FTL speed, so not clear what you're talking about.

> -Ex-big institute head scientist to lend credence

I believe Buhler is currently the lead research scientist at the Electrostatics and Surface Physics Laboratory at Kennedy. Do you have evidence otherwise?

> Big claim of legitimacy based on a patent being granted

A patent was granted, but that isn't the source of any particular claims of legitimacy I see.

> This is far sketchier than even Ranga Das’s superconductivity claims.

I disagree. While I do think the odds are high that this is the result of the non-obvious intetaction of knowm forces, I suspect the mystery behind this unexplained result will be more interesting once solved.
I imagine it's not much fun with YC on you constantly telling you to make more, scale, or pivot to you make our investment worth it. I find the clients that pay the least demand the most
Maybe not so hard as you might think. On my openSUSE desktop, uninstalling python3 would remove only calibre and virt-manager. Most of my server/container/vm installs don't have any python version. Perl isn't much harder to get rid of depending on the use case, for example some development stuff uses it.

I'm also not sure distros generally care about LSB. Debian dropped it years ago and did any distro even bother to implement it correctly?
It doesn’t help as most of the components put into Samsung products come from China anyway.

The Chinese manufacturers have probably mastered their sub vendors by now.
In my case it had less to do with unreasonable demands from management and more as a result of my own workoholic mentality and unrealistic expectations.
Show HN: Bring Stackoverflow like gamification to your community
I'm working on brainpick.bot, a bot designed to help gamify and optionally monetize your Telegram (soon Discord) community through Q&A. You can reply to a question with @brainpickbot, and the bot will generate a question. Members, just like on Stack Overflow, can earn points or badges if their answer is accepted. When enabled, you can also assign a monetary value to a question. This is my latest effort to help OSS developers in generating additional income to support their work.

Give it a try and share your feedback in the comments below.

P.S. I should have started Discord bot first, but I had code ready from another Telegram bot project:)
Wow it looks like something out of stargate. Hard to believe that it’s natural and organic with such sharp edges.
So, if I understand.

US Companies lost 25-35% of chip sales from china, and no markets to make that up that loss.

China is now making low costs chips and now selling into the same markets and eating up the US market.

Chinese commercial products need chips (that also sell in America), and will now use Chinese produce chips.

Thus driving down the demand of US chips.

did I get that right?
If you think you're about to enter a situation where this could be an outcome, for an iPhone, mash the side button, or hold the side button and volume up for a couple seconds to bring up the 'slide to turn off' screen. That will disable the biometric unlock and the passcode is needed to get back in.

Of course, it's sad it has to come to this, as this is effectively a warrantless search.
They can come together for culture war BS toward China / saber-rattling but there’s a complete inability to do anything to help citizens.
You probably all know the saying:

You can take Samsung out of South Korea but you can’t take South Korea out of Samsung.
The comment was about high salaries for nonprofit executives. If you claim to be a nonprofit but pay your CEO $10 million a year, are you really a nonprofit or are you just as guilty of “funneling money” into “rich pockets” as anyone else?
I've seen the exact same thing! Gemini put together an impressive bash one liner then deleted it.
It would be cool if they took the https://omg.lol approach and let you host a website/page at bob..kz if you purchase bob@.kz
Don't worry about it, you're confused, it's okay. Hahahaha! :) AGPL requires you release the source and we do that.

As an aside — would be interesting to get Artifex's comment on this — but I'm not even sure it applies as we install the mutool binary via apt, call it from bash, and we don't modify or use their libraries at all. Would this even need to comply with AGPL at all? I don't know.

If you'd carried on your search of our source a little bit further, you'd see we use the mutool binary: https://github.com/dosyago/chai/blob/37c1a1ec0941d81e0d6f8af... ; and you also may have discovered what the AGPL means: https://artifex.com/licensing/agpl/ Hahahaha! :)
Don’t pretend that the fake news and propaganda spread on TikTok doesn’t hurt citizens.
That's not specific to tiktok
Freedom of speech does not protect the CCP’s right to curate American conversations.

You as an individual are perfectly free to continue discussing anti American ideas if you wish.
And once CPS gets their hands on you, they always have you. It's worse than most STD's. Let your kids walk home, and spent the next 10 years being interviewed. A friend of mine got called out. Their kid almost never missed school, got good grades and the parents were on top of their development.

Then ended up spending countless hours talking with CPS after they were caught letting their kids play at home, while they went to the corner shop.
Genuine question: is the fake news problem any worse on TikTok than it is on American-owned social media? Got stats?
This happened under a Democratic president. And what have they done about it since?
I get that China is dangerous and TikTok is terrible for society, but this sets a dangerous precedent that the government can just ban any social media site it considers a threat now.
Wasting two tokens on start/end reasoning seems expensive to me (a priori)

I am curious what that would yield though - in some ways that would be the most fun to analyze (when does it think a lot??)

I would also be curious to see at what point you see diminishing returns from reasoning tokens (eg a 1:10 ratio? More?)
People won't go back to piracy. Most of the people that subscribe to Netflix weren't really pirates. Maybe they had a friend that would burn them a DVD on request, or got the number of some guy who sold bootleg DVDs. They'd probably use these services for a couple of movies a year. Most peoples direct experience with piracy was downloading Metallica songs on limewire when they were 16. It's been a long time since then. There's a whole generation of adults who largely only know TV as it exists today, that is, streaming services.

The ones that were pirates, I never understood why they left. I have yet to pay for a single streaming service in my entire life, or cable, or any of that. This was always going to happen, I saw it coming for years before Netflix even had a viable competitor. And on top of that, the diminishing quality of the content, I've reached a point now that I don't pirate because I don't watch any of it. To be fair to them, my TV watching was always very minimal, I'm an easy guy to alienate. Still, I can't imagine people who know how to pirate actually paying for what passes for entertainment these days.
I know it's not the point of your post, but I think it's worth pointing out that you're misunderstanding randomness (albeit in a very typical way). Although randomness is likely eventually (over a lot of instances) going to be the most "fair" way to distribute where your submission is in the order, it does not guarantee that it will always be different, and in fact a "random" algorithm that took previous orderings into account would be provably less random than one that didn't

It's also worth noting that randomization in a context like this is inherently an imperfect solution to a problem that generally can't be solved perfectly. If we find out that weird ordering biases exist, I think randomization is done on the assumption that many we don't know about could also exist, that there's no clear way to mitigate them completely, and then randomizing the order per-instance is just the best we can do to ensure it's fair (Which, again, won't be perfect. Perfect isn't available)
Powering down was made easy to defeat biometric ID. Hold buttons on both sides of newer phones.

Passcode is required to unlock.

Passcodes are vulnerable to shoulder surfers, and every now and then iOS will demand one for chuckles. For me, this only happens in crowded stores.
In an Australian Suburb right now. Closest store is 2km. Closest skate park is about 3km (2miles). No basketball or tennis within 15km(10miles)

TBH, I think we all wish we lived in what you're describing, but most of us live miles from anything we'd consider a playable area.
You can intellectualize all you want. Nobody is happy all the time, but there are damn good salesman out there.
I don't think TikTok is itself any worse than our own domestic brain liquefying apps like Twitter, and thus the ban's surface reasoning is specious at best, but I'm fully onboard with reciprocity. If China won't let US companies operate in China, the US shouldn't let Chinese companies operate in the US.
Autotranlation> Online casinos, evol playgrounds, and evolpick[.]com provide a variety of services to users. They meet the needs of users by providing a platform where they can safely and conveniently enjoy casino games online.
Doesn't this set a precedence for other countries to ban U.S based social media companies?
This mole is fine to whack even if the rest aren’t addressed today. America has so many problems, a win is a win, even if hypocritical and disproportionate. The means are like making sausage, but the desired outcome is legit. Addressing TikTok today doesn’t prevent addressing domestic Big Tech going forward.

https://www.defense.gov/News/News-Stories/Article/Article/33...

https://apnews.com/article/tiktok-ceo-shou-zi-chew-security-...

https://www.npr.org/2022/11/17/1137155540/fbi-tiktok-nationa...

https://www.cnn.com/2022/09/18/business/tiktok-search-engine...

https://www.globalwitness.org/en/campaigns/digital-threats/t...

https://www.pewresearch.org/short-reads/2023/07/10/majority-...

https://news.ycombinator.com/item?id=28133824
China bans our tech companies. You could think of this as simply retaliation for their protectionism.

But having non-democratic, adversarial nations controlling the algorithm that programs us is quite scary. At large scale, that does something.
The headline makes it sound like this happened last week, but it actually happened 100 million years ago, and we're just now discovering it.