skysight-inc/HackerNews huggingface dataset:
Yeah that's kind of what I was alluding to in the last line. Was mostly responding to the idea that "it won't take that long to find".

With a bit of creativity they can be made pretty hard to find. At least hard enough that they're no longer the weak link at all.

The next step would be trying to make it more integral to whatever thing you're trying to track. If you disassemble an air tag and hide it inside your laptop, no thief is gonna pull out some precision screwdrivers and start trying to figure out where the hell it is. They're just going to get rid of it.

... Which I've thought about, but that's a level I don't think is really necessary for my own situation.
The site is well organized and the information flows smoothly, nice job.
Here you are wanting a pity party for how democratic politics work (winning over factions with competing interests).

That was a genius political move. He illustrated strong understanding of how politics works, are you confused? Tell me then, which side did Kamala stand with?

>Support cutting taxes

I love low taxes, I hope they are cut extensively. I'll be thrilled if/when this happens.

>Maybe America should be punished

The winners, not the losers, get to decide who gets punished. But yes, wishing ill on your political enemies is exactly what I pegged as your main motivation, which is why dressing it up in fake moralism doesn't work.

>Monsanto

The new head of Health and Human Services on Monsanto:

https://youtu.be/gGoNyvAvhf0?si=vWOF5LXtMIDL71k9
I loved this paragraph:

> This dichotomy gels really well with the way my brain works. I’m able to channel short bursts of creative energy into precisely mapping the domain or getting type scaffolding set up. And then I’m able to sustain long coding sessions to actually implement the feature because the scaffolding means I rarely have to think too hard.

It's why I keep begging my team, every time there's a new codebase (or even a new feature), to stop throwing `any` onto everything more complicated than a primitive. It is exhausting. It forces me to waste energy on the shitty, tedious parts. It forces me to debug working code just to find out how it works before I can start my work.

They tend to take the quickest solution to everything -- which means everyone else has to do the same work over and over again until someone (me, invariably) sits down and makes a permanent record of it.

In doing this they ensure that I can't trust any of their code, which is counterproductive for what should be obvious reasons. Every time I work on established, untyped (or poorly typed) code, it's like I'm writing new code with hidden, legacy dependencies.
the more I glimpse American culture, the happier I am that I was not born there.

>I wasn't terribly happy with that response, and she broke up with me a week later

my brother in Christ, you should've broken up with her on the spot.
I was subsuming union types under sum types here, maybe a bit imprecisely.

The following already works in Java (and has for a long time):

interface F<X extends Exception, Y extends Exception>
{
void f(int n) throws X, Y;
}

void g() throws IOException, SQLException
{
F<IOException, SQLException> f = n ->
{
if (n > 0) throw new IOException();
else throw new SQLException();
};

h(f, 0);
}

<X extends Exception, Y extends Exception>
void h(F<X, Y> f, int n) throws X, Y
{
f.f(n);
}

We merely want for F and h to be able to work for any number of exception types. We don't need the ability to declare variables of type X | Y for that.

Of course, it would be nice not having to write IOException, SQLException multiple times in g, and instead have some shortcut for it, but that's not strictly necessary.

The main problem currently is that you have to define F1, F2, F3,... as well as h1, h2, h3,... to cover different numbers of exception types, instead of having just a single definition that would abstract over the number of exception types.
This can't be the whole story, but probably significant that gay hookup apps are light-years ahead of lesbian hookup apps :P
This is geographically variable: the more rural you are, the less choice you have. And between comparable geography, there's a lot of variation. It's not just job, it's profession. To get an OK nursing or teaching job, you may need to move across counties or even states. You can invest in yourself if you have capital.
Interestingly, Edward Snowden studied at Appin's rival Koenig back in Delhi in the 2000s [0]

[0] - https://foreignpolicy.com/2014/01/13/what-was-edward-snowden...
I am out of the game for a year or so (and was never completely in the game), but back then BERT was the basis for lots of interesting applications. The original Vision Transformer (ViT) was based (or at least inspired by) BERT, it was used for graph transformers, visual language understanding, etc.
Probably indeed a US liability thing. The FTC-like agency in my country publishes standard letters for this and a tool on their website to find the right letter or generate it based on some input.

We still get the same consumer-hostile practices from companies, but usually they give up if you send them one of those letters.
> 10.7k TWh globally

Agree I hate this, but at the same time I don't know if I would have groked it correctly on first read if it had listed "10.7Pwh globally". We simply aren't exposed to numbers at that scale on a regular basis.

Not sure what the correct solution is here.
11 month old story, tiny discussions at the time

(11 points, 2 comments) https://news.ycombinator.com/item?id=39174881

