skysight-inc/HackerNews huggingface dataset:
Yes. But also, names are important. CS used to be mostly math for historical reasons. But it doesn't have to be that way, and we have actually solved a lot of the math problems in these couple decades (P!=NP is, of course, nowhere in sight...). We've found a lot of new problems that don't necessarily involve math, and I don't think we should invent a dozen more new names for these fields just for keeping the historical baggage "pure" for maths. I think we probably need to ask ourselves, if CS really is (and should be) just maths, why not just do all the CS research in the maths department and make CS do something that actually relates to real world computers and computing?
Sure!

So it's easy to think about all of the things someone could do to you if they have your location: hurt you, delay you, rob you, etc. But it's also very mundanely easy to get the location of a human. I'm sure, if you look outside your window, you can probably find one now.

So the question is how do we draw the lines? When does some random person on the internet knowing my location go from being amusing to being creepy? The only way I've found is to share with people and see how that feels. Because I have the opportunity to learn when someone new can see where I am and reflect on how I feel about that. Or, when I am going somewhere, it reminds me that people can see where I am going. The idea is to increase the opportunities to think about it and, potentially, to find fellow interested people to think about it with.

But, again, my *whole point* is that people can see where all of us are going and we have no idea who. None of us can say exactly how many people are aware of our locations. So the best we can do is reach out and choose to engage (or block) in the location interfaces we have access to and reflect on how those actions impact us and our lives. What do you get from telling Google where you are? What do you get from telling your mom where you are? What do you get from telling a stranger where you are? Are the three related and how?
I'm pretty happy with the projects I've managed to ship as a solo developer using minimal dependencies. Over my career I've tried every level of dependency from left-pad to NIH. The sweet spot for me is somewhere in the middle, but leaning towards NIH.

Typically my approach is to attempt implementing something myself before using a library, unless it's something I already know I'm going to need one. If I notice myself going too far down the rabbit hole, I back up and use a lib. At the very least I end up with a greater appreciation for what the dependency is saving me. But often I find you don't actually need more than a small subset of a given library, and my homemade solution keeps chugging along for years.

I still mostly agree with my thoughts from a couple years ago:

https://apitman.com/11/#dependencies
I chased 2-3 linked articles deep am still wondering what is meant by reasonable here. Or "reasonably effective."

Is that just an example of the ineffective reasonability of essays?

My best guess at this point is that reasonable is what a person expects. And if that's so, it's subjective. And math abstracts realities into imperfect but objective simulacra. So I think the claim is that math is made of abstract rules. A tautology? A deepity? I must be missing something.

https://rationalwiki.org/wiki/Deepity
I’m sure the meth smokers often sitting in the back of the bus make our situation a bit special. Ever since Seattle metro stopped fair enforcement or really any kind of security on the buses, things have gotten a bit out of hand.
Aluminum smelters do this all the time btw.

Also there is economic harm in shutting down mining I.e loss of mining fees.
Which novel is this from?
They have a max capacity. They cannot be steady consumers of electricity for the 95%+ of the time that there is enough electricity to go around.
Wow, HIV spreads poorly through penile-vaginal intercourse.
Over the last weeks, I have been thinking a lot about how "substantial" cryptocurrencies are.

When I think about a new technology, I like to come up with a "proof" that something is or is not substantial. Something like "Email transfers a message just as well as a letter, but is orders of magnitude faster. Therefore, email has substantial value".

For Bitcoin (and other crypto), I came up with this "proof" that it is not a fad:

You can freely buy all kinds of stuff everywhere. A company can sell you a bag of stones. A hammer. A knife. A pencil. A lamp. But you cannot buy Bitcoin freely anywhere. If you want to buy Bitcoin, the government jumps in and says "Oh no! This is extremely dangerous! Write down the identity of this person. We need to monitor them!".

If Bitcoin is so dangerous to governments, it cannot be just a fad.
Some domestic users can (for things like AC, heaters etc)

