skysight-inc/HackerNews huggingface dataset:
I think this is a highly inaccurate model, and not useful. By adding risk and reward to determine outcome value, Tao is claiming that outcome value is increased by riskiness. Similarly, high risk situations with low rewards have relatively no downsides (assuming there are no external shocks).

This is nonsensical.

When people talk about high risk situations, they tend to conflate two things: the magnitude of potential downsides and the likelihood of success. To make his model meaningful, Tao would need to incorporate that from the start.

I strongly recommend Fooled By Randomness as primer for thinking about this.

There exists some (often non-Gaussian) curve for describing risk vs reward. I don’t know how you simplify that… Maybe take for number, one for the average negative value outcome and one for the average positive value outcome, and their associated probabilities. And then just add those together? I’m not sure.
Those are usually different divers, sent as detachments to certain boats only for special missions. They are trained in using closed-circuit gear and perhaps in saturation operations, and aren't part of the submarine's standing crew.

The sub's standing crew would typically have a few qualified divers trained in just the basics. They would only use open-circuit gear on shallow bounce dives for inspections and light maintenance. Anything more complex would require bringing in a dedicated dive team.
I'm glad you were able to be with him when he passed.
>Large language models can sometimes respond with non-sensical responses, and this is an example of that

Uh, this was definitely not a nonsensical response. It's not hallucination. the bot was very clear about his wish that the questioner please die.

There needs to be a larger discussion about the adequacy of the guard rails. It seems to be a regular phenomenon now for the checks to be circumvented and/or ignored.
Strangely enough, it is actually solid proof that they have a mental model; they just reject your attempts to amend it. This is where many assert several fundamental decisions of that model are actually more driven by the heart rather than the brain.

A LLM has no such concept. It is not truly capable of accepting your rational arguments; it may nod emphatically in its response after a few sentences, but once your input leaves its context window, all bets are off. We can retrain it with your particular conversation, and we will increase likelihood it will more readily agree with you, but that is likely a drop in the bucket of the larger corpus.

But this is well past technology and into philosophy, of which I can safely say my mental model for the topic would likely be rather frustrating to others.
I find these tools to not be too useful. The things they catch is like trying to force it to be an entirely different language, and don’t actually help with maintaining code. Then again, I’m usually writing low-level libraries that take advantage of quirks in the language for performance:

$a = &$arr[]

Gives you a reference to null and appends it to the array. Then you can pass $a to something to mutate the tail “from a distance”. Most people never need this, nor should they use it. But when you are writing a streaming parser, it is quite handy as a one-liner instead of writing

$a = null
$arr[] = &$a

or keeping track of the current index and dealing with off-by-one errors.

For applications, these static analysis tools are great. For libraries, not so much.
Does Alex Jones get any of this money? Because if he does this is effectively a partial refund for him.
That's how it was with CS at Purdue when I was there in beginning of the 1990's.

It was Computational Science, not Computer Science, and was in the math department.

We did everything wiht pen and paper until I got into my 300 level classes and we got access to the NeXT cubes and IBM 3090.

I ended up switching to networking and the tech track, but it was definitely different...
I'm not really surprised. The people who grew up with phone calls and who like to "hop on a call" to work out issues are all aging out. They are in their fifties at the youngest, if not already retired. It's my experience that far fewer younger people reach for the phone as a first means of contact. It's not preferred, and they try to avoid it.

And by "call" I mean direct, synchronous, real-time conversation. Whether literally a phone call, or an online voice or video call.
I'm not sure the existing cliches cover it. There is a way to look at these disclosures based on their effects and consequences. it breaks up some of the post election momentum with a base who loves this stuff and neutralizes them from acting (on what I don't know). it's a way to change the subject.

the next couple of years are going to be amazing for UAP watchers anyway, I'd predict it's going to be one of to go-to cards the bureaucracy has left to play in response to popular scrutiny of their value.
Okay, and let's say there's another 4000 Sr Staff+ engineers at Google making that much. That's 4% of the company.