(8 points, 3 comments) https://news.ycombinator.com/item?id=39191349
personally i have never used any TP-Link link router. No specific reason to be honest, but as I look at upgrading to 10gig and beyond, the cost of a router is insane. Not to mention the OS is a subscription with some brands.
I can’t handle Southern weather.

The redneck stuff is fine with me, I lived in a small town and it has a certain charm. Good place to raise kids, etc. But I like winter… I live in a small northeast city and enjoy it.
On a very high level, for NLP:

1. an encoder takes an input (e.g. text), and turns it into a numerical representation (e.g. an embedding).

2. a decoder takes an input (e.g. text), and then extends the text.

(There's also encoder-decoders, but I won't go into those)

These two simple definitions immediately give information on how they can be used. Decoders are at the heart of text generation models, whereas encoders return embeddings with which you can do further computations.
For example, if your encoder model is finetuned for it, the embeddings can be fed through another linear layer to give you classes (e.g. token classification like NER, or sequence classification for full texts). Or the embeddings can be compared with cosine similarity to determine the similarity of questions and answers. This is at the core of information retrieval/search (see https://sbert.net/). Such similarity between embeddings can also be used for clustering, etc.

In my humble opinion (but it's perhaps a dated opinion), (encoder-)decoders are for when your output is text (chatbots, summarization, translation), and encoders are for when your output is literally anything else. Embeddings are your toolbox, you can shape them into anything, and encoders are the wonderful providers of these embeddings.
You should be able to use qnames (foo:bar) for attributes, I think? The problem with data-* is that it's misuse, template directives aren't really data. E.g. something might actually use data-if, which would probably collide with a template directive.
Previously: https://news.ycombinator.com/item?id=2089615
There's definitely a "delusions of grandeur" thing that happens with some startups. "Come join our incredible journey to change the world by micro-optimizing ad placement on image boards."
Show HN: Website to send an email when Startlink is available in your country
I'm waiting for Starlink to be approved and available in my country. So, instead of checking every time the Starlink availability map. I built a simple to keep track of the progress of Starlink availability in my country and send me an email notification when a new update is happened

Link: https://www.starlink-tracker.com/
Can you speak to some of the harder or more interesting challenges you faced during that time?
>despite at least a decade of people pointing at it being historically exponential and asking they don't assume the exponent will continue.

So crazy and true. Sources:

https://www.economist.com/interactive/essay/2024/06/20/solar...

https://www.exponentialview.co/p/the-forecasters-gap

7 years ago (!): https://xwpxpfefwalgifkr.quora.com/A-modest-proposal-to-the-...
Some of these people don't understand that they won't see that tournament again, and they won't be able to make their relationship "line go up" if they don't build the foundations when their children are still children.
Looks very interesting. How does an MPP differ from so called "cloud native" databases that separate storage and compute?
I imagine quite a bit of a Computer Science degree is relevant if you plan to be a computer scientist.
This seems like something a disclosure would reasonably solve. The anti-union PR posts aren't going to disclaim that they were paid by Amazon to post the comment but the pro-union wouldn't give a shit.
Really, at some time we need to stop glorifying cowardice and reclaim a little bit of dignity.

As a society, yes, but do you want to be the one to sacrifice your life or livelihood, for the slim chance of having an impact on society?

A lot of those thiefs are not hardened criminals

Right, but I wonder how long a stolen bike is in the original thief's possession, before it's sold to a fence? And perhaps the fence is in better shape or has buddies for protection against retheft?
No matter how trusting I am of society this is something I cannot and will not do. It takes one person to commit this crime.

It doesn't even have to be a "shit hole", then what? I am out of 10k? I only have myself to blame then really because I trusted "society".

The world isn't perfect and I am not half naive enough to think it is and put my trust in it for anything worth this much.
> Because OS doesn't really matter here.

Arguably correct, but I really do like the NetBSD experience when I am dealing with the OS.
Fair point, although with a 400+ year half life in the americium source in the detector, I am skeptical that a new smoke detector would be any more reliable than a very old one.

I would think testing them regularly - especially with simulated smoke as done in professional situations, or in my case via bad cooking, is probably more effective than regular replacement on a schedule to ensure they are always working.

If dealing with something that follows a Poisson failure probability distribution with a fixed percentage probability of failure per year (as is the case with most electrical components), regular replacement only makes the system more reliable if you are unable to test it, otherwise it makes no difference.

With a few rare exceptions, is largely a myth that replacing machines or technology at regular intervals increases reliability- people incorrectly assume this to be true, based on observing that most failures happen to things that are old, but this is merely because they spend more time being old, not because the rate of failure per time increases with age (it almost never does). Testing and redundancy are more effective and cheaper.

Now, everything I am saying would be wrong if smoke detectors indeed have components besides the alpha source whose failure rates are known to increase with age, and actually age out within a decade or so. Like you mentioned, this can be the case with electrolytic capacitors as well as non solid state relays. However, I wouldn't be surprised if the lifespan of capacitors at the low temp and low voltages in a smoke detector wasn't 50+ years.
The correct solution is 10.7Pwh. We are often exposed to 'Peta' when dealing with data.

https://en.wikipedia.org/wiki/Metric_prefix
> The most vocally popular web languages - Python, Ruby and Javascript - all seem to either ignore or not have types at all.

All three of those languages have ways to use typing, so this statement is only true in the sense of types not being mandatory, which is also the case in any language that has the Any type.
This is cool, when can we expect a Windows version?
People Express let you buy your ticket onboard back in the 1980s.
Meta should commit to operating Oculus at arms length in order for them to get permission to access every bit of data on my phone.

Because they have a long pattern of using any collected data for advertising e.g. MFA phone numbers.
The word swinger wasn't mentioned once. Probably because the swingers are just quietly enjoying their lives under the radar.
EIA Electricity Monthly gives data in certain tables in terms of either million kWh or "thousand megawatthours" which isn't even English. Let's just use J.
Right - the phone itself is what is keeping track of the air tag, but if the phone doesn't detect the airtag for some period of time, I assume the anti-stalking timer resets. This is why if you walk past an airtag on the way to the store, and then walk by it again 20 minutes later, you won't get an anti-stalking alert.
Unlocking Efficiency with Parallel RPC Request Processing on Backpac
Even assuming 100% solar rooftop coverage is the goal, given limited capacity of raw materials, labor, infrastructure would still necessitate prioritization of when to allocate those things to which places.
Doesn’t that limit you to deploy dot files to nix available system only? That’s the primary reason I don’t use home manager.
Out of curiosity why WebDAV vs loading the HTML straight from disk wherever they are and having a service that's only needed to for saving changes?

Edit: I sketched out a basic version in JS + Python, it's fairly ok to use. The nice parts about this approach is the HTML files are viewable without any extra services, and the service that enables saving doesn't itself need configuration or to keep state.
This is a very impressive refinement of their existing tool, but is this type of advanced calculation of roof-pitch (etc.) still relevant?

Haven't we more or less concluded that a million piecemeal rooftop installations of solar are about the worst way to do it? More complicated and expensive to permit and install, less efficient operation, difficult to repair, difficult to insure, difficult to upgrade, inefficient to integrate into grid, etc.
Musk floods X with spending bill misinformation
Digital twins of human organs are here, and set to transform medical treatment
Dupe https://news.ycombinator.com/item?id=42466048
I generally agree with what you are saying, but you need to add "and not fighting" to "long term committed parents who are always there." Not fighting is so important that sometimes the parents need to split up so they can stop fighting. They can still be committed parents who are always there for the kids while no longer in a relationship with each other and the kids will do well.

I really really wish someone had told me that a long time ago, and while I'm wishing I wish someone would have told my children's grandparents that an even longer time ago.
If thing A is important enough to declare a "code yellow" in order to ignore things B, C, and D to focus on A, then were B, C, and D really that important? Could you have focused your team on A from the start, making a "code yellow" unnecessary? (Hint: yes, you could have, so the question should be why you didn't, and whether you could have seen it coming.)

I've seen this happen a lot with mediocre leaders. "Code Yellow" equivalents happen because they weren't able to understand that A was really the most important thing, typically because B, C, and D were important for optics or politics, but not genuinely important to the customer or the problem at hand.

A "Code Yellow" is a useful political tool to move an organization to focus a bit more on problem solving by saying "I don't care about your politics, your org charts, whatever, just solve the damn problem." In that sense, it really does work.
Whoops, I actually meant to link to this statement [1] rather than the fact sheet.

A key quote:

> The use of AI by litigants, attorneys, judges, judicial clerks, research attorneys, and court staff providing similar support may be expected, should not be discouraged, and is authorized provided it complies with legal and ethical standards. Disclosure of AI use should not be required in a pleading.

> The Rules of Professional Conduct and the Code of Judicial Conduct apply fully to the use of AI technologies. Attorneys, judges, and self-represented litigants are accountable for their final work product.

[1] https://ilcourtsaudio.blob.core.windows.net/antilles-resourc...
There's a primary type that holds invalid utf8; it's [u8]. If you want a string from that, you try turn it into a string, and deal with the errors then.

If an algorithm works for invalid Unicode, it should probably be an algorithm on bytes, not strings.
> that nonetheless still seem to have thoughts

We do not refer to all mental processes as "thoughts". What makes you believe this?
If you want to finish something, start by thinking about, designing, and testing the end-user experience.

Examples:

* documentation first
* low fidelity mockups
* think of the problems it will solve
* how will life improve by using the result of your efforts?

That way, you're more focused on the "what" than the "how" - as we often get discouraged when the "how" changes because we haven't realized the "what" we're building (or why we're building it).

If you don't know where you're going, you're already there before you begin.
At University of Waterloo we used scheme
Both your and the other person's phrases are correct, but depending on what they're applied to. Calling it a joke or art pulls the punch on traders doing the same thing and feeling good about their trading skills, while calling it just art also sells the technology short as far as its capabilities go.
I love it. I use Trello as my 2nd brain but it means that I can't do anything offline. Where I can see loving this is if I write a little converter so I can take a Trello board JSON export, load it into Nullboard and work on it offline, then a thing that goes back the other way and creates a Trello board from my NBX file.

Maybe if I put the original trello card ID at the bottom of each NBX "note" and then synched any text back as a new comment on that card, and the list ID in the title of each list and adding any notes without a Trello card link as new cards to that list, it would be a pretty automated way to get a bunch of edits back into Trello where I could tidy up with copy/paste.

Rock on!! Forked the repo and have my new local version pinned.
But the cannabis industry is mostly large companies capturing regulators and litigating genetics, so I'm not sure the distinction is accurate.
Why? When electronics don't work the first thing I do is hit it kinda hard, same as the old days.
How do you evaluate a logical puzzle without some linguistic substrate to identify contradictions?

I'm not even implying "english", but logic is inherently a product of formal language—how else would you even construct claims to evaluate?
It's probably because it does it a full reset every frame, and there's an animation playing.
But the audience isn't an omnipotent controller of PV panel allocation, it's emergent market participants. Presumably, the market emerges more plentifully in those sunnier places. It's hard to imagine the place where this data is useful to local construction firms who were previously not well-informed (potentially by just walking around with their eyes open).
> To them, there's no debate to have over "does it have real feelings?" and not really any debate at all. To them, these are just novel stochastic tools whose core capabilities and limitations seem pretty self-apparent and can just be accommodated by choosing suitable applications, just as with all their other tools.

Boom. This is my camp. Watching the Anthropic YouTube video in the linked article was pretty interesting. While I only managed to catch like 10 minutes, I was left with an impression that some of those dudes really think this is more than a bunch of linear algebra. Like they talk about their LLM in these dare I say, anthropic, ways that are just kind of creepy.

Guys. It’s a computer program (well, more accurately it’s a massive data model). It does pretty cool shit and is an amazing tool whose powers and weakness we have yet to fully map out. But it isn’t human nor any other living creature. Period. It has no thoughts, feelings or anything else.

I keep wanting to go work for one of these big name AI companies but after watching that video I sure hope most people there understand that what they are working on is a tool and nothing more. It’s a pile of math working over a massive set of “differently compressed” data that encompasses a large swath of human knowledge.

And calling it “just a tool” isn’t to dismiss the power of these LLM’s at all! They are both massively overhyped and hugely under hyped at the same time. But they are just tools. That’s it.
> the task of dividing the octave in heptatonic scales.

that's not task. The octave has already been divided into twelve tones here.

The task is to pick sets of those twelve tones to serve some aesthetic purpose. The sets may be of various sizes, though 7 is common in a lot of european music.

If the task was to generate heptatonic scales from within the octave, there are a huge number of possibilities not described here, and most of them are rarely used (though many more than the ones based on a 12TET system are).
I believe that. A big part of security isn't making your property theftproof, but making it more work than your neighbor's.
https://www.kyivpost.com/post/44187

https://www.politico.eu/article/zelenskyy-calls-putin-a-dumb...
Okay thank you. That's actually a clear argument.

When I say things like "the courts are the mechanism our constitution defines for resolving disputes about the interpretation of law", I am making a principled argument based on my understanding of the Constitution and the Separation of Powers, not based on anything the Supreme Court has or has not said.

The United States Constitution defines three separate branches of government:

1. The Legislative Branch, which makes law

2. The Judicial Branch, which interprets law

3. The Executive Branch, which enforces law

These branches are intentionally separated from each other to prevent the concentration of power, and so that each branch can serve as a check and balance on the powers of the other branches.

Government agencies are part of the Executive Branch, which enforces law. They are not part of the Judicial Branch, which interprets law. Therefore, they should not have a role in interpreting the law, and granting them that power breaks this simple fundamental principle of the Constitution.

This is civics 101 level stuff. It doesn't seem like it should be controversial to me, which is why I've been asserting it as true without feeling the need to try to justify my points beyond those assertions.