skysight-inc/HackerNews huggingface dataset:
Some work, yeah. It's still an open problem to do it well, but I think the folks at Anthropic have made a reasonable start with their work[1] on influence functions ("tracing model outputs to the training data"). Basically their work attempts to answer the question "what particular training data most strongly influenced the model to give the answer it did", by doing some fancy math that I think is equivalent to taking the gradient produced by each piece of training data, computing the derivative of loss on the output of interest as the gradient is applied to the model, and then using that as the answer.

Though it sounds like even their much cheaper clever approach is still very expensive.

[1] paper at https://arxiv.org/abs/2308.03296, post at https://www.anthropic.com/index/influence-functions
My grandmother in N TX called them that too. They're cicadas and they're damn loud. Since 1980, all grasshopper species remaining in N America are too rare now to enter a gregarious phase.
These numbers always remind of the "street value" of drugs.
I clicked on this thinking it might me something like Agda for web development.
An important point that the article mostly glosses over: China has cornered the market on rare earths how much you have is entirely irrelevant if it isn't profitably extractable.
You seem to know a lot about this. Have you worked on similar things?
Everyone who wants to be a robust developer should get at least a little experience with some non-c-like languages.

Of course someone will reply with a more complete language, but I'll start by throwing out array-based languages, in the form of J: https://www.jsoftware.com/#/

Once you really get your head around composing verbs, really working with arrays, and using exponents on functions, it's mind-expanding.
Cicadas sound like a defective transformer.
I just visited bulma.io and couldn't help but notice the sketchy-looking Patreons/GitHub sponsors that Bulma has listed. Lots of casinos are supporting Bulma.

Are these genuine Bulma customers happy to support a product they use, or am I witnessing some new way of money laundering here? What is the Phone Tracking app doing there? I mean, Bulma needs all the support it can get, but what does a casino want from Bulma?
This is over sensationalized garbage.

Here are the coils for sale for the Nissan Maxima, individually for $18.52 each.

https://www.rockauto.com/en/moreinfo.php?pk=12032829&cc=1444...

I also just checked. Same price for a 2020, 2010 and 2000 model year (Not sure what year his was)

Forget the stupid dealer, just buy them yourself.
The 50 vlan limit on their top of line stuff is the only reason we don't deploy them exclusively across our biz.
I taught a friend's elementary aged kid that 1 + 1 = 10, who then got into trouble for arguing with her teacher. Even after saying that 1+1=10 in binary, she got in trouble for being argumentative even if she wasn't wrong. Apparently, making the teacher look bad in front of the class is frowned upon.
Skip buttons on which device? The HiFi [remote] itself? I'd imagine that doesn't work in the 1-PC route either. If it does, then the problem is solved because it will have the correct effect in the 2-PC route.
That’s exactly the point: we want division to model inverses of multiplication, but an inverse requires a 1-1 relationship.

What the vertical line tells us is that division by zero can’t map to a unique value — it has to give us back the whole set. So we can discuss division by zero in the contexts of inverse maps, but there’s no way to have a function that inverts multiplication by zero.

Small technical note: I think you mean ‘dx=0’.
I must be doing something wrong, but I can't download any of the software I am interested in, like SequenceMiner. After clicking a series of links, I end up on a page with no mention of SequenceMiner.

Nevertheless, interesting website and thanks for sharing. (Sequence/process mining seems especially intriguing to me.)
What would you propose as a better name? I recognize that this doesn't align fully with the spec. This has been helpful for my specific use cases.
Show HN: Dodo, The chilled way to handle your TODOs
And by "we have" you mean a couple already wealthy soon to be disgusting rich dudes who have ended up with incredibly valuable mineral rights that the government sells for a small pittance?

(There is benefit to this being in my nation, and it's good for the world that this cache exists for us/humanity to benefit from. But a huge amount of that benefit will be captured by already very wealthy people. That makes me a bit mad and a bit sad, that something so amazing and game changing is so arbitrarily so cheaply sold off. It doesn't seem reasonable. It seems like this great nation is selling off key pieces of itself, is selling off body parts for spare change.)
Agreed, to be honest. What's wrong with hacking on Hacker News ...?