For industrial, they can establish peak-times and broadcast the pricing info. So maybe not "seconds" but they can react to demands and pricing. It is possible (and depending on the industry, likely) that some industries do have backup power on site, so they switch to that and stop using grid power.
FYI Palm had original bluetooth keyboards support, and long before smartphones ever existed.
Allow me to reference my own workaround for those vectors:

https://github.com/technion/open_safety
Why would it be quackery? This is a pain point that my family faced. My brothers cerebral palsy was an unforeseen circumstance due to a near drowning accident. The odds of that happening are unpredictable, but it did happen and my family wished as a result that we had cord blood stem cells.

Annualized rate of 370 goes for 8 years but covers 20 years of storage. Others with 125/year - at the end of 20 years - amounts to more
Here are a couple of options if anyone is curious: https://github.com/johnthagen/min-sized-rust
I’m so excited about the SteamDeck. My hope is that I’ll be able to install Ubuntu on it and turn it into an ultimate robot controller.

If I can also dock it to my screen, keyboard and mouse then I can see myself doing some light development on it too.
You've actually got it backwards.

User-resolved markets is the brilliant part of our platform, but most people are not able to figure that out.
> no programming tool to compile natural language into code

Pretty sure you missed a couple news articles recently...

https://news.ycombinator.com/item?id=30179549
https://news.ycombinator.com/item?id=27676266

They're not exactly reliable, but you probably could say the same for the earliest compilers (from programming languages to asm/machine code).

I'm not saying they will definitely be usable in the short term future, but that future is probably coming sooner or later, and I don't think a fragile definition (programming==="applied formal logic") is worth reiterating over and over again as if it were some fundamental truth.
It's a little unfair to Schwarzschild. He discovered his solution, the first solution to Einstein's equations, while serving in WWI and actually before Einstein published his paper on general relativity. Schwarzschild died just a couple months after his paper describing the solution was published.
Yep. I'll quote myself from last year[0]:

> I think I've managed to get by with less dependencies in Go than any other language. It somehow walks the line between JavaScript leftpad and Python "stdlib is where modules go to die".

> I don't think there's been a single instance where I've thought "why can't stdlib do this?" nor "why the heck is this in stdlib?"

[0]: https://news.ycombinator.com/item?id=25806114
It's a play on the "unreasonable effectiveness of math" essay right?

I took it to mean the "unreasonable" ingredient which makes math so effective is context independence - since that's something which is not so easily attainable in other fields.
> Aluminum smelters are typically slow to curb production as the costs of shutting down and restarting capacity are high.

https://www.bloomberg.com/news/articles/2021-12-22/europe-s-...

> "I think it's clear that one of the issues facing aluminum is that it is costly to bring down smelting capacity and even more costly to bring it back up again," Harvey said during a virtual presentation at the Bank of America Securities Global Metals, Mining & Steel Conference. "I think it has tended to be a relatively slow process for producers to come to those decisions."

> Harvey said each potline at a smelter requires about $25 million to restart, which made it challenging for operators to reach curtailment decisions.

https://www.spglobal.com/platts/en/market-insights/latest-ne...
I can’t figure out if this is a real product or a joke site? The name is confusing.