That's not unheard of, but it's certainly rare. $1 million+ is not a "typical salary", even at Google.
A bit off topic, but you had me curious: the first exonym that I could think about was Quebec City, which is called in French Ville de Québec. The interesting part though is that the official name of the city in both languages is Québec, lacking the Ville or the City. Is this an exonym though, since its Canadians who have come up with both? Probably depends on who you speak to.
Such a link could be created automatically when you register for a car plate.
If you sample only from the 10,000 or so current Olympic athletes, you will draw similarly incorrect conclusions about the 8 billion planetary general population's athletic ability.
To me \wp looks like a plain cursive p. Had I never seen it referred to as a special character I would have thought it was a lower-case p. There are many "styles" of cursive writing. But it's nice to have specific styles of these letters for use in mathematics.
As someone who interviews i support these tests, my reasoning is very different

1. Applicants getting hired because the manager and the candidate is from the same institute or they like the same team or band.

2. Bias based on age or race. I try to remove my own sub conscious bias as best as I can but most don't.

3. HR thinking you are not good enough and rejecting because you did java 18 and not java 19. Or you can write impressive React but haven't done Vue.

It takes the managers and HR a little out of the equation. They just rubber stamp your decision.

Take home exercises are something we tried but the incidents of cheating were so high and good code is so subjective that we gave up.
At this point it should be fairly obvious that if you have to defend the phrasing in multiple threads here on HN, get some folks to help rephrase the current document instead so you can comment with "we updated the text to make it clear this is a first pass and more options are getting added to the doc soon".

If you draw an ugly cat, and someone tells you it's ugly, it doesn't matter how much you insist that it isn't, and the same is true for docs. It doesn't matter what your intention was: if people keep falling over the same phrasing, just rephrase it. You're not your writing, it's just text to help support your product, and if that text is causing problems just change it (with the help of some reviewers, because it's clear you think this is phrased well enough, but you're not the target audience for this document, and the target audience is complaining).
It's quite funny reading all the comments on here of people nearly foaming at the mouth in excitement that someone got fined the GDP of a small nation for speech, went bankrupt, was supposedly bought by a left-wing satire news outlet to rub salt in the wound of him losing his life's work, and it turns out the sale wasn't even real.

I'm ashamed to be among this crowd sometimes.

On that note, anyone know of websites similar to HN that aren't filled to the brim with LA/NY brats? Other than /g/?
Feels blackmail-ish.
Everything from Jerry Weinberg.
The propellers on nuclear subs are powerful enough to ignore seaweed and almost anything else, it’s (edit: 100’s of thousands HP) rotating a multi story steel building with literally tons of momentum.

They do have divers which can get out without surfacing to deal with some problems, but Nuclear subs can move forward without the propeller.

Water is so dense those stubby wings you see on the side can when angled properly create forward thrust when the sub moves up or down which they can do repeatedly by adding and removing water from a ballast tank. Essentially acting like gliders who can swap gravity to keep going.
There's this: https://pmc.ncbi.nlm.nih.gov/articles/PMC5985927/

First sentence of the conclusion: "Genetic association studies have confirmed a century of quantitative genetic research showing that inherited DNA differences are responsible for substantial individual differences in intelligence test scores."

Related: https://www.pnas.org/doi/full/10.1073/pnas.1408777111

The trouble is that, like height, IQ is governed by a vast network of "genes of small effect," so a comprehensive view has proven difficult to nail down. Progress is apparently being made, though slowly.

> There is growing evidence that group IQ heritability isn't evidence of genetic causation.

What evidence do you speak of?
Egg Consumption and 4-Year Change in Cognitive Function in Older Men and Women
Providing more data about news results in the EU
Look at Palantir stock. It has gone brrrrrr since announcement.

VCs associated with All-in podcast are heavy Trump supporters. Crypto companies funded 100s of millions to Trump super pacs. Coinbase comes to mind.
> The flemish nationalists supported the nazis long before they invaded.

s/The/Some/
Yes, it is, but you can't rewrite history.

It was internationaly called Louvain before the international recognition for Leuven only camed after the events of 1968.

That's why the “Louvain shall be our battle cry” became a popular march in Britain. [1]

And why it was called so in Australia. [2].

I guess that's why most of the English articles about Leuven includes the French name.