It was a very fascinating read, too. I enjoyed how descriptive he was throughout (not exactly implementing the same thing though, haha.)
There is a reason we use forks and not sporks. Specialization can give you exactly what you want.
People forget that there's a type of coal upon which steel production is dependent, it isn't always energy.
Yes but we get a new iPhone every year! The Internet can write poems for us! We have electric cars! Who needs God’s green Earth when we can have…stuff! /s
I like it quite a lot while reading, but it's a holy hell to keep reaching between shift and underscore. Besides, what do you call an iterator variable? I? i? Idx? Index? Iterator_Index?
Every small business within driving distance of me seems to have Ubiquiti WiFi on their walls/ceilings. Seriously, in the businesses where they provide free customer wifi these things are everywhere.
Agreed, yak shave or not, home theater automation is woefully behind, lots of room for awesome stuff here.
Listing some examples of rare earth metals in bullet form is classic LLM behavior.
For those unaware of the economics of physical mining:

It's not uncommon for exploration companies to find large deposits (or potentially large deposits). The issue is usually that the investment required to extract these minerals is large. Depending on the cost of capital and the risks involved this may or may not happen.

Since there is already an existing mine one would think it reduces the risk. But the article doesn't have enough details on the concentration or distribution to know for sure.

Looking at the stock price[1] you can see the jump when the discovery was announced from ~$11 to ~$18. A great increase, but you can see this isn't exactly a sure $37B pay-off.

[1] https://finance.yahoo.com/quote/METC/
wormhole-william[1] is a nice version in Go, compatible with the original version, with an easy to install release binary.

[1]: https://github.com/psanford/wormhole-william
When I first heard them, I thought some power lines were damaged.
'Everything indicates' Chinese ship damaged Baltic pipeline on purpose
This explanation isn't logically complete. It starts by asking why division by zero is undefined and concludes with "0/0 = 2, which is just not true."

But how can it be "just not true"? The point of this exercise was to investigate whether we can find a definition for division by zero, and here we've just produced a candidate! You could just define division by zero to be 2 and move on. To throw away this possibility at this point is to assume the conclusion.

It's not obviously false that 0/0 = 2 (yet).

The problem comes in when you repeat the exercise on a different example and find that also 0/0 = 3, or whatever. And now you start to see something is really amiss.
Really cool! Wish more government funded organizations publish open source software.
I'm not on a ton of medication, but it's very possible. The drugs they put you on are varying kinds of brutal.
While I enjoy your overall tone and enthusiasm, there's no guarantee doing a weird operation will create a new useful mathematical object. The imaginary unit, i, follows associative/commutativity laws etc and is so enshrined. However, defining something like 1/0 as the "zero divided unit" it doesn't follow any of those laws to make it a group etc. So it can't be manipulated like a normal quantity in your algebra. Though it could be manipulated in other algebraic structures, such as wheels. However, if you haven't thought through this before, I think you totally have the right attitude, the right way you want to approach mathematics.
If Twitter competitors kept getting their apps banned, that, to me, would stress the need for the web. Which mobile platforms don't control and block. These sites would have been fine fine if they had been PWAs. The web continues to be the best chance to escape the walled garden.

I agree we need new tech, but those standards and protocols can grow atop http and yes IMHO html too.
I'll go one step further and offer the banker some advice.

Sell. Throw an auction, set a insanely low reserve price, and walk away with spending money now.

Sure, walking this through the regulatory minefield, forming a company to mine, process and exploit the resource would maximise value and make the bsnkrr stupendously rich. Or it might fail at some hurdle and consume his life.

In light of this valuation 10m might sound laughable. [1] but that's life-changing money, with time enough left to enjoy it. What use is a billion when you're 80?

There's a point where more money doesn't matter, but time ticks relentlessly away. Don't waste the time, take less money now.

