skysight-inc/HackerNews huggingface dataset:
The cow example is a confusing example; I like the clock example much better. You are in a school building, with hundreds of classrooms, and there is a clock on each wall. All of the clocks are working perfectly, except for one classroom where the clock is stuck at 2:02.

Every other time you've been in that school building, the clocks have shown you the right time, so you feel very confident that the clocks on the wall are accurate.

But this time, you happen to be in the room with the non-functioning clock. It says "2:02" but by great good fortune, it actually happens to be 2:02.

So your belief is:

1. True. It actually is 2:02.

2. Justified. The vast majority of the time, if you see a clock on a wall in that building, it is working fine.

But should we say that you know the time is 2:02? Can you get knowledge of the time from a broken clock? Of course not. You just got lucky.

In order to count as knowledge, it has to be justified in the right way, which, alas, nobody has been able to specify exactly what that way should be. So far, nobody has come up with criteria which we can't find break in a similar way.

// all you can justify is that there is the likeness of a cow there //

If you see something which looks real, you are justified in believing it is real. If you see your friend walking into the room, sure, you've seen your friend's likeness in the room. But you are justified in believing your friend is in the room.

So if you see something that looks like a cow in a field, you are justified in believing there is a cow in a field, even though looks may be deceiving.
Don't forget that they had to suppress the lab leak theory because of who funded the lab...
in Google Earth it says it was taken 10/04/2020

1. That was during the first corona lockdown. In that case, the airport would mostly be closed. However news reports say that the airports were kind of open with some flights flying during lockdown (massively reduced - 60 vs 600)

2. Looking at the date gives another clue. April 10 is Good Friday, the Friday before Easter weekend. Good Friday is a big national "bank holiday" when most things are shut in the UK. Therefore even less flights that day.
Huh. I Forgot the /s
Unsigned overflow wraps. Signed overflow is undefined behavior.
So millions of people with small budgets will get into considerable problems when that coutdown hits zero.

People will not buy new computers, while their old one is still technically good, because Microsoft wants them to run Windows 11 on "compatible hardware".
I think there's a realistic future where Matt steps away and things go back to being okay. As we've learned, the Foundation is intrinsically integrated with himself and Automattic. And the backdoors they have into authentication and plugins and etc are deeper than we expected.

Matt would basically have to sell the company and the only buyer would be... cough cough ... private equity!
Nobody ever went broke banking on the laziness of the American public. People could also go to the pizza shop or liquor store or grocery store or 7-11 or whatever instead of paying a shitload more delivery but they don't.
In many ways (no pun intended :-)) I would relate to having an iPad mini and a much much dumber phone which was just text/chat and voice. I have gotten there because I'm constantly in this weird tension between wanting a bigger screen on my phone because the app I'm using and wanting a smaller phone so that it is easier to pocket and carry around. A friend of mine did the folding screen phone thing and that has its advantages but I really like a small phone (and ideally with a long battery life so no 1000 nit screens on it). Definitely first world/21st century problems :-). I do find engineering tradeoffs in product design an interesting thing though.
Good luck!

I'm probably not at all in your intended audience, so don't take it too seriously. But I do think it's a good idea to "close the loop" when you're presenting ideas around a central theme (here, combinatorics). There's a lot more you could add from here, too, branching off into why `math.comb` gives the right answer. That is, if you present a way to do something without the binomial theorem, but also talk about how the binomial theorem is relevant and would allow solving the problem, the natural completion is to... prove the theorem :) (Or at least, cite someone else's proof.)
Porn. Porn is how it is useful. It is 10x better than on a monitior/tv, and 100x better than on a mobile device. Some well heeled dirtbags are willing to pay for that.
Some parts of AOL are still around, so I suppose the ongoing Xitter exodus will slow down at some point. Things like local government outreach and Myspace-like démodé bands might take years.
"Commodity products for premium price" definitely sounds like sour grapes.