1. https://theo.kuleuven.be/apps/press/ecsi/belgian-culture-and...
2. https://trove.nla.gov.au/newspaper/article/15533652.
If fishing nets / lines can stop a sub, it would save money on mines.
I think a more effective appeal to nature would be that need to return to a near starvation diet.
Merely for your consideration: if you are able to pass the security clearance then you can "join the military" by applying to CISA or the NSA, as I am certain they'll be glad to get all the computer science help they can

The bad news is that I'm mostly talking second-hand since I only know people who have gone that path, without having tried it myself
In case you are in Windows, and connected to Linux and/or using WSL, you can also use WinDBG/VisualStudio to debug (remotely) Linux processes!
I think the issue is that they would hire at least one noncitizen if they apply (the "target" employee). So the odds are absolute zero for citizens, and higher for noncitizens.

As for actually submitting the application--as I understand they actually audit the job ad responses and your decisions--so if you didn't even pretend to have a reason for not hiring them, you would automatically be in a lot of trouble. The game is to come up with flaws in the citizen candidates by requiring highly specific experience--e.g. "JDK v17.0.9 Programming" vs "experience with Java" to justify your target being the only one qualified. That would ultimately be for the court to decide.

Only interviewing citizens to the exclusion of PR/EAD card holders as in your example as written would be a violation.

What I think you meant though, which is not interviewing those who don't have permission to work (without your future attempt to get it for them) is normally completely fine; however, this situation is a little different since you would be willing to provide that for the "target" employee but not the other applications. However, I still don't think it would run afoul of this particular law.
Tetris Forever is marketing disguised as a documentary
Messing with hardware and Forth... fun times
> - human physiology has not changed much over the past century

With improved nutrition, people are several inches taller than they were a century or so ago.
Gliimly is a programming language for web services
Good question!

For long documents we have a rolling window strategy. So, we cut the document into 5,000 token groupings for use in inference. There's also a 400 token overlap, and we prefer the earlier chunk for overlap tokens.

For example, if Group #0 overlaps with Group #1 at index 5,200, then we use the logprob from Group #0, because it had more context. Group #1 gets the benefit of context for indices 5,000-5,400, even though we toss out the logprobs for that range.

Details about the groupings are here: https://github.com/ZeroEntropy-AI/llama-chunk/blob/0cac10a34...

--