If it’s a real product it’s cool, I’ve wanted something like this for a while (currently I just use git repos full of JSON files but this would be better I think).
Tiptap is great, I made a few custom extensions for it to build an interstitial journaling app (https://heedful.app). The documentation is still lacking to some extent, but the source code is easy to understand.
Realising that you can remember your parents when they were the age you are now is one of those scary moments.
...so hundreds of thousands of banks globally, and yet all dance to the tune of the fed. either directly or indirectly via the local cb.

very decentralized.
Agreed. At this point I am just happy there is any kind of great piece of sci-fi coming out. I think since Expanse it has been quite hard to find anything worth watching in that space.
wikipedia is probably the single best thing that the internet has produced and it is insane, despite its flaws, how accurate it is and how much knowledge it brings to the public.

I don't think there need to be financial incentives at all, in fact i'm absolutely tired of the crypto logic that tries to impose 20th century economic scarcity on the digital sphere.
They can publish it as their own, but will anyone see it if the creator send fans to collect their works from any and all sources of their own choosing? (eg a torrent file)

I'm trying to work out if it'll work for code as well.. what if you write a program and can then tally up whose code you used to help make it.. at that point you could donate (or pay) if you wanted to. An honesty system. Even users could pay and see where their funds will wind up.
Ah I see - we’re from the umbilical cord so they’re a bit different from fetal stem cells!
As long as he confines himself to the role of executive producer, doesn't direct or write the script, but does a good job of filling those roles with competent people, it could be entertaining.
I'm fine with that and he may let his fame be sold as a promotional measure.
We can use storage systems to smooth out supply/demand of electricity.

Mining is unsufficient, because it can't provide energy in the night when the sun is not shining. Storage systems can
If they haven't seen that episode of Black Mirror let's not give them any ideas.
The books tend to harp on certain characters skin color over and over. It definitely comes off as forced after the 10th time.
You’re making a strange leap there in the second part of your bitcoin example.

In your email your argument is “email is faster”

In your bitcoin example it is “you can buy (with) bitcoin everywhere” and then suddenly “but governments monitor me so it cannot be a fad.”

That seems a non-sequitur to me. Something is not a fad because a government tracks you.
1. It's so dangerous!

2. It's going to boil the oceans!

3. We officially recognize it as currency.
You can use the bubble menu for it!
Apparently about 80% of sexually active people have some form of HPV.

Even when people think they don't have it, it's quite probable they do. Statistically speaking, more than a couple people in these comments have some form of it.
It's great actually.

As soon as this orange website accepts the orange coin as holy gospel - then, and only then, has crypto truly peaked.
Why mud could play a big part in Vladimir Putin's decision to invade Ukraine
Judge blocks TX counties criminally charging officials encouraging mail-in votes
US to evacuate Ukraine embassy amid Russian invasion fears
McDonald's won't go bankrupt if you elect not to get the large fries. SpaceX would have gone bankrupt several times if NASA hadn't kicked in at a crucial moment.
So does mining.

Just turn off fossil based plants and you reduce needed max capacity.

Didn't know we have too much energy with a low carbon footprint.
Fair enough.

Something that attributes code back to the creator would be fantastic for OSS. I dread to imagine code tallies being used to gauge candidates
Great work! You might like https://github.com/janroesner/sixty5o2 as a lightweight OS for the BE6502, which makes program changes way easier.
Rolling Rocket Bomb Designed to Kill Nazis Almost Killed a Dog Instead (2015)
If you're going to try this at home, it is important to know that LEDs work as photodiodes only when the impinging light is of a higher energy that the photons the LED emits normally.

A given LED color below will only detect colors to the right of it

Infrared < Red < Orange < Yellow < Green < Blue < Ultraviolet

Back in the 1990s I breadboarded an alarm circuit that used a normal cheap bicolor LED as both transmitter and receiver, feeding some BiFET op amps. I could detect a bicycle reflector to about 6 feet
Several! But I think his best "Mars is actually a shithole" novel is https://en.wikipedia.org/wiki/The_Three_Stigmata_of_Palmer_E...
web developers.
1. For scaling, the burden of proof lies on Lightning Network/ETH2/whatever they're calling them today to demonstrate that they can scale (how many years has it been now?), and he demolishes two widely proposed alternatives to PoW, namely proof of storage and proof of stake.

2. This is a rant, not an error.

3. I'm not sure what you're arguing here? His argument is that in practice, a tiny cartel of mining pools exerts central control over most cryptos, meaning they're not really decentralized at all.

4. There are a) way, way, way more DeFi hacks and exploits than TradFi ones, and b) consumers don't get wiped out when a bank gets robbed or hacked.