If the products are actually commodity, just buy something else.
If you look at Samuel Eliot Morison's writings about Columbus, you will see that a lot of people made a lot of claims about Columbus's origins.

You will also find that a lot of people had their reservations about his treatment of the people he found.
I have a few blogs running Ghost and really like it. Plugin and theme ecosystem is nowhere near Wordpress size. However, Ghost is much easier to modify and use IMO, maybe because I'm more comfortable in javascript ecosystem than PHP.

https://ghost.org/
> What?! You really think memory safety is binary?

Not sure why you'd assume that. The languages you offered are only as memory safe as their runtimes, which are usually implemented in something C flavored, and the compiler for same. Rust identifies memory unsafe areas instead with the unsafe tag. Functionally equivalent but I know which I like more.

> It does though. It's more ergonomic and does adds safety over manual memory management.

This is the misunderstanding. Rust manages to be wonderfully ergonomic without GC. The type system is really the only thing that makes it wordier than C++. And I've written large Rust applications with no manual memory management whatsoever. Occasionally I'll have to wrap something in an Arc Mutex because something needs to run in another thread. One or two variables in a whole application.

Your complaints apply to other languages.
It clearly wasn't ready. My guess: the powers that be decided they had to make a public showing of being an AI company, hence the giant marketing push ahead of release.

It's unknown how useful any of this will be in day to day use-cases.
Automatic wipers are not new technology and their implementation on cars that use actual rain sensors is much better than Tesla’s.
-fwrapv is for signed integer overflow not unsigned.
Has Elon tried suing his users into paying for a subscription?
"Rolling the version periodically" is probably quite problematic for browsers. Kind of a key point of the web is that stuff if at all possible keeps working. Breaking changes like that are hard.

Even if the spec just listed occasional version and the webpage could choose which one; that means a potentially tricky maintenance burden on browser to support old versions of a potentially no longer supported sqlite, and each version is another megabyte.

Why not then just choose this solution, and let each website pick its own poison?

If the concern is the repeated downloads of common resources, well, we've accepted that for other CDN's too, and a solution for shared caching of common dependencies would in any case be more valuable than merely for sqlite.

The current approach seems better than a browser-provided version.
Walgreens to close 1,200 stores as US pharmacies struggle to define a new role
Drives in particular. Let them solder the memory if they absolutely have to, but exposing even an empty NVMe slot should be standard for laptops. Unfortunately, Apple makes a pretty penny off the storage surcharge so I wouldn't really anticipate that anytime soon.
> My big problem is Rosetta 2 doesn’t emulate AVX which more and more software uses.

You can probably blame that on patents. Base x86-64, which includes SSE2, is old enough that all relevant patents have already expired (the x86-64 ISA documentation was first published by AMD 24 years ago, see https://web.archive.org/web/20000829042324/http://www.x86-64...). Other ISA extensions are newer, and might still be threatened by patents.
> They’re private companies. If they can’t tie it to profit, it’s not adding value.

Not true, even strictly from an accounting perspective. If you spend $400M and build an asset that is worth >$400M, then you have increased the value of the company without modifying profit. For example, if a company were to buy land, and build a building, that building has a value regardless of if it is associated with any revenue.
The bias on the site is really terrible. It's not always YComb itself so much, but all the valley stuff.

As with anything you have "the powerful people" who have opinions on what critiques are "fair", and will demand them communicated with perfect decorum.

Additionally, people are aware of how it will "look". In a way they don't care, but in reality there's always an appearance people prefer to keep.

Anyway actually break out some pointy critiques, and they'll get mad.
I recently traded in my 5-year-old iPad Pro because it was badly banged up, and they still offered me ~$400 in trade-in value. Great iPads.
They realized OP would put them all to shame.
“ CEO Elon Musk telling advertisers to “go f— yourself.” “

In context (ie truth), Musk was specifically telling advertisers that are blackmailing to dictate speech can gfy.
You mean Clojure vs Common Lisp or Emacs Lisp? In what way? I like them all. They serve different purpose for me, but in general, I like them.
Thank you. As a non-Slack user, this explains a lot. I was somewhat disappointed that this didn't generate actual emojis.
I think it will be a while before people are normalized with the idea of paying to read tweets.
I recall early Java having appetite for memory that hardware often could not satisfy (on a x86 desktop, it is of course still true for many microcontrollers).

Also I read a story of a developer resisting move from hand-written assemby to C, to which company owner replied "you can write your assembly, but not for my money". So nothing new, though some languages get a lot more resistance than others.
This comment identifies why Netflix and Youtube and other Google apps (I presume) are pulled from VisionOS.
I have an older (but not old) Mini, and I find it almost unusable, as screen elements don’t scale up. For example, Safari browser buttons are stupidly small. Is that still an issue with the Mini?
Having to deal with other people using it is far more obnoxious than actually personally using it, IMX. For sophisticated users it's not hard to learn these details, and then one naturally just doesn't hit the pitfalls. Teaching the details to someone less sophisticated, and making them stick, is a whole other ball game.
Right but, to my eyes, that's vague?

What I'm asking is if I need to manage the sqlite file, as I would on an OS's file system, or if accessing the sqlite library will automatically persist that data to those web-native storages, like the way indexedDB doesn't require me to load an "idb" file and then "save" or "commit" that save. I just access it and write.

To be clear: I'm not asking academically. I wrote a whole library for managing data in indexedDB for local-first apps, and while it works well enough for what I need, it's iDB so it's subject to data deletion (not common, but allowed in the spec if necessary), and it's a pain to work with just because of its nature and API. So I've been waiting to move to sqlite for a while with the only holdbacks being "is it too heavy?", and "how much has to change?". With WASM, I think we're about as lightweight as its going to get. So I'm just curious if this aims to be a drop-in replacement, or if it still expects you to use it like sqlite on a native platform.
It looks like a lot of care went in to disclosing this and providing replacements. Can I ask what you were using it for?

https://peps.python.org/pep-0632/
Well put.

“Should we move off x86” is often really “should we leave Intel/AMD”.

Maybe if there was another competitor making x86 chips they discussion would sound different.

As it is, if you don’t like the offerings that you’re being given you simply have to switch architectures.
Please correct me if I’m wrong, I believe that for aged women, being slightly overweight predicts longevity?
I used to use a catch-all with a custom e-mail for every website I used. I had amazon@mydomain, newegg@mydomain, etc.

I found that despite what people think, your e-mail address isn't being sold. At least, not by any vendors with a remotely decent reputation. I never got spam to any of those e-mail addresses.
The tools generally don’t care about the line endings on input, but they do generate their output using the platform’s line endings. If you don’t normalize the line-endings upon commit, then using the tools on Unix and Windows will alternatingly switch the line endings in the repo between LF and CRLF. And you don’t want to have those constant changes in your history and in the diffs.

Having Git normalize line endings for the relevant file types upon check-in is by far the simplest solution to this problem, in particular since having .gitattributes in the repository means that all clients automatically and consistently perform the same normalization.
I say we bring back phpNuke
Reflections on Palantir
We're hoping to publish some more in-depth posts - but had to start somewhere! We've been deep in ffmpeg for a while, especially around building our in-browser editor + record tools - excited to share more about what we've learned soon.
iPad mini 2024 with Pencil Pro and Math Notes is going to revolutionize math education.
Sort of, while yes this uses Nvidia, one of Nvidia's moats or big advantages is its rack scale integration. AMD and other providers just can't scale up easily, they are behind in terms of connecting tons of GPUs together effectively. So doing this part themselves instead of buying Nvidia's much-hyped (deservedly) NVL72 solution, which is a nonpareil rack system with 72 GPUs in it, and then opensourcing it, opens the door to possibly integrating AMD GPUs in the future and this hurts Nvidia's moat.
Trump Bobs His Head to Music for 30 Minutes in Odd Town Hall Detour
I for one am glad WebSQL didn't establish itself.

Now we get the most recent version of SQLite when we need it as a 410KB compressd WASM blob, as opposed to being stuck on browser-mandated versions of SQLite that might even be a decade old at this point.
[Carbon team member here.]

Carbon is still a small team, so it is going to take time to achieve all of our goals. Carbon will need to demonstrate both C++ interop and memory safety to be considered a successful experiment, worth pushing to a 1.0 version. Once those are achieved, we do expect it will be easier to get C++ code to memory safety through Carbon, since that is the purpose it is being created for. The impedance mismatch between C++ and Carbon will be much lower than with Rust.

Parsing code quickly is merely one of those goals we can demonstrate today.
From the article: “Using the D-Wave Advantage, we successfully factored a 22-bit RSA integer"
XLR V3: Guinness world record holder for fastest quadcopter drone
Some people are gonna shit in their pants hearing this new policy.
> as conkers are seeds (not a nut) - so shouldn't be an issue for someone with a nut allergy

I take issue with this, and in fact we can see how the pedantic scientific meaning caused confusion about the actual underlying facts: people with allergies to what are commonly called "nuts" can in fact be allergic to things that according to the pedantic scientific definition are "seeds". So the OP is actually wrong to say it shouldn't be an issue for someone with a nut allergy!
due to my being saddled with the British National debt it turns out that a loner of a dying race must set out on a morally ambiguous journey through all reality, killing everyone he meets except for a thinly disguised Sancho Panza - Volumes 1 through 119.
> It was on purpose, Microsoft was done with C

Indeed, and yet here we are with C23

> The change of heart was the new management, and the whole Microsoft <3 FOSS.

Yeah, agree. To me the turning point was when they created WSL.
For reference, the DOJ's opening proposal (PDF) is here [0], titled "Plaintiff's Proposed Remedy Framework", and I assume this is what the blog-post is in response to.

Of their points, the only one that seems interesting/credible to me the first one on query/data sharing privacy, the rest seem like repeats of how AT&T defended its own monopoly back in the day.

From the DOJ filing:

> [Considering requiring] Google to make available, in whole or through an API, (1) the indexes, data, feeds, and models used for Google search, including those: used in Al-assisted search features, and (2) Google search results, features, and ads, including the underlying ranking signals, especially on mobile.

> [...] Plaintiffs are considering remedies that would prohibit Google from using or retaining data that cannot be effectively shared with others on the basis of privacy concerns.

[0] https://www.documentcloud.org/documents/25196894-doj-filing-...
Depending on the referrer URL, you may or may not be hit with a paywall.

https://archive.ph/h2y0R
> the Foundation is intrinsically integrated with himself and Automattic

Don't you think Matt could de-integrate himself[1] with and achieve proper governance[2] of the Foundation, while retaining control of Automattic? I don't see the issue, there.

1. I think having Matt as a part of a properly-governed Foundation would be best.

2. "Proper governance" meaning one person can't go apeshit and single-handedly do crazy stuff like what has been happening.
I think a large fraction of the active userbase will be happy to pay, eventually. The catch is that the userbase will be so small by then it won't be enough to pay the bills.

It might yet survive as a personal PR machine, though.
I calculated, than the airship with 100tonns capacity, and wind speed 25m/s require 25tons trust to compensatecthenwind. It is Boeing jet engine, not Electric fan require.
There are many teams using SQLMesh in production. Fivetran, Harness, Hopper, Pitchbook to name a few.

You can read some case studies here https://tobikodata.com/harness.html or join Slack to meet with folks to learn more about their experiences.
In terms of features or users? For the latter, I hope no company can capture as large of a market as WordPress has. For the former, I wish them all the luck in the world
>> Dan Brown -- Award-winning author Dan Brown has written a complicated role for you with his expensive pen. You are a humanities professor at an Ivy League university, but also, somehow, in mortal peril. Your love interest is picturesque but ill-mannered and French. This is somehow worth several million dollars.

Kafka seems low-effort though. I humbly substitute:

You have inside you an extraordinary writer but are instead employed at the postal service, where you spend the rest of your days watching your first manuscript submission mistakenly misrouted back across your desk.
The Mystery of the World's First Computer [video]
> blackmailing to dictate speech

Deciding not to buy from you isn't blackmail. Words have meanings. Blackmail has a definition.
Summarizing the publicly-available information on a person or topic is what LLMs are supposedly built for.
Farms to fame: How China's rural influencers are redefining country life
edit so it turns out, at least a significant part of inaturalist is in fact open source of some kind. I never realized, I’ll have to look into this more. I appreciate you getting me to take a second look https://github.com/inaturalist

This may be exactly what I need: https://www.inaturalist.org/sites/network
Agreed.. in a lot of ways, APX is like AVX(512) for scalar code.

Double integer register count, three-operand instructions, improved predication support including conditional load/stores.. If I remember correctly, they actually implement it by having the scalar instructions use the EVEX prefix introduced with avx512.

I would really love to seem them settle on APX + AVX10/512 as a next-generation x86 baseline.
> Tough to tell, given nobody is turning a net profit on LLMs yet

Perhaps, but Meta is definitely getting some money back from ad impressions supported by AI-generated content.
but SQL isn't a blackbox and is a declarative language with a strict syntax

Piggybacking on OpenAI or any GPT is not at all the same as SQL
Totally fine and legitimate, the problem comes in situations where you might need to launch without an active internet connection. Arguably this wasn't the best vendor in the world, but IMO there should be a grace period, i.e., must connect at least x times per months instead of at every start up.
Same, as long as I stay the hell away from locales/facets.

Type safe input/output stream types and memory backed streams served on a silver plate is a pretty decent improvement over C.
Le Pétomane: The Man Who Could Fart Melodies
What is math notes?
> Let's also admit every language before Rust hasn't succeeded at out right replacing the vast majority of C/C++,

Many languages expelled C/C++ from the domains they were once kings of entirely.
It used to be "the language" for many, many things.
Yep, software is about cohesion. Having one side beloved by product and blessed with 'the offense' racing ahead to create extra work for the other is not the play.

Even when they rotate - who wants to clock in to wade through a fresh swamp they've never seen? Don't make the swamp: if you're moving too slow shipping things without sinking half the ship each PR then raise your budget to better engineers - they exist.

This premise is like advocating for tech debt loan sharks; I really hope TFA was ironic. Sure, it makes sense from a business perspective as a last gasp to sneakily sell off your failed company but you would never blog "hey here at LLM-4-YOU, Inc. we're sinking".
This distinction does not exist in K&R 2/e which documents ANSI C aka C89, but maybe it was added in a later version of the language (or didn't make it into the book)? According to K&R, all overflow is undefined.
This is a perfect case to illustrate that while knowledge is power, ignorance is bliss.
This is probably the most actionable advice here. Nothing guarantees getting a job and getting interviews without much experience in current environment is going to be very challenging, but at least you can be well-prepared when an opportunity knocks.
due to my having accidentally stolen the brown acid from Alan Moore, who you probably suspected I might actually be for some years, in Volume 120 loner from a dying race meets other loners from other dying races in future and merges into 1000 limbed kaiju and is forced to eat the soul of Sancha Panza.

on edit: due to having eaten the brown acid I stole I forgot how to spell words like eldritch and Alan and have edited one of them in a new edition of my previous work to undo the typo introduced in the acid-addled version.
> You will never finish - HTML is a spec fully owned by Google and Apple at this point and it's just too complex to implement from scratch.

sounds like a skill issue
North Korea blows up roads leading to South Korea [video][2 mins]
Bump up from 64 GB default to 128 GB is nice.
In this case, the “shorter frauds” involve dying near the reported date of death? By your definition, the postulated (unreported) deviation is statistically insignificant.