skysight-inc/HackerNews huggingface dataset:
Short answer: no.

Background: I used to be a developer and have managed developers. Now I work in info sec and manage info sec.

Longer answer: this question has been discussed throughout my career.

(1) Does it help for a manager to understand what a team does and needs to do? Absolutely yes. Some managers can do this without domain experience but it's a lot harder for them and the team.

(2) Should a manager keep doing what their team does? Probably not. I can actually do most of what my team does faster and better, but they need to learn to do it. I don't scale. I can mentor them, and if there's a need for more resource I can get it for them.

Edit: I do actually still write code - but just in my own time because I enjoy it.
My understanding is that TCAS is disabled not due to radar limitations, but because it isn't altitude-aware and will happily generate an avoidance command that results in CFIT.
My gut still tells me this relies on a human-defined optimization metric.
> with the full might of US support

Wasn't the time for that 3 years ago (or 11)?
I'm not pro Russia, but a war of attrition has always seemed a bad play and half-assed. Especially when Europe is still buying gas from Russia...
I feel like I've proven I know what I'm talking about at least from an ML perspective given we trained the model on the website. It's not strictly required, but I know you'll get much higher quality more powerful tools much more easily by building on top of a solid music foundation model than training a bunch of one-off specialized tools.
Researchers find less educated areas adopting AI writing tool faster
Basically. Just non malicious. It's a macro pad with an unusually long macro.
Special for you: one drone costs as little as 500€. But you can donate even few dollars, everything counts. That is the power of crowdfunding.

That guy by the link, Sternenko, supplied Ukrainian forces with 100 000 drones in 2024.
He said, ironically speaking with authority on something he had no idea about..

"classification by compilation" is literally part of the Security Classification Guide (SCG) and given as mandatory training to everyone with a clearance at least once a year. Individually unclassified pieces of information can absolutely become sensitive or even classified when aggregated. Read the SCG people, this is not rocket science.

(I am not saying that applies here to this data. Merely stating that none of you have any idea what you are talking about.)
When mentoring a junior, I noticed he had an alias `gpf`, which he apparently picked up from another developer.

I had a serious conversation with him, explaining that I'm not in the habit of telling him how to configure his shell, edit or general work environment. But an alias for `git push -f`, that I cannot condone. When you're doing that, the two seconds it takes to type it out should be rather low on the list of priorities.

So we had a good talk, and he genuinely understood the point I was trying to make. When I was about to leave, he looked at me sheepishly and asked:

"So I guess you want me to remove this one too?"

gacpf - git add . && git commit --amend && git push --force
His work was not commonly performed in his lifetime, and I think you're rather proving my own point? Yes, they could perhaps occasionally listen to Bach, if the organist at their church was aware of him (most would not have been, not until hundreds of years later), had the music, were willing to perform it, and you happened to be in attendance when they did. That's a lot of chained ands.
Elon Musk urges Trump to 'think about' pardoning George Floyd's murderer
But you don't like that one, though it did talk about massive insolvency in the real estate. Here's another from 2022:

https://uschinatoday.org/features/2022/01/11/cities-lost-in-...
LCBO website down due to US Tarrifs on Canadian Goods
FT source earlier: https://news.ycombinator.com/item?id=43257731
A few billion is pocket change for Musk. Do you mean Trump?
crazy no image in the readmes
Not always.

HR people say that they do that to avoid liability, but… typically they aren’t covered by NDA, and there’s only slander/defamation if you find out about it, it’s negative, and it’s not true.

I used to do my own reference checks and got lots of info, often without asking. Well placed silence will often lead people to jabber. More often than not they would say lovely things. They they’d say lovely things than silence on a difficult topic.
One of the challenges I imagine you'll face as you move towards active advisory is that the more an alerting tool is relied upon, the more an absence of a flag from it is considered a positive signal that things are fine. "I didn't hear from Enhanced Radar, so we don't need to worry about ___" is a situation where a hallucinated silence of the alerting tool could contribute to danger, even if it's billed as an "extra" safety net.