I know, I know, I'm an old man. For someone in their 20s this looks like a lovely long-term career that'll make you stupid rich. And you will get rich. But you'll work hard for it. Time is more precious than money.

[1] granted he may already have this money - he dropped 2m on a coal mine - but pick a number and my point stands.

Then again, there are lots of mining companies so expect some bidding way past 10m. As long as 2 are involved it's not going to be "stolen".
>It makes me very sad that we have ruined the eden that was the earth.

Are you the Platitude Man? I think I just died of cringe.
Agreed-- hacking value sure, but... I guess there's just so many more pain points to solve in the home theater/discrete audio space that it bothers me a bit to have talented folks twiddling about on problems so handily solved by the big product teams of our era.
BOSH: https://bosh.io/docs/
The benefit here is that you can at least unpack stuff you aren't comfortable talking to a therapist about. The "it's free" thing isn't the real benefit.

The other important thing to look at is that mental healthcare in the US is still heavily stigmatized. There are professions that actively punish people who seek help, like the military or civil flight - a 35-year pilot a few years away from retirement just won't, for example. A 17 year old kid whose family all served in the military, who wants to also do it, will probably be advised against seeking therapy because certain labels lock you out of the career path. And life insurance can and will deny you coverage if you have conditions like anxiety or depression.

Even if you can afford it, you can end up risking the livelihood of you (career options) or those you care about (a stay at home spouse who needs the insurance if something happens to you).

Therapy is important, and I wholeheartedly agree with you: people should go see a real human and get out of the house. It's the healthiest option, and least risky from a health perspective. But even if an LLM is worse than a real licensed therapist and just helps you "talk" about things, I can understand why someone might feel that is the only realistic option under the poor system we live in.
It’s called market segmentation. Their other machines do 2.5-10g but this isn’t those products.
I think the US suffered minor attacks on the mainland and invasion of Alaskan islands in WW2, in addition to the more well-known attacks at Pearl Harbor and Midway.

Not sure if enough happened to count, though.
how about a kbd-macro that does that including appending the region in all-my-slack-md-posts with a timestamp?
It was really fucking dope to spend the first 18 years of my life being proselytized and then radicalized into an ideal that died 10-20 years before I was born and even then was concerted pyramid scheme marketing bullshit.

A better subtitle, several decades past its prime, is: was it ever even real?
What put Trump in the White House in 2016 was the worst Democratic candidate in at least two decades by a large margin. Was the HRC platform in 2016 significantly more "radically progressive on social issues such as abortion, immigration and LGBTQ rights" than the Obama platform 4 years earlier? I strongly doubt it.
>>> and if you want anything more complicated it's just a dumb debian underneath

Are you doing persistence (keep settings/data after reboot) with Unifi OS 3?
Im in the midst of reading Pinkers the Language Instinct and the basic thesis is that language is innate. Preventing language would be like preventing eating.

The sing-song thing is cultural but powerful. It’s hard (for me) to not default to it with my one year old.

Edit: LOL I clearly commented before reading the article.
I've seen this term used a lot lately, what does it mean?

> single pane of glass style interface
This reminds me of the TOR service that tells you how unique your presence is on the network, based on a whole lot of things the browser reports.

Sometimes it'll be a single font that gives a person away, even when so many other bits of information are essentially the same.

It works pretty much exactly like how Akinator The Mind Reading Genie works. You narrow down by various yes and no answers, and get to the right answer, or a very close subset, surprisingly quickly.
A reboot, a software deployment (kernel upgrade), server replacement, etc. are all the same process. That simplifies things dramatically. You can micro-optimize the 30s it takes to reboot a server, or you can simplify a runbook to have one process for any “deployment”. Different scenarios require different things but for most “web scale” things that need to be overprovisioned anyway, I’d take the simpler process.
Isn't it more significant at smaller scale? That is, if you have less computers running to serve requests, the downtime of the singular system will be more pronounced (as opposed to rebooting one machine out of 20 in a rack).
My first, empirical answer: physically, dividing a candybar into x parts leaves x parts. Dividing it by 1 OR 0 or -x is not dividing it. You're left with 1 candybar. Infinity? is overthinkig it.