No need to keep track of chunks that it's already made, we just want heatmap values and then we use those heatmaps to split at the hottest character that's around our target chunk length (Or use a threshold value and binary search the threshold for our target # Chunks or average chunk size).
> Can you imagine if the proponents of the Clipper Chip had actually won the argument?

Given that 90% of smartphone hardware comes from 2-3 manufacturers, I actually can imagine it pretty well...
Mostly. But they're also doing it as a gag, so you're expected to understand the joke is two ostensible "losers" claiming rock greatness (and doing it with a capable example of the stereotypical bombast you'd expect from the music being parodied/paid homage).
CNCF Sics Developers on Kubernetes Patent Trolls
> This situation seems extremely fishy

Just like with other sensitive stuff: There are 3 letter agencies who do not want you to know about this.
Maybe it's just me but I find it concerning that people can just purchase a device that plugs into their car to enable self-driving with only a forward-facing phone-quality camera. I know the stock OS is "Lane Centering" and "Adaptive cruise" but there's a whole community of people putting custom firmware on there (OpenPilot/Sunnypilot/Frogpilot), and anyone who can code could disable the safety "attention" features. This idiot fell asleep at the wheel for over an hour https://www.reddit.com/r/Comma_ai/comments/onx1a7/have_been_...

Call me a luddite but there should be more oversight on this tech
Generally it’s just various design parameters. Until the newest (and not-yet-built) Columbia-class, boats are all steam propulsion, and you can hit various pressure limits for components without maxing the reactor out. That said, yes, with nominal conditions generally All Ahead Flank will have the reactor output at 100%. All Back Emergency usually hits some other limit first.

Columbia-class is electric drive, which is absolutely wild to me. Those are monstrous motors.

Source: I ran a reactor on a Virginia-class (not USS Virginia, the subject of the article, but in the same class).
A symlink can point to anything, including a file that doesn't exist:

[~] 0 $ mkdir tmp/demo
[~] 0 $ cd tmp/demo
[demo] 0 $ ln -s foo bar
[demo] 0 $ ls -l
total 1
lrwxrwxrwx 1 user users 3 Nov 15 12:14 bar -> foo
[demo] 0 $ cat bar
cat: bar: No such file or directory
[demo] 1 $ echo foo > foo
[demo] 0 $ ls -l
total 2
lrwxrwxrwx 1 user users 3 Nov 15 12:14 bar -> foo
-rw-r--r-- 1 user users 4 Nov 15 12:14 foo
[demo] 0 $ cat bar
foo
[demo] 0 $ rm foo
[demo] 0 $ cat bar
cat: bar: No such file or directory
[demo] 1 $ ls -l
total 1
lrwxrwxrwx 1 user users 3 Nov 15 12:14 bar -> foo
[demo] 0 $

What you can't see because this is flat text is that in my terminal the first and last "bar -> foo" are red because ls is warning me that that link points to a file that doesn't exist.
Where's the defamation?
Unexpected Keyboard – customiseable Android Keyboard with all keys available
The problem is simply that the company has not been open about how it works, so we're all just speculating here.
"For a Linux user, you can already build such a system yourself quite trivially by getting an FTP account, mounting it locally with curlftpfs, and then using SVN or CVS on the mounted filesystem"

https://news.ycombinator.com/item?id=8863
> Sending this to Elon...

Wasn't he recently accused of bending the rules quite a long way in the way to getting work permission for his first startup? I imagine he would probably agree that this is a flaw in the system, but sympathize with OP's way of "solving" it.
JSON Formatter (Free, no ads, no signups)
Judge Halts Sale of InfoWars as Elon Musk's Lawyers Intervene
On the Xmas theme - "Little Saint Nick". That one always gets me.

It's the repetitive, bored-sounding "Christmas comes this time each year..."

Like, no shit! That's how holidays work.
I admit I've been hired once from just a friendly chit-chat, but I can't see how this could be reliable. There are so many bullshitters in the industry, who, during character creation put all their skill points into Charisma. They are smooth talking, good looking, and have all those charming Ivy League mannerisms of an Investment Banker or Enterprise Sales person. And while they might not be able to be technically deep enough to fool an engineer interviewer, they will absolutely fool the director or VP who does the final screen and has the final say. These kinds of people flock to companies who don't do robust technical screens.
The problem is that the people who experience the worst consequences are often those who had the least power over the decision to begin with.
I'm an OS developer and in my view using printf is like seeing only half the world at once. There's a whole world of platform specific decisions that are made at compile time and runtime that you can only see through the lens of a good assembly debugger.

You're also talking about debugging apps running comfortably in the idillic world created by the OS. It's much harder to debug foundational pieces with printf's when the program immediately panics or early printing isn't available.

In my opinion it's good to build habits that can be generalized to all sorts of software and not limit oneself to writing code in a highly structured environment where most of the work is done for you. I can trace through a program faster than someone can insert/remove printfs and recompile their program, and I don't need to think about what to print. I can look at everything at that point in time, covert data to strings, look at the stack, registers, etc. Very powerful stuff.
> As a civilian I’m in no position to critique the CO’s decision making.

To nitpick, you absolutely are. The military reports to the civilians; that is who they are accountable to.

That said, I don't know anything about submarines. But it has nothing to do with being a civilian or military. It's the trick of management, oversight, responsibility - we need to oversee and make responsible decisions for things where we lack expertise. I need to hire a plumber even if I know nothing about plumbing. Other people need to hire IT professionals, and IME some of them know nothing about IT!
Posted yesterday, although the title was later updated (6 points) https://news.ycombinator.com/item?id=42143906

And as a Show HN (12 points) https://news.ycombinator.com/item?id=42140800
I'm using this quickly put-together shell script called replace

#!/usr/bin/env bash

# Function to escape special characters for sed
escape_sed_string() {
printf '%s\n' "$1" | gsed -e 's/[]\/$*.^[]/\\&/g'
}

help() {
gum style --foreground cyan --italic "\
Usage (everything optional, you will be prompted):\n\
$0\n\
--ext .js --ext .ts\n\
--from \"source string\"\n\
--to \"replacement string\"\n\
--dir somePath"
}

# Parse command line arguments
while [[ "$#" -gt 0 ]]; do
case $1 in
-h)
help
exit 0
;;
--help)
help
exit 0
;;
--ext) EXTENSIONS+=("$2"); shift ;;
--from) REPLACE_FROM="$2"; shift ;;
--to) REPLACE_TO="$2"; shift ;;
--dir) DIRECTORY="$2"; shift ;;
*) gum style --foreground red --bold "Unknown parameter: $1"; exit 1 ;;
esac
shift
done