5. Omission != error

6. Ad hominem.
or we can just finally admit renewables cannot supply the entire Earth, and something else needs to be in the mix too.
But what value is there in the minting of a currency being decentralized?
Literally moving goal posts
They seem more than capable of coming up with terrible ideas themselves.

https://www.fastcompany.com/90185994/sony-files-patent-to-ma...
Like storage systems, yeah.

Bitcoin only makes it worse, because it uses/wastes energy of which we don't have enough clean one
> We can use storage systems to smooth out supply/demand of electricity.

They have a max capacity. They cannot be steady consumers of electricity for the 95%+ of the time that there is enough electricity to go around.

> Mining is unsufficient, because it can't provide energy in the night when the sun is not shining. Storage systems can

I can use the same argument: Storage systems are insufficient, because they can't consume most of the excess generated power to make development of more renewables economically viable. Bitcoin miners can.
You are an evil genius - I hope you always suffer with ads in your dreams.
One might want to include jless in a docker image.
only failed states turn off residential AC or heating.

Boggles my mind how some think it's acceptable.
We have a perfectly good system in place for punishing people who waste energy - it is called "the economy". It applies constant pressure to people who waste things.

If crypto manages to run that gauntlet, there is a good chance that someone with a track record thinks it is socially useful. People confidently declaring that it is useless are in the same bucket as people confidently declaring that the internet was a fad in the first big tech bubble - lacking humility. The truth is we don't know if this (likely outrageously large) bubble is a complete waste or masking something transformative.
IMO math seems effective because everything that works is called math. So yeah, that quote from the beginning is right, it's selection.

There are many different math concepts used to describe the world, everything from calculus to graph theory, geometry, and so on. These things have a two way relationship with the real world: they don't necessarily have to correspond with anything real, like Hardy's quote about his number theory work that eventually ended up appearing in cryptography, but if something in the real world happens ahead of it, math will expand to swallow it.

Think of a scientific theory that isn't described with some kind of math. I'm not sure it can be done. My sense is that whatever you think of, even if it's completely new, will be called math. For instance general relativity relied on some quite new concepts at the time, but nobody would point at it and say it wasn't math.
Omg how useful this is!
isn't it possible Dang is just shared account by multiple mods?
I'm always fearful of posting my tech nightmares on HN because so many people here work in industries that exist just to fry brains with ads. Probably most are rolling their eyes saying "We're not that evil." But somebody is thinking "Hmmm."
A FOSS browser extension developed and maintained by a non-profit organization, vetted/audited by other trusted third party entities can facilitate convenience in this flow, bringing the overall experience closer to a desirable state.

The websites which are to be restricted by government-imposed legalities can expose the claims they need during their registration/verification process and the browser extension can automatically retrieve those claims alongside other details as mentioned previously, and can auto-fill on the website for the user.

Since this extension acts as the intermediary client, it knows the parties involved but it preserves user's privacy accordingly due to its vetted nature and as a FOSS application.

Of course, there will be concerns regarding pushing people to use such things but if legality can force people to give out their credit card details on certain websites, then it can also push for such user-focused convenience ways to enforce the legal matters. Whether it will really happen is not in our power but technically it is a resolvable matter as put forth by the original comment.
Currently, two trillion dollars. That's the valuation we arrived at in only 10 years, which is unprecedented.
How does it actually compare to fasttext [1] in performance.
Building an interface to that in GO shouldn’t be too complicated.
The claim that all language identification (lid) relies on ngrams is bold and there has been a switch to pure neural network based approaches.

[1] https://fasttext.cc/docs/en/language-identification.html
The red flashing light on the top of wind turbines is ugly, distracting, and unnecessary in today's world.

Sure, it's so that planes can see it at night. But planes flying at night also need to avoid mountains, and they have no flashing light.

Just require planes to have updated maps, and turn the light off.
On the computer, the website of my national TV channel suspends the ads if you switch windows. You can’t let them play in the background.
> "Around 1.7% of males identified themselves as gay or lesbian in 2017"

Another page on the same website says that "Between 2018 and 2019, the number of men identifying as LGB increased from 2.5% to 2.9%", so maybe 0.0145 is a better number than 0.0085?

https://www.ons.gov.uk/peoplepopulationandcommunity/cultural...
By this logic, banned substances must be banned solely because they present even more of a risk to government (since this is the only reason considered for KYC). Therefore,… meth has even more value?
The sad thing is I can just hear a marketing execs response to this revelation:

“Sooo… I guess we’ll need to up our air time by a third, huh?”
We will not settle Mars. That doesn’t even begin to make sense. There are places orders of magnitude more friendly to human settlement on Earth than on Mars and we don’t even settle those.

On Earth those windmill are much cheaper than nuclear power, even taking into account their capacity factor.
Nope, smart states do that.
Heat can be stored. Heat when it's cheap.
Am I the only one who hated the sequel? Nonsensical plot with flat characters and broody hero wandering wistfully on the backdrop of orange smoke.
That's basically me except I don't even charge for playing. I've been accompanying singers for quite a few years, mostly friends but not requesting any money.

Thanks for mentioning this when I almost thought I did everything for money!
I get the OP’s point: it doesn’t matter what you think about usefulness of knowing how to formally prove anything, the point is that you’re doing it every time you program a computer, so might as well 1) be aware of that 2) learn a thing or two about how it’s done by pros.
You might be using the word "purpose" in different senses. The one you're responding to likely means that "the selection bias inherent in our perspective on the world selects for traits that enhance reproduction".
Which begs the question, have advertisers ever actually measured effect scientifically, and whether the arms race of acquiring eyeballs for no net position change will collapse.
Most of the people still watching broadcast TV are older than people that have had a mute button their entire life.
I’d just take a 4 minute video of me staring at the TV, and post it on loop on a cheap screen across the room.
A thing that will never cease to irk me is the flattening of titles in tech.

Seeing people with similar titles to my own who I wouldn't trust with my toaster much less my MLOps pipelines is infuriating, because it just dilutes the signals to recruiters, employers, prospective clients.
Not until now, which is why Facebook was making so much money before they got kneecapped.
Are you going to copy your stuff to every post of mine now?

I have already answered that.

Excess power can be removed from the system removing valuable CO2 emissions damaging society for about 700 dollars a ton
It's almost as if, despite the millions spent on engaging their audience, no-one wants to watch their crap emissions.
Can’t wait to see some long IR exposures
Yep. It could be gamed as well, creators donating/paying themselves to boost their own rankings. Like authors buying their own books to get on bestseller lists.

Another interesting use case for NFTs is tickets, if you issue tickets for an event at $10 and they end up at $100, at least the issuer can collect a bonus on every subsequent sale... isn't that how OpenSea works?

So a ticket could be auctioned first, and then more is made by the issuer on post-auction sales. It's also very public, so the performer has better information about their worth in the market.

So yeah, digital goods and tickets... that's where it's at for me.
It would be much more useful to pour excess power into green hydrogen production.

There are industrial and chemical processes where electricity is not a viable replacement for the CO2 intensive approaches we are using now. Building up a hydrogen economy for those applications would be great. And much more useful than that cryptocurrency bullshit.
I just want to re-plug the Mike Duncan “The History of Rome” podcast that I heard about in one of the comment sections for previous parts of this series here on HN. I’m on episode 103!

https://podcasts.apple.com/us/podcast/the-history-of-rome/id...
Like many things, it's about how far into the diminishing returns you want to go. At some point it's more effective to apply further investment to other parts of the ecosystem.
Does this description also apply to his latest film (Dune)? Because I'd describe it as the opposite of that.
Half my advertising spend is wasted; the trouble is, I don't know which half.