I imagine that aviation regulatory bodies have high standards for this - a tool being fully additive to existing tools does not necessarily mean that it's cleared for use in a cockpit or in an ATC tower, right? Do you have thoughts about how you'll approach this? Also curious from a broader perspective - how do you sell any alerting tool into a niche that's highly conscious of distractions, and of not just false positive alerts but false negatives as well?
In the 90s my student union ran a computer network mainly for gaming with DOS PCs and netware running on a Linux server with MARS. This was before they had internet access but it was great for lan gaming: command & conquer, doom, or quake. All games were started from network mounts. Fun times.
It is not so easy. There are involuntarily drafted people, there are convicts who joined in exchange for a pardon and there are volunteers attracted by huge bonus and salary.
10 years is total independence. There's a lot of independence to be seized in the coming year (starting with not waiting for US decisions) and EU leaders seem to be quite enthusiastic about it.

From analysts I follow, the feeling is that EU support will sustain Ukraine at least through 2025, with the greatest weakness being ammunition for Patriot and GLMRS systems (though thankfully those have decreased in importance as drones take over). And 2026 is when the cumulative damage to Russia's economy really snowballs. If Ukraine makes it through 2025, I'm relatively optimistic.

My great fear in 2024 was the flagging support for Ukraine due to war-weariness and lack of a resolution, would push some parties towards a more passive, accommodationist outcome. We can thank Trump for this: the fire to see Ukraine win has been lit again.

Slava Ukraini, my friend. Stay safe.
I thought the same thing; perhaps its distributed into fewer chunks.
That has no impact on legislation unless the rule gets later repealed.
Ireland's love affair with cinemagoing never went away
> there is no nuance when it comes to relieving a person from suffering

What if the person is suffering from a mental health crisis that modern medicines can treat? I'm not trying to be obtuse, and I understand what you mean by suffering is akin to what you described, but my point is that written in that way, it's not clear. This is precisely why the conversation needs to have nuance, because we all have wildly different experiences with suicide, and we need to fully understand the various factors driving it before we open the gates to assisted suicide.

> Perhaps you'd argue this too was a case of the medical system failing the person

Why would I argue that? I think you misunderstood my argument. In cases where someone is attempting suicide because of a treatable mental health condition (i.e., a chemistry problem in the brain that can be relieved through modern medicine), I think we should be cautious about killing them without at least attempting to treat the underlying issue.

One thing that hasn't been mentioned in this thread is that, in many cases, suicide is not an individual act. A father of three with a family dependent on him who decides to commit suicide is very much impacting the lives of his family members. Again, nuance is warranted.
Show HN: Clean Plate – Cooking Recipes
Cooking Recipes app for iOS
Resume Tailoring App
As the comment from phillistine notes this doesn’t square with known data and I have no evidence to the contrary.

To which I want to add, that even though the DoD modes have its own (and worth addressing) budget process issues they’re at least largely getting what they are paying for in most circumstances as well as continuing to fund R&D at a fairly robust clip.

In the area of defense R&D in particular that large gap in budgetary spending will matter a lot more than building any “well known” military equipment as the next generation will come online faster than other nations can keep up without ramping their own spending
Actually I love this. Saves the American people from most of the bad decisions but targets the oligarchs.
Donald Trump's daughter literally is the only non Chinese to own patents in China without a local partner.

Apple, Microsoft, LVMH, Volkswagon, Ferrari, etc don't have that.

Donald Trump is also deep in debt to Chinese banks.
The goal of AI automating labor should be to give us more leisure time to pursue hobbies, not to fill our limited leisure time with low quality substitutes for those hobbies.