It also depends on how you divide. Dividing the Rosetta Stone into two parts, much information can be lost depending on the orientation of the cut. Say you divide it at a 45° angle from top left to bottom right) might be ok, depending on how much the pieces are separated.

Clearly the simple little word 'divide' is carrying too much weight here. Mathers, feh.
The Quetzal and the Macaw: the Story of Costa Rica's rainforests. https://www.amazon.com/Quetzel-Macaw-Story-Costa-National/dp...

Page 75: "Scientists estimate it takes from five to ten thousand years to completely reconstruct a virgin rainforest."
People become software engineers instead of choosing a different profession because there is so much money in ads.
give it a couple more years, we'll have ultrascale
You've hit the nail on the head: any code written as a series of text files will lack the overall structure needed to easily navigate, refactor, and perhaps most important of all, render as different "views." For example, if the development environment automatically ingested the code and understood which modules were related to each other, it should be trivial to ask it to sort the functions by name, and/or group them by module, or anything else you can think of.

When moving a function to a different module (e.g. moving bar() from foo::bar too baz::bar), the development environment should automatically change all references to foo::bar() to baz::bar(). And this is just the tip of the iceberg of what the development environment should do for you.

The problem is, developers have come up with all sorts of clever hacks to do this searching and refactoring, including IDEs which do much of the heavy lifting, but at the end of the day they still fall short of what should be a simple task for the developer.

As for additional metadata that would be required to make this work: objections that programmers would be reticent to provide this info are similar to objections to writing good documentation, and my response is: you reap what you sow. If you really want good, structured code, you have to write it, and you have to do so in an environment that accepts such structured data. You can't get blood from a stone.

In short, for large, complex projects, our current method of writing code as textfiles is unwieldy. Unfortunately developers' visions are clouded by their hard-earned ability to parse those textfiles, and don't see this as a problem.
Some Netgate firewalls have SFP WAN ports.
You're making a value statement about two different positions. Without having adopted such a value statement, I poked at an outsized response. You would need to say why it's a conspiracy theory, any why it's well-structured.
Thank you, appreciate the link
I saw two of them in a single day at Tahoe over Thanksgiving weekend.

Yes, I am sure it was not two instances of seeing the same Cybertruck.
Yes but there is no requirement to surveil someone's bedroom, when their life totally depends on your agricultural handouts.

A hard reset on surveillance is required. We have to build housing that cannot be surveilled, blacklist by default. Only whitelist approved sensors.
I worked with Fiber Bragg grating [1] technology in the 2000s, exploring its applications in diverse fields. This included biomedical applications, where a fibre optic cable inserted inside a catheter measured temperature and pressure at specific points within a person's body. And in deep oil drilling, where the same fibre optic cable could extend kilometers down a well.

[1] https://en.wikipedia.org/wiki/Fiber_Bragg_grating
Related (a bit):

Notes on Nike Missile Site SF 88-L - https://news.ycombinator.com/item?id=22813836 - April 2020 (1 comment)

Nike Missile Sites of the San Francisco Bay Area (2001) - https://news.ycombinator.com/item?id=9956954 - July 2015 (48 comments)
Huh, In the early 2000s I did support/product for a cassette based MP3 player. A 2001 Mustang would've been right in our wheelhouse!
Putin's War on History (2022)
Video Game Crash of 1983
In Python you can use this:

from __future__ import annotations
from typing import TYPE_CHECKING

if TYPE_CHECKING:
import mymodule

def myfunc(arg: mymodule.MyType) -> bool:
return bool(arg)

