skysight-inc/HackerNews huggingface dataset:
> Do they? The nature of the observable universe is that, if you can communicate with someone else, any information they can receive and pass on to you is part of your observable universe as all information travels at the speed of light or slower. If they can receive information and cannot pass it on to you, they are not part of your observable universe any longer and no longer exist (exception if FTL interactions are discovered). Thus the only observers that exist in a way you can interact with, can make any testable hypothesis concerning, and thus can be considered by science, are observers in your observable universe.

The observable universe is defined as natural light reaching us. It says nothing about repeaters. If someone id at the edge of your observable universe they could still send you a message. They’re observable universe would necessarily include light that wouldn’t reach you due to expansion. Of course, it is possible we’re within a black hole or some other weird space time geometry in which the universe folds in on itself in which case it is possible the observable universe is the universe. I’m not saying that’s impossible since we don’t know. I’m simply stating my Bayesian priors based on my understanding of the evidence collected so far about the CMB and what it and the theoretical models we have suggest. It doesn’t make other theories less valid, it just means where I’d make a wager if I had to. As you say, right now it’s not capable of being a scientific theory and it’s a stretch to even be called a hypothesis.

Still, this is just a reversion to our natural state where we have philosophical ideas grounded in the best knowledge we have trying to find ways to unlock the secrets, not unlike ancient Greeks. We might succeed or we might not but I still think it’s a scientific pursuit grounded in the scientific method in some way. For example, we have no way of really confirming whether our models are correct about estimating the distance to stars. Still, we think it’s true enough because it works locally. Science is and always has been a fuzzy endeavor of truth seeking and only local models of simple interactions have a “nonexistent” amount of error.
I laughed when I saw the article photo combined with the headline. The Marines will be island hopping in Higgins boats again before these are adopted.

How long did it take it for the Osprey to make it into service?
Coming from a .NET developer - why NOT F#?

* Network effect, or lack thereof. Very few people use it.
* Its nature is contrary to the ecosystem. The CLR is fundamentally resistant to the paradigms that F# creates.

Wonderful little language - one of my favorites - and we owe a lot to it for the great features that C# has. But it just hasn't picked up the critical mass it needs.
... like something that burns a hole in the paper with a spark or marks thermal paper with a burst of heat.
I never went to driving school but isn't it obvious to both brake and steer away from the obstacle?

Not that long ago I had some idiot driving the wrong direction, in my lane, and speeding, and was about to have a head on at about 200 km/h. I credit my survival to pulling hard to the right while slamming on the brakes, with the ABS allowing me to steer freely. It put as much space between me and the idiot as possible.
My fancy new car has push to open doors and monitors the surroundings so it won't open if it detects a car or bicycle moving in the direction of the door. Could be handy.

But it's also designed reasonably. The lever you push to open can be pulled twice to open mechanically. There's no secret lever somewhere nobody knows about. Two different sales people told us to push or pull twice to open.
> There are plenty of large projects written in Python

I've worked on one of those, and I would not recommend it.
Or just use a nylon string, classical style or "Spanish" guitar for practice, even if you play something else in public. Nylon string guitars are easier on your fretting hand and allow you to practice longer without fatigue.
So? In that case they should have no issue at all for adhering to the same rules as others.
There’s a lot of negativity around this so I just thought I’d chip in and mention my appreciation for it. Projects are allowed to not be typescript, and I actively stay away from it as much as possible when working with browsers.

I don’t work in TypeScript, I don’t write in typescript, and I (along with everyone) don’t deploy typescript. I have multiple different build processes in my project to remove different types from different dependencies that are incompatible with one another just to untype them.

So personally I find standard js a huge selling point :)
SpaceX Launches Fram2 to Polar Orbit
It is possible to start your project with the script possibilities offered by F# (as mentioned in the blog post).
It is absolutely a viable approach and I even blogged about it a couple of months ago: https://www.asfaload.com/blog/fsharp-fsx-starting-point/
Biomimetic Origami: Planar Single-Vertex Multi-Crease Mechanism Design
>An interesting tidbit is that FSD is almost guaranteed to turn off before any accident occurs. Last I looked, the data was not available to see how long after FSD deactivation the accident occurred.

How can you make that assertion when there's no data? Are you just assuming the worst in the absence of data?
PostgreSQL defaults (last I looked, it's been a few years) are/were set up for spinning storage and very little memory. They absolutely work for tiny things like what self-hosting usually implies, but for production workloads tuning the db parameters to match your hardware is essential.
Stack Overflow Migration to GCP
The main 'Bletchley Park' exhibition is good, but it focuses on the human experience of the code breakers. Head around the corner from the car park to the National Museum of Computing (also on the Bletchley Park site) to see more technical exhibitions: they give proper demonstrations of the machines invented at Bletchley, as well as the oldest working computer in the world (which was computing prime numbers when I visited).

https://www.tnmoc.org/
We could start by using election-related crimes as disqualifying events. Did you embezzle money to further your campaign? Sorry, you aren't allowed to participate.

Unless a justice system is captured by one party (like in the US), I trust it more to determine the truth than I trust politicians that want to abuse such "loopholes".
> Where does the LLM get their opinions on “foreign affairs” from?

Yeah that's a big problem with LLMs at the moment - people are having an argument online, and one of them posts a piece of text from an LLM and says "see, Grok/ChatGPT/Claude/Gemini agrees! You're wrong!", which only reveals how much they did not do their homework and that they're arguing on the basis of hear-say, just like the LLM; the LLM has no mind of its own. If 90% of the internet says A, it will defend A to the death. What's not part of the equation is how much of that 90% has the same source, financed by a certain group.

We have a LOT of work to do soon.
> A longstanding performance effecting bug was fixed in the recently released 1.21.5

Good to know that they're finally considering performance fixes but obviously involves moving to 1.21.5 and until there's mods to disable the bits I don't like, I'll be sticking with 1.20+mods.
Spherical sheep, to be precise. Read the OP for details.

Probably related to https://en.wikipedia.org/wiki/Spherical_cow

:-P
They have a neat computer history museum there so make time for that too.
> why not just say say?

that’s exactly how it all started, at least according to john 1:1
Also manufacturing a car is vastly different from manufacturing small electronic devices (not that that competence lives entirely with in Apple but they're experienced in designing them for manufacture). If Apple wanted to do car manufacturing that's a completely different area of expertise they'd need to spend a decade or more building up to.

Look at Tesla's journey, it took them years to get things like panel gaps even close to right on their cars and they're having massive problems with the Cybertruck's manufacturing (car washes can completely destroy their electronics, whole pieces of 'trim' falling off because they used the wrong glue, etc).
Seriously I wish more science writing resembled this
Could be a universe that folds in on itself in multidimensional space so that every point looks like the center. But it almost certainly isn’t a 3d sphere.
Yes, pretty framesless windows is surely a justification forsuch a deathtrap.
Not a great time to be going to the poles where the magnetic field lines target and concentrate the solar radiation: https://www.swpc.noaa.gov/content/space-weather-enthusiasts-...
I think Nue just puts you in the mindset of trying to keep the codebase as small and lightweight as possible. I wanted to rebuild my website with Nue and there was something telling me to avoid Motion, Tailwind CSS, etc. This philosophy can actually prove very helpful in the long term, however I feel that by using Nue you're really compromising on DX (development is much slower), although that might be because I'm not so familiar with creating websites without a framework. In any case, it's definitely worth a try.
At least the idea of a spherical model for sheep is quite useful. Spherical cows have been alone for so long.
Because Tesla is the only company capable of making electric vehicles…?
It's an affront to the values America was founded on, and an insult to the Allies who died fighting the Nazis to stop behavior like this
It's photoshop all over again.
It's computers all over again.
It's camera's all over again.
It's the paintbrush all over again.
It's...
A lady in my neighborhood has crashed two different Teslas. Both times she rear ended somebody, judging from the damages. Some people can crash anything.
I like F#'s syntax when all you're doing is pure logic. But when you have to interface with any IO like a database or REST call or something, you have to abandon the elegance of ML syntax and use these ugly computation blocks. In C# you can do something like this:

var post = await _postService.getById(id);

in F# the equivalent is basically

let getPostById id = async {
let! post = blogPostService.getPostById id
return post
}

let post = getPostById 42 |> Async.RunSynchronously

But not really, because RunSynchronously isn't the same thing as `await`. Realistically if you wanted to handle the result of an async computation you would need to create continuations. F# isn't the only ML-family language to suffer from this; Ocaml does as well. It always seemed to me like the pattern with any asynchronous operations in F# is to either:

1. Do all logic in ML-syntax, then pass data into a computation block and handle I/O operations as the last part of your function, then return unit OR

2. Return a C#-style Task<> and handle all I/O in C#

Either way, ML-style languages don't seem like they're designed for the kind of commercial CRUD-style applications that 90% of us find ourselves paid to do.
In high-school I replaced all the printers ready message to “Insert Coin”. I didn’t not check the parameters of the script and because of their network configuration, deployed to the whole district. Surprisingly this wasn’t the reason the banned me from the network.
Rclone won't take a consistent snapshot so you either need to shutdown the thing or use some other tool to export the data first
Going westwards means going against Earth's rotation, requiring extra fuel and what not. That's why almost every rocket goes eastwards.
> Also I assume radar-proof is just because it's a ground effect vehicle that will never fly high enough to show up on radar

My guess is yes. Simply because the Caspian Sea Monster [1] was "the largest and heaviest aircraft in the world from 1966 to 1988", not at all stealthy looking, and simultaneously also "undetectable to many radar systems, as it flew below the minimum altitude of detection."

So yes, a much smaller craft will also be hard to radar. Notwithstanding that the tech has moved on at both the "detect" and "don't be detected" ends of the contest.

As I understand it, it's also easier and safer to fly these craft now, as they are computer-stabilised, which the 1960s design could not have been. And therefore easier and safer to fly them lower. (The Caspian Sea Monster "was destroyed following a crash caused by pilot error." )

1) https://en.wikipedia.org/wiki/Caspian_Sea_Monster
It didn't, actually. Instead go 1.15 has a static array of the first 256 positive integers, and when it needs to box one for an interface it gets a pointer into that array instead: https://go-review.googlesource.com/c/go/+/216401/4/src/runti...

This array is also used for single-byte strings (which previously had its own array): https://go-review.googlesource.com/c/go/+/221979/3/src/runti...
Article is from March 18
> Elixir

For me, it's Erlang. I just really like its horn clause syntax, it's so clean and readable. I know a common complaint is lack of piping (and even though you can implement it trivially, the order of arguments for some functions makes it of dubious use) but it's a small price to pay.

> I mean the language is really nice but the C# baggage and runtime was just a bit much

This was my experience with F#. Frankly, I've never been happy with my experience with CLI on Linux, and the toolchain inherits a lot of baggage from its C# heritage. Microsoft's toolchains have a very distinct workflow to them. F# has some interesting aspects to it like active patterns (something I wish was more common in the ML-family), but tbh I'm more than happy with ocaml.
Turing Award Special: A Conversation with Jeffrey Ullman
Blues scales, various jazz scales, scales influenced by ragas or the countless other music traditions from around the world, microtonal scales, nonstandard tunings like fifths/DADGAD/DADF#A, scales with different fingering and picking patterns to increase movement speed in different directions, scales that are adjusted to use or avoid open strings because of the effects on ornamentation/drones/other techniques, scales that include sweeping sections or are entirely composed of sweeping arpeggios, etc.
I'm doing this next year, thanks for sharing. Especially the AI bot part, will have it part of the april fools page.
https://www.cbtnews.com/iseecars-study-reveals-tesla-tops-fa...

Fatal accidents rate too
> IIRC it's pretty close, but you'll still end up writing things like `{ type: String, required: false }` where in React you'd just write `string | undefined`.

In Vue you also write `string | undefined` since Vue 3.

Also note that the thread you linked is 4 years old.
I have a Nokia that runs Linux, what's the joke?
I'm willing to write a C compiler that detects all undefined behavior but instead of doing something sane like reporting it or disallowing it just adds the code to open a telnet shell with root privileges.
Can't wait to see the benchmarks.
Canary and Betar need to be held socially and legally responsible for the harms they are causing. And if they do have links to Israeli intelligence, they should be criminally tried for espionage and violating FARA.
A classic I will never not upvote.

Maybe the frustrations of undergrad lab work would be easier to swallow if they were better situated in historical context. This kind of result should give the experimenter some sympathy for the folks who originally made these discoveries, with less knowledge and worse equipment. But I don't think it's usually explained that way.
Apple never clearly decided whether it was building a full car (like Tesla)? A self-driving system (like Waymo)? A tech stack to license (like Mobileye). This lack of focus created internal turmoil and killed momentum. The car team reportedly had over half a dozen leadership changes.

Apple lacked a tangible car ecosystem: no charging network, no manufacturing experience, and no clear place in the market for another premium EV.

The project was burning $1B+/year without ROI. Ultimately, it chose to cut losses. Apple failed because it was indecisive, risk-averse, and out of its industrial depth—while Tesla, Waymo, and Xiaomi had clarity, speed, and alignment between ambition and execution.
The killer feature for me is type providers. I need to read a lot of CSV files of varying formats, and the CSV Type Provider lets me make quick work of them in a type-safe manner.

https://fsprojects.github.io/FSharp.Data/library/CsvProvider...
Author coming out here: Types matter, and Nue’s take is to use them where they truly shine. Adding them to naturally untyped spots like HTML or CSS? That’s just extra weight we can skip.
My kids realized April fools day wasn't funny no later than age 6. What's up with the guys at CERN?
Waymo can indeed drive through rain and snow on narrow unmarked streets, as well as traffic jams and navigate obscure construction works with cyclists.

Other than snow, it does all of those things in SF. They do snow testing in Tahoe and Michigan, not to mention the former testing in NYC.
The economist used to be that. Its unfortunately degraded a lot over the last decade.
Show HN: Remote Storage MCP Server for FTP, FTS, SFTP, S3, SMB, NFS, Git
That’s pretty bad. On top of being unfair, it was a total missed opportunity to talk about the law of large numbers (I wonder if they could get a decent sample by combining everybody’s measurements) or skew (maybe everybody is a couple milliseconds too low just based on reaction time).

Or there could be some air resistance if you used, like, ping-pong balls.
New study links lower proportions of certain sleep stages to brain changes
First I've heard of slow wave sleep, but apparently it is the third stage of non-REM sleep.
Human evolution complexity revealed in astonishing new study
Any features or capabilities in particular from ControlD that you find most useful?
Ask HN: Why hasn’t AMD made a viable CUDA alternative?
I appreciate developing ROCm into something competitive with CUDA would require a lot of work, both internally within AMD and with external contributions to the relevant open source libraries.

However the amount of resources at stake is incredible. The delta between NVIDIA's value and AMD's is bigger than the annual GDP of Spain. Even if they needed to hire a few thousand engineers at a few million in comp each, it'd still be a good investment.
I guess it's "your choice" vs "the user's choice". When it's the user's choice they can't complain to you.
And yet the LA Times and the (London) Times and the Chicago Tribune did not, so however true this is, it took some extra magic sauce to "pull away from the pack". It wasn't just "being an important newspaper in 1995".
I got to "Mary Little" before I realised my virtual leg was being pulled.

Deary me. Hope Mary Little's lamb is doing well.
Let's start with: there is no such thing as "Linux" man pages. There's <https://docs.kernel.org> but that only concerns the kernel itself.

How does a particular distribution handle its man pages is up to that distribution. You can browse what is generally considered to be the "standard" set of man pages online: <https://man7.org/linux/man-pages/> or <https://linux.die.net/man/>, but this is a third-party community effort. I've often found minor discrepancies between those resources and what I actually found installed on my system.

Debian does an absolutely amazing job: every executable in every package has to come with a man page, and if there isn't one, the maintainers will at least write a synopsis. You can also read these man pages online: <https://manpages.debian.org>; you get to browse by release, section, you even get translations. Some derivatives (e.g. Ubuntu) will provide their own online browser as well.

But this is where things start to get dicey. Most distributions make heavy use of GNU coreutils, glibc, GCC, etc. Some of these (like GCC) are complex, because the problem domain is complex. On the other hand, coreutils' level of unnecessary complexity is almost byzantine; to cope with that, the GNU project mostly abandoned man pages (these mostly just contain a synopsis) in favour of an in-house "info" system <https://www.gnu.org/software/texinfo/manual/info-stnd/info-s...>, which is basically TeX <https://tug.org> with layers on top.

But not all distros use GNU tools nowadays; e.g. Alpine (actually pretty popular, thanks to the Docker ecosystem) uses busybox and musl libc. However for some reason Alpine not only does not provide an online man page browser, but requires installing a meta-package to add the man pages to your system. The differences between GNU and busybox+musl are non-trivial (and not unlike GNU vs BSD).

You can blame the Linux ecosystem fragmentation, and you would be correct to point out there are three popular BSDs, each with its own goals and little quirks. My final point is about the quality of the documentation. Compare coreutils chmod(1) <https://linux.die.net/man/1/chmod> and OpenBSD chmod(1) <https://man.openbsd.org/chmod.1>. The former is a brief, dense, and intimidating wall of text that expects you to immediately grasp what "ugoa" or "rwxXst" stand for; you will only find out that the tool manages file access permissions once you dig through the third paragraph; the text concludes by referring you to "info coreutils aqchmod invocationaq". By contrast, OpenBSD's man page has a clear introduction, then paces you through explaining the basic; goes into detail over the octal and symbolic representations (with pretty tables); warns you about a common mistake; has several examples with explanations (including equivalences between octal and symbolic forms); and concludes by referring you to the POSIX standards.

Best of it, you can expect the same high standard of quality throughout the entire base system, from user commands to device drivers and kernel internals.
It does, and it muddies the waters a lot. Why does it read like a sales pitch?
This happened to a team I know. They built a flashy SPA dashboard because it was easy to copy-paste from templates. It worked great—until a real-world requirement, like a data grid, came along.
The way boats historically measured speed was by dragging a rope behind them. The rope has knots tied with exact spacing. You drop one end of the rope in the water, and count how many knots pass you in a given time. That's then your speed in knots.
There's only a handful of web apps packaged in the OS repo. Even wildly popular software like WordPress and Drupal you need to use their built in facilities or manually apply outside the OS update manager
And how many bad experiences do you expect people to tolerate before AI eventually learns the person's "real" preferences?
It sounds like there have been some changes to the Guardian and Observer lately, such as the sale of the Observer to Tortoise Media. [0] Journalists were concerned enough to strike. [1]

[0] https://broligarchy.substack.com/p/who-is-the-money-behind-t...
[1] (PDF) https://www.nuj.org.uk/asset/18CD4D84-FD26-4CDB-AF43E11F6A6C...
It's a cycle. You pick on a vulnerable group and generally good people will push back and stand up for them and now the group seems bigger than it actually is so even more people will push back and it just goes back and forth.
My personal addition to an otherwise great article.

Remember that you make your contribution because you or your company get something out of it. Don't expect any enthusiasm or kudos from the project's side. If these come, consider them a bonus. The contribution process will be slow. If you need the changes you are proposing, you will have to live with a fork or workarounds in your code for a while.

Explain all the above to your company. Expect them to be completely clueless on how open source works, even if they are developers themselves.

Personal anecdote on this: I had a team lead who insisted we directly submit a patch because "people would be thankful that we fix their code". And actually expected that they would have merged our fix before the end of our sprint.
Yes, partially created to save taxes or a forced sale.
Beyond Public Access in a LLMs Pre-Training Data