Making an activity in which the primary limiting factors for most people are the time, knowledge, and effort required (as opposed to expensive tools) into an effortless slot machine pull is enfeebling to human creativity and agency. Who will spend the hours of making bad music to get to the point where they become good if they can just rely on something else to generate music that's "good enough"?

There's something to be said about all this which is related to AI generated images that I rarely see brought up: people with specific skills play roles within groups, so AI making their hobby that they dedicated so much time to more easily accessible makes them lose social value, which might make them quit altogether.

The common response that "people should make art because they love it, not for attention" is a prescriptive statement that supposes there are more or less "pure" forms of performing an activity and also ignores that art is a form of communication.
Stallman, who apparently speaks French, said the 'L' stands for "Libre". https://www.gnu.org/philosophy/floss-and-foss.en.html

The word matches his intent of "Free Software" without English's ambiguity around gratuity vs. freedom.
It looks like classic models of NLP semantics mostly punt on the "logical" point of view precisely due to these difficulties, and focus mostly on the more surface level problem of describing how each word of the source text correlates with a deeper description of the "meaning" of the text as a whole. So it is simply assumed that the meaning of the text as a whole must be derived compositionally from the meaning of each part (usually described by a somewhat ad-hoc "frame" structure), but exactly what that entails in a "logical" sense is left unspecified. UMR (Universal Meaning Representations) seems to be a typical example of such a system https://github.com/umr4nlp/umr-guidelines/blob/master/guidel... The expected use case seems to be something like building a common intermediate language for an automated translation system; individual meaning elements can then be "mapped" in a useful way, even across different languages, but there's not much interest apparently in "inferring" further knowledge from what one already has, or even on verifying that any given inference is valid (as proposed by OP).
Agreed! Those will be much more fun and we plan to support that. However, right now we're focused on making the base model slightly better, then we can easily add all of those controls (a-la ControlNets with Stable Diffusion).
I've read some part of the book Real World OCaml, by Yaron Minsky and Anil Madhavapeddy.

https://dev.realworldocaml.org/

I also saw this book OCaml from the Very Beginning by John Whitington.

https://ocaml-book.com/

I have not read that one yet. But I know about the author, from having come across his PDF tools written in OCaml, called CamlPDF, earlier.

https://github.com/johnwhitington/camlpdf

>CamlPDF is an OCaml library for reading, writing and modifying PDF files. It is the basis of the "CPDF" command line tool and C/C++/Java/Python/.NET/JavaScript API, which is available at http://www.coherentpdf.com/.
First order logic can only detect formal logic fallacies. Informal logic fallacies like ad hominem, strawman, red herring, etc. are cast in language. They can't me defined and resolved mathematically. The model should be fine tuned with examples of these informal fallacies and counter-arguments to them. Even so it won't be able to detect them in all cases, but it will at least have some knowledge about them and how to reply to them. This knowledge could be further be refined with in context learning and other prompt engineering strategies.
1. Our first product is post-op review at airports. We're selling that to airport managers who use our system for training and incident review. Today, when a ground ops vehicle (for example) makes a mistake, the airport manager has to note the incident, call the tower, wait a week for them to burn a CD of the audio, scrub through to find the relevant comms, go to a separate source to pull the ADS-B track (if available), fuse all that together, and review with the offending employee. Our product just delivers all that data at their fingertips. For training, we also flag clips where the phraseology isn't quite right, etc. Obviously this isn't the long term product, but it gets us to revenue quickly and side-steps regulation for now.

2. Agree

[edit] (oops, sorry, seeing your edit)

2. The regulation allows for escalating assurance levels. We'll start with low assurance (advisory) and climb that ladder. We're definitely not naive about it; this will be hard and annoying. But it's inconceivable that someone won't do this in the next 10 years. Too important.
Yes, Nut is a fork of https://bolt.diy and like bolt.diy you can add your own API key and use it as much as you want (Nut is hosted though so you don't have to set anything else up).

The improvements we're making are under the hood. When you ask Nut to fix a bug it should do a much better job -- we record the app's behavior and analyze it so the AI has context for the changes it needs to make.

We've also added some UI to approve or reject the changes the AI makes. For now we're using this to gather feedback so we can improve Nut, but down the line we'll also refund the user any credits when they reject changes -- you shouldn't have to pay when the AI screws up, a big issue with these tools (and vibe coding in general).
Didn’t he flee because he was at risk of harm? That still doesn’t remove him from the presidency. There’s a process for that which wasn’t followed - the vote isn’t a substitute.
What will it take to get Musk disinvited from YC's AI Startup School[1]? Does he have to kill a baby? This is beyond appalling.

[1]: https://events.ycombinator.com/ai-sus
> Force-field was innovative.

Yes, although the shields were fudged somewhat to allow knife fights. It would also seem that mankind lost the ancient secrets of body armour.

> Like, just use a gun. Whatever you were going to attack with, put that in a gun, and attack at 45rpm, 3000 ft/s.

There was even one Dr Who episode where the Daleks replaced their beam weapons with machine guns [0]. Although only because there was some sort of 'unknown force' that disrupted the guns without affecting the other Dalek systems.

[0] https://tardis.fandom.com/wiki/Death_to_the_Daleks_(TV_story...
IIRC: There was a bonanza of DEC Multia Alpha's[1] that made it's way to some salvage seller in the late 90's for like $100-ish. The catch was they didn't include RAM and it had to be True Parity RAM which was fairly expensive.

[1] http://www.obsolyte.com/dec/multia/
One i noticed when working with star catalogue data decades ago: most stars are in binary (or higher) systems. But most star systems are single!
Why have US universities slowed down or stopped recruiting PhD students? Seems to be a direct result of Doge shenanigans.
Holy PII goldmine Batman!
>Zerg units are individually weak but cheap compared to the other factions

And fast. So. fucking. fast.

I hate playing against Zerg.
I ported John Earnest's Octo variant to an ESP32 cheap yellow display (CYD) board, loading many of the examples from the archive: https://github.com/codekulturbonn/espocto
Is there any solid empirical evidence that tariffs cause inflation? They increase prices for some things, but they don't increase the money supply.
Yeah that weird logic is all too common recently. I'll paraphrase:

The ravenous wild beast is pounding at your door. The only thing standing before you and certain death is your front door that needs urgent repairs. You call your landlord begging for help but they say it's not their problem.

The beast smashes through the door and eats you up.

Some would agree that the landlord is to blame because of inaction. Some would argue instead that the landlord is not responsible for your problem. You should have not provoked the beast. Or fixed the door yourself. Or paid more rent etc.

This framing only works of the wild beast has no agency at all. It's by definition wild and we all know what it will do and it can't help itself but being a man eating wild beast. It has no moral obligation to not be a man eating beast.

But by applying this framing to Russia and CCP you're dehumanizing them. You're assuming that they are so evil they cannot possibly have any moral obligations and so the burden falls on third parties (or worse, you, their victim!) if they attack you!
People will still enjoy making music. Musicians will make music quite regardless of whether anyone is listening or whether there’s recordings or AI available.
> Ukraine can't militarily defeat russia or reclaim its lost territory,

Allow for long-distance strikes, allow for usage of Starlink without gps limits, send modern equipment. Russian army is barely moving forward even though UA has one of its arm tied on the back.
There is a significant fraction of the US population which was excluded from voting. Deliberately, as a partisan tactic. Sufficient likely to have changed the outcome.

"Voting Laws Roundup: September 2024"

<https://www.brennancenter.org/our-work/research-reports/voti...>

Overall 2024 turnout was below that of 2020, though that itself was the highest since 2004:

<https://ballotpedia.org/Election_results,_2024:_Analysis_of_...>
Did MSFT use this as a basis for
The Xbox360 kernel?
His cult justifies and allows him to do anything he wants. He could go on TV tomorrow and announce that the US and Russia are merging into one country, and his followers will get right to work spinning how this is actually good, and it's really a 5D chess move, and a genius tactic, and how smart this is for the USA. They (and he) are all incapable of admitting anything he does is wrong.
Why the Center Left Struggles to Escape Its Neoliberal Past
I don't think so. A lot of useful specialized problems are just patterns. Imagine your IDE could take 5 examples of matching strings and produce a regex you can count on working? It doesn't need to know the capital of Togo, metabolic pathways of the eukaryotic cell, or human psychology.

For that matter, if it had no pre-training, it means it can generalize to any new programming languages, libraries, and entire tasks. You can use it to analyze the grammar of a dying African language, write stories in the style of Hemingway, and diagnose cancer on patient data. In all of these, there are only so many samples to fit on.
It's generated by the operating system itself, not google play services. So being logged into a google account or not doesn't affect the value. There's also a gsf id which is generated by google play services, but that's generated regardless of whether you're signed in or not.

https://stackoverflow.com/questions/65649831/two-different-a...
It wouldn't be useful if, as the parent comment is saying, it won't do a decent job of translating natural language.
This specific one is so common, are people actually mistyping or getting autocompleted? flashbacks to Rouge One
For long context sizes AGI is not useless without vast knowledge. You could always put a bootstrap sequence into the context (think Arecibo Message), followed by your prompt. A general enough reasoner with enough compute should be able to establish the context and reason about your prompt.
I never accused Musk of being brilliant
If it were possible at all for Elon Musk to jump the shark, this would be it. This is utterly shameless.
Ask HN: Are forums dead?
I got a bit of nostalgia to the old days of phpBB forums about computers. I enjoyed the days when forum software was purely a forum software, without any real time messaging/chat, and where people would post longer content than 120 characters.

Are forums dead? Do you know of any active forum on computers, software, hardware?
Sure! The rule of law is for suckers anyways. Let's do rule by law. It's much better if we have in-groups whom the law protects but does not bind, alongside out-groups whom the law binds but does not protect.
Personally, I'm grateful to be corrected on a casual and anonymous forum if it saves me from making the same mistake on a formal document, condescension notwithstanding. My response to grammar cops is either, "Thank you!" if it was due to my ignorance, or "Oops, damned autocorrect/typo/ brain fart," if a lack of attention was at fault.
Electric Kool-Aid Acid Test first ed. has a beautiful cover.

https://i.etsystatic.com/22376946/r/il/968f38/2238228249/il_...
> and nuclear weapons (some sort of extreme taboo based on a historical event IIRC? it's been a while..)

If I recall correctly, they are banned from use on people because that's how the machines tried to annihilate mankind (it's been a while..)
Zerg is a playable race in the game Starcraft. They are bio units where everything you build is biological.
If it's not true, his entire world view collapses. Therefore, it must be true.
I suggest you start here:

https://onlinesafetyact.co.uk/

There's a lot more out there ... seriously, a lot more, but that's a good single point to start from.

There's also this:

https://russ.garrett.co.uk/2024/12/17/online-safety-act-guid...
It's stored on a per-user basis. Note "user" refers to the operating system user, not the logged in google account.

>In versions of the platform lower than Android 8.0 (API level 26), a 64-bit number (expressed as a hexadecimal string) that is randomly generated when the user first sets up the device and should remain constant for the lifetime of the user's device. On devices that have multiple users, each user appears as a completely separate device, so the ANDROID_ID value is unique to each user.

https://developer.android.com/reference/android/provider/Set...
Cost would be my guess. This costs less than US$20, whereas stream decks usually cost quite a bit more than that.
It's called mobbing!
We aren't trying to force musicians to stop doing what they love, we're trying to give everyone else a taste of the fun of making music.
and if Russia threatens Ukraine with nukes if it joins NATO, is that a nuclear threat?