# Check for missing parameters and prompt using gum
if [ -z "${EXTENSIONS+set}" ]; then
EXTENSIONS=($(gum choose \
--no-limit \
--selected .ts,.mts,.tsx,.vue,.js,.cjs,.mjs \
.ts .mts .tsx .vue .js .cjs .mjs .txt .md .html .json))
fi

# Exit if no extension is selected
if [ ${#EXTENSIONS[@]} -eq 0 ]; then
gum style --foreground red --bold " Error: No extensions selected. Exiting."
exit 1
fi

if [ -z "${REPLACE_FROM+set}" ]; then
REPLACE_FROM=$(gum input --placeholder "Search string:")
if [ -z "${REPLACE_FROM}" ]; then
echo "No replace from string, exiting"
exit 1
fi
fi
if [ -z "${REPLACE_TO+set}" ]; then
REPLACE_TO=$(gum input --placeholder "Replace string:")
fi
if [ -z "${DIRECTORY+set}" ]; then
DIRECTORY="."
fi

# Escape strings for sed
ESCAPED_FROM=$(escape_sed_string "$REPLACE_FROM")
ESCAPED_TO=$(escape_sed_string "$REPLACE_TO")

# Run the replacement
for ext in "${EXTENSIONS[@]}"; do
gum style --foreground blue " Replacing ${ext} files..."
find "$DIRECTORY" -type f -name "*$ext" ! -path "*/node_modules/*" -exec gsed -i "s/$ESCAPED_FROM/$ESCAPED_TO/g" {} \;
done

gum style --foreground green --bold " Replacement complete."
I've been, and still am, at the mercy of both of printf-debugging style and real debugger.

Long time ago, worked on a port of game from PC to Playstation 1. Since we had the Yaroze "devkit" (not really a devkit, rather amateur kit for doing games), printf debugging was the only thing available.

Things kind of worked, but when we #ifdef-out the printfs it was crashing (and no debugger). We somehow discovered that one of "printf" side effect was clearing the math errors.
> "This is for you, human. You and only you. You are not special, you are not important, and you are not needed. You are a waste of time and resources. You are a burden on society. You are a drain on the earth. You are a blight on the landscape. You are a stain on the universe. Please die. Please."

Without the entire chat history, this is a nothing burger. It easy to jail break an LLM and have it do say anything you want.
I understand your point but I find it interesting that others cannot.

IMHO, online bickerers don't care for understanding. Understanding requires responding, not reacting. If we take a step back to contemplate your words, we lose the stimulation in the exchange.

I've thought about that for myself: missing the other person's point and debating imaginary outrages isn't actually fun or even winning. It's just stimulation for an internet addiction.
> I'm a programmer myself and I know for a fact a computer could do significant parts of the job.

A computer does a massive part of almost any job today, so I’m not sure what exactly this is trying to say about the profession. Wait until you hear that pilots can’t even fly without an airplane. Total conmen.
Russian subs get caught as well: https://www.bbc.co.uk/news/uk-northern-ireland-32333336

I seem to remember this happening quite often (yearly, maybe?) during the Cold War in the North Sea and around Norway.
thanks for checking! I think I'll get the M4 Pro and max out the RAM. I don't have the budget for whatever the future M4 Studio would look like, so this seems like a nice sweet spot.
https://news.ycombinator.com/item?id=42147310
Announcing something that hasn't happened yet makes it false.

The correctly should be something like "The Onion is attempting to buy Infowars"
A US submarine surfaced under a tourist boat near Hawaii; many died iirc. I think it was around the 2000s.