This will make type annotations to be converted internally to strings. TYPE_CHECKING is a constant that's always false except when you use a type checker, so mymodule will never be imported on runtime, but the type checker will think that it was imported.
I came to an alternate conclusion. While cellular network operators generally have abysmal authentication procedures they are not responsible for bank fraud. If a bank relies on SMS delivered codes to confirm large funds transfer, they have taken a measured risk in offloading identity binding to a third party. Banks could use TOTP, USB dongles, CAP, have a customer support employee check knowledge based questions, physically mailed TANs, app push notification, etc. But SMS is used because it’s cheap, less worse than passwords only, and most people have a cellphone.
Not sure it was a loss for USA as a country. The real losers of that war were all the indigenous who were involved, and perhaps Spain who'd lose Florida a short time later.
Map shift + space to underscore?

In my .vimrc, I mapped space to ; to enter VIM command mode:

noremap <Space> :
The Roman Empire was constantly invaded during its rise and then was constantly splintering and fighting civil wars along with the occasional war against foreign powers in its height. You’re completely wrong about that
> I brought the satellites up specifically because your parent comment said that "with an unstable power grid or disrupted Internet, the currency stops functioning" which they render false.

I don't know, I would say that a globally connected network that digitally transmits information is effectively an internet regardless of whether it is transmitting data over ocean cables, satellite connections, telephone lines, or pigeons. I disagree that a satellite system changes anything about that point; technically I guess it's different, but it feels a lot like quibbling over linguistic technicalities when the actual meat here -- that transactions require global consensus and network connectivity -- is unchanged.

And to be honest, even that linguistic distinction feels slightly like an "in theory" argument anyway, because Blockstream doesn't appear to be a separate self-contained network, the most charitable interpretation of the system I can see is that it is a bridge to the Internet to increase connectivity. Blockstream does not get rid of the requirement to get transactions onto the Internet, it just provides a way to sync the blockchain to places that don't have direct access. I still think it's accurate to say that transactions on Bitcoin must be synced over the Internet with the entire network. Many miners are only connecting to the network through the Internet, and Blockstream is still ultimately going to be synchronizing with those miners.

If I hand someone a piece of paper describing the transaction I want them to perform, and then they drive to their house and log into their computer and perform the transaction for me, my take would be that we have not actually gotten rid of the Internet requirement. Delegating transactions or providing bridged access to the network does not mean that Internet access is not still ultimately a requirement for transactions, or at least that's the way that I interpret an Internet requirement.
While it's true that you can do things with the Reimann sphere and such, this is 3rd grade, and 1/0 should not be defined.
Ignoring them would result in breaking them with any hand edits, I think. This spec seems to create chunks of markdown documents that (almost) cannot be edited by hand -- any change you make that affects the offsets in the `Annotations` range requires you to update all the references character-offsets. (And any changes made within the annotation range itself require recomputing the hash as well as updating the ranges.)

The only change you can make to one of these documents by hand is to add further content after the annotated ranges.
The utility mentioned isn't the approach I would recommend for 'validating absolute URLs' -- for that I would simply use try..catch with the URL() constructor and no base URL.

My linked utility is specifically for validating that a URL is valid (won't throw an error when passed to the URL constructor) and doesn't need additional encoding. This helps with my use case which is a 'create URL classification' UI that allows users to input URL matchers in a multitude of formats.

For additional context, some inputs are invalid even with a base URL. e.g. new URL('//:0', 'https://-') will throw an error.

Your first critique doesn't seem relevant as this is mostly for checking if a URL is 'valid' (i.e. doesn't throw an error when used).

Also, for your second critique, the username + password is actually part of the origin as used by both of my snippets. For example, isValidURL('https://a:b@c.d/') and isValidURL('https://a:b@[::1]/') both return true for me.

Do you have a URL that gave a bad result? If so, feel free to mention it here and in the comments for the gist so that users of my snippet can be made aware of its limitation.
It appears that some of the links point to obsolete URL. Googling SequenceMiner points to https://catalog.data.gov/dataset/sequenceminer-algorithm
Humans Are the Sex Organs of Technology
.
.
.
.
.
.
.
.
.
------------------------------------------------------->