skysight-inc/HackerNews huggingface dataset:
Check out the exponential representation of rotations in geometric algebra.
I'm one of the people who believe that TDD and safety-by-design (which is based on strong, static typing) are actually two sides of the same coin. In a sufficiently powerful type system, they could possibly even be two implementations of the same thing.

- Start with spec.
- Write the specs as something that the compiler/test harness will check for you.
- Write the code.

The main differences being, of course, that you'll typically get your compiler error messages much faster than your test error messages (typically while you're writing the code), which makes them easier to fix - on the other hand, in pretty much all languages, the type system isn't expressive enough to represent all the specs that can be represented as tests.

In other words, in the current state of the world, we need both.
Odd, I remember hearing the same thing in 2007. Then the Great Recession happened and those voices disappeared and completely forgot statements they had made. Interesting though that at that time, it was the Republicans saying the Democrats were trying to engineer a recession for political reasons, now the roles are reversed and the public cares more about the financial realities of their lives than the pronouncements from Washington that everything is going great.
The economy many Americans are living in is not the one being reported on by the media. "Reality" is a completely different debate.
I'm sure we are on a good path, sure, but unless there is a monopoly, there will always be a need for cross-compatible software. We should build software like that, like we've been doing in C++ and Rust and languages which are built to acknowledge that platforms are different.
https://www.bellard.org/pi/

dig into the links a bit
You did mention this, but I think it deserves more weight, that kids from disadvantaged groups would be less likely (by at least an order of magnitude from my own perception) so it would skew your numbers by at least a factor of 10.
I seems you are right, it got killed. But not flagged or anything, it just simply disappeared right after landing on the front page 3 hours ago: https://hnrankings.info/38048372/

Weird, I haven't seen that before. It's like some sort of "shadowflagging", visible to people who have commented or with a direct link, invisible to everyone else.

edit: ok, so now it got flagged, too.
There are a lot of legal brokers that do it, established in different jurisdictions, with a spectrum of how strict they are with their KYC processes.

Obviously, the less stringent they are, the worse their prices are going to be.
RowVista gets rowers facing forward
Just dividing up the market between two (or a few more) pretty much identical products/offerings is how many mature products end up. It happens because because for, say, two competitors in a market, the marginal return on investment for trying to capture more market drops off, and if they all try to be the only provider... there's a chance the other one will win that game so it's easiest and less risky to just divide up the market.

https://en.wikipedia.org/wiki/Hotelling%27s_law

https://en.wikipedia.org/wiki/Nash_equilibrium

It happens a lot...

CVS / Walgreens

Home Depot / Loews

...
> It turns out that bliss — a second-by-second joy + gratitude at the gift of being alive, conscious — lies on the other side of crushing, crushing boredom. Pay close attention to the most tedious thing you can find (tax returns, televised golf), and, in waves, a boredom like you’ve never known will wash over you and just about kill you. Ride these out, and it’s like stepping from back and white into color. Like water after days in the desert. Constant bliss in every atom.

I know David Foster Wallace isn’t everyone’s cup of tea, but that quote from The Pale King stuck with me for over a decade.
Does anyone have some magnetic film and a second camera? I'd like to see the field cross section.

https://www.magnetshop.com/magnet-accessories/magnetic-field...
One of the classic introductory game design books (Theory Of Fun For Game Design by Raph Koster [0]) attempts to tackle the question of what fun is, and what a game is. It's a breezy read, with every second page an illustration. (Especially the chapter Different Fun For Different Folks is really close to what the original post is about.) It's tricky to define when you get in the weeds.

Here's a snippet from the book:

> Many simple things can be made complex when you dig into them, but having fun is something so fundamental that surely we can find a more basic concept?

> I found my answer in reading about how the brain works. Based on my reading, the human brain is mostly a voracious consumer of patterns, a soft pudgy gray Pac-Man of concepts. Games are just exceptionally tasty patterns to eat up.

I do think that Uplink has some super tasty patterns in there, which is exactly what the author is talking about when he's talking about the feeling of noticing how much better you've gotten when you start the game over. Of course, fun isn't a binary classification, and there's definitely a bunch games that are very heavy on the 'juice-factor' and other such things in an attempt to bump up the fun.

[0]: https://archive.org/details/theoryoffunforgamedesign2ndediti...
>had an amazing fever with delirious dreams

Where did we travel to, enLightened oNe..?
That would work, if I knew which groups to ask for which pictures and which ones I downloaded from other sources.

But I also lost more than just photos, I lost conversations, downloads, and can't take new pictures or send the ones I have in the cloud.

Factory reset shouldn't be the only way out of this clusterfuck
That sounds... contradictory, isn't it? Python is immensely hostile to static analysis (note that I write this as someone who writes Python for a living, using pyright/mypy). If you remove the ability to perform static analysis from Lean, what's left?

Or do you mean a Python-like syntax on top of Lean4?

Note: Pretty sure that libtorch is written in C++ and CUDA.
This is by design. Consumer spending is something like 60% of the US economy.

A deeply engrained conspicuous consumption culture and normalization of debt for non-essential purchases keep the great beast fed.
I sympathise with you. It's sometimes hard to get the conversations
you want on the internet. But then you have to take people as you find
them right? And try to learn something, even (especially) where that's
uncomfortable?. Sometimes it's bloody awful. But I come here because I
_get_ something; Not knowing what certain demographics think about
contemporary issues is worse than knowing and being upset/offended,
and I genuinely need that intel to get a fix on what I'm doing.

> a chat gpt could write the rest of the thread.

That's a low opinion of our fellows. Be careful what you wish for. In
a few years a forum like this might be untenable for that
reason. What keeps it going is precisely the "faith in people" you
seem at odds with. Let's not assume it's ideological stubbornness to
imagine things could have been different or that they could be
different in the future.

> subtle humour

Now I really sympathise. I'm frequently at the sharp end of trying
that, and you must know it almost never translates in this forum.
Mainly because there is so much sarcasm and double-think that nobody
(even the authors) are unsure whether they are making one point, or
its opposite.

Respects.
Apple Watch faces import ban after Masimo patent claims
I think the truth is somewhere in the middle. Some reduction is probably because of changes in protective styles of parents. But I think that the reduction of deaths due to car accidents is primarily driven by safety standards and better cars/roads. While the reduction in drowning is probably closer linked to parenting style. But also this is probably related to regulation.

I think what's most annoying about overprotection is not when people demand that the child should use a flotation vest while on a boat, but when they demand that other kids shouldn't be allowed to bring peanuts to school, because their kids have anxiety about nuts after a minor allergic reaction earlier in life (actual case I had).
>How do you know that?

I havent seen them personally, but IF Metall gave them a list of demands, so they at least have something.

>IF Metall also has lawyers and cost modeling, and more experience with the Swedish labor market.Aren't you being arrogant in thinking that after 2 minutes of reading about the topic that you know better than them?

Im not making any judgement on IF Metall is right, wrong, or misinformed about anything. I assume they are much more informed than I am, about Swedish law, practice, and Tesla's interests.

>Tesla "claims that it doesn't sign collective bargaining agreements anywhere in the world" - are you really sure that decision was made with lawyers present who understood the Swedish labor market?

I do note that IF Metall didnt make any public statements that it is illegal to bring in strikebreakers. Also, "we wont sign union contracts" isnt a statement on the law. It is a statement about what they do or will do.

> some posters are quick to believes they have a better understanding of the tradeoffs Tesla faces.

>Saying "it does not make sense" does not imply the person making the opinion has a better understanding, only that it does not make sense.

I totally agree, but that is not the only thing I read in these posts. There is usually criticism along the lines of "statement of surprise or astonishment based in the belief that Tesla should know more about labor relations in the EU, but for some reason does not appear so."

The simplest explanation is that they do know about labor relations in the EU, but dont care, are willing to take a risk, think they can change things, or are willing to walk away.
Testing superscripts e<sup>x</sup>
> (...) there is an argument to be made for someone to make an alternative that is easy to transition to.

Again, what better option is there?

You're the one quick to claim "People shouldnt use Windows, its not that great." What should they use then?
Non sequiteur, as AFAIK America had not been systematically oppressing Japan for decades.

Pearl Harbor was not then a desperate attempt to upturn the rotten-apple cart, but a simple imperial power grab.
I’ve just the thing for you my friend https://github.com/devxpy/anti-chatgpt
I'm saying languages with a Runtime and everything-is-a-(nullable)-reference dont have this issue of programmers being able to write super awful code. There is a clear limit to how slow simple looking code can be in C# or java, whereas languages like C++ (which I have a few years experience in) definitely allow you to write the worlds slowest code without the code looking like it.

Maybe you expected me to have a combative point due to my introduction, but i dont - im just pointing out that people use languages like Rust and C++ thinking they are fast, when really, an inexperienced programmer in either will write slower code than an inexperienced programmer in a lot of other languages.

They feel they dont need benchmarks, because their language is "fast".
>in which case the user can just re-flash the phone's non-encrypted partitions from known-good images and be on their merry way.

And what if you're asleep/away/busy and don't notice your phone was hacked?
Yes they are, and yet they exist.
What if there isn't a "value proposition"? Some times the value comes from people using it, and people find their own value in it organically. With forums, if people use it, it has value.
You will need to back this up a whole lot more for 'app installed blue coed ES call'.

Now as a MS customer it would not surprise me. But data makes arguments.
The GP comment appears to not be saying anything which opposes the idea that new literature can interrogate our beliefs too. I think they're trying to point out that the new tech you're highlighting is on the object level, whereas the fundamental topics which make good literature stand the test of time are meta level - human nature. Yes, we trade digitally instead of physically, and yet tales of merchants long scattered remain pertinent.

The GP's frustration, I believe, lies in the fact that you've been presenting the trappings of modern society as if they're the bedrock of modern existence; as if the findings of a science article today act on the soul the same way as realizing a dead Russian wrote a cartoonish parody of the actual personality one has cultivated for twenty years (a reaction I see commonly!). All writing may share similarities, but not all writing is literature, and recognizing that distinction would resolve the disagreement you first posted.

Many analysts would say the limiting factor of Plato on today's audience was not the total population, but the shift in interpretations (and related, writing) which make it so difficult to translate. And still, classics departments are offering fresh takes on the works, even through the 20th century, radically shifting the meta-level conclusions that we teach as takeaways. I hope you can acknowledge that this is more due to the underlying human nature which the works speak to, rather than some inherent unending depth to the writing - and that literature as a field carries this interpretive depth as its activity, rather than just cobbling object-level tools to interrogate their premises.
I am using a Aktiia wristband which measures the blood pressure every so often per hour automatically and does so without me noticing it. My cardiologist recommended it to me. I was sceptic and first (and still am, to a certain degree), but it gives me bread useful insight on my blood pressure during day and Escoffier while sleeping. Aktiia's customer service is really terrible (only via email, two weeks response time, inflexible decisions), but the product is good and it's measurements hold up when compared to "usual" measurements.
This is just so weird for me as a European. We were just roaming around I guess from age 6 or 7 onwards without parents.

Another factor though I think are pervasive use of smartphones. We could explore the world (80ies/90ies) and do the stupid stuff that kids do, without the risk that someone films it and shares it among peers, makes a meme about it, or whatever. I think at a certain age children's behaviors are much more controlled (or staged) nowadays as a result of the awareness that you could be filmed.
Love practical catalogs like these. Another I've thought of is what to glue with what.
What’s the basis for requiring Microsoft to either/both: support them in Win11 or continue Win10 support beyond the timeline they published ages ago?

I do hope they do offer a practical path here, but I disagree that they should be able to be forced to do so.

Users who are happy with those machines can continue to use them as-agreed.
the original: "We Have No Moat, And Neither Does OpenAI" https://www.semianalysis.com/p/google-we-have-no-moat-and-ne...
It's a high level support role with a view to systemic reliability and enabling others. You're a roadie, and now you help others be Eric Clapton. Once you understand what ops is for, skills can be acquired.

I'm not sure how to show a transition on your CV - but emphasising the "ops" side of "devops" to claim experience will probably help.
America was no less a car culture in the 80’s and yet we had much more mobility. I was walking to school by myself as a six year old, and everyone else did. Now your parents did.

It’s only the perception of risk that changed.
A study that shows levels of dehumanization of the other are extremely high and comparable in BOTH Israeli and Palestinian communities.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5528981/
Which evacuation warning did Hamas give the 1000 civilians it murdered, tortured, raped and burned alive on October 7th?
I don't know why, I first thought of an airplane. Yeah, headlining is an art...
I don’t remember the recipe but one of them told me to sauté one thing, and put it in a bowl to cool. Then in another bowl soak something else. Then drain and combine.

Instead I soaked one ingredient, while sautéing the other ingredient. When I drained the first ingredient, I just added the sautéd stuff to that bowl, saving one bowl from washing.

Another thing is the order you cut stuff. If you cut your produce first and then meat you can use the same cutting board. But if you cut meat before veggies (that will stay fresh) then you need a new board, or at least a flip.
Well, before that, there was no environmentalism at the time in Siberia. At least from talks with my historian friend (who worked in Novosibirsk Institute of History of academy of science), he never mentioned any such cases or that this was on any agenda.

Second, industrialization on large scale in Siberia happened first since 1905 after the Trans-Siberian railway was built, and later only in WWII in the '40s, when factories from the Western part were evacuated.

In '30s, the majority of population were villagers, and for them the biggest concern in late '20s were taxes, in '30s it was the dysfunctional state farms that everyone were forced into, and famine. And industrialization for them was a new American tractor that produced in a licensed factory, and some factory in the district capital, where some people could go become low-skilled workers. IDK, if it tells about rural or urban areas -- but cities were small (Novosibirsk that has 1.6M now, had just 120-150K then) to make a factory or coal heating in individual houses a problem.

Environmentalism in the USSR came to agenda probably in the 70s, but became openly discussed after 1987 with Glasnot policy, when lots of such ideas started penetrating from other countries.
Chicago pumps all their [treated] wastewater offshore... into an inland lake... however Great a lake, disgusting!
I'm using LLMs at my day job and claude v2 getting close to gpt-4's intelligence. It does use a different prompting style and has a huge 100,000 context window so it expects multishot prompting to train the LLM just-in-time.
As Aphex Twin once said [1] :

> I do get movitated [sic] by listening to other people now but I don't really NEED to do that. I could just lock myself away for days and get inspired by myself. That's my favorite way to do it. It's more like a pure form of motivation when it's all on your own. But you have to wait until you're really bored and you've got nothing to do. That's when it comes out. That's when I reckon it gets good.

[1] https://web.archive.org/web/20080611121559/http://www.furiou...
They're attacking the problem from two directions - bottom up and top down.

I view the type system as a way to whittle down the state space to the bare minimum while the tests validate that that the behavior of that whittled down execution space matches what is required.

I think investment in a type system to replace tests very quickly reaches a point of diminishing returns and vice versa. A really good type system won't ever beat ok tests + an ok type system and vice versa.
Agreed. If we'd just stuck with the Motorola 68000, we wouldn't have to worry about any of this nonsense.
Google researchers publish leading/important research monthly. They publish impressive work in vision, nlp, and RL. Have you tried reading papers or following research out of google?
Brotli wins because it uses a predefined dictionary of 120 KiB in size in addition to typical sliding window dictionary.The dictionary contains over 13k words, phrases and other substrings derived text and HTML documents.

Zstandard can use a user-provided compression dictionary. It has training mode to generate those.

My hypothesis is that JSON->Zstd->JSON would win if you would give Zstd equivalent dictionary. Trained with application specific dictionary would be even faster.
Hah why not use fireworks? It'd work just as well. Hamas rockets are, for all intents and purposes, just fireworks aimed at people.

Weapons manufacturers are the scum of the earth, etc. this much is true. But there's still much to divine in what rhetorics American and Israeli manufacturers use to sell the killing of people.
I had to refine it twice, IIRC, ending up with something like 'einstein book story girl "gedanken"' (the second refinement being by clicking next to one of the links that didn't include "gedanken"), for which one of the results was a New Scientist review of the book.

I did it on Google because I was on iPhone Safari, which doesn't have a good way to use Kagi by default, but I strongly prefer Kagi where possible.
> In a restaurant they might even learn language and ideas from the adult conversation

Their parents will have their phone in hand while pushing the discussions.

On the general point: I remember a time smaller kids couldn't get into most restaurants at all because they would disturb the atmosphere (and I'm sure there's still many shops that won't allow kids).

Also people are way more susceptible to kids being noisy. It might be because exposure to kids has been so low for the majority of adults, but parents will get an utter amount of flack for letting their kid cry or shout and not immediately cater to them.

It's hard to have it both ways, our modern society will need to be more open to kid noise and disturbance if we want parents to just let the kids be kids.
This situation always makes me think of the scifi books 'Deathworld' by Harry Harrison.

Whatever the solution, or at least, path forward, is, it is never 'more aggression', especially from a position of power.
Wait until every infection's DNA is sequenced and a "blockchain" of sorts can be maintained, documenting how every single disease morphed, genetically, over time.

Of course this would only work with highly-adaptive (i.e. costant change DNA) infections. And only when sequencing/tracking is less expensive.
Monitoring browser network traffic on Android using mitmproxy
Once you figure out you can pretty easily hack top level bank accounts for effectively unlimited money, the game loses a lot of its replay value.

I absolutely loved this game when it first came out and I played it on my Snow iBook G3. I subsequently re-bought it on Steam, and it’s had about five minutes of playtime since then. I want to replay it, but every time I start it back up again I’m just like, “Nahhh.”
Hester is the dictionary definition of regulatory capture, but on this we agree: Gensler is fucking up on crypto.

When you don’t distinguish between a kids lemonade stand raising money to fight kitten cancer and Walmart and you intentionally go after the lemonade stand for some reason…

Kinda makes you seem like a bully.
Hexagonal Architecture, DDD and CQRS in PHP
Example of a PHP application using Domain-Driven Design (DDD) and Command Query Responsibility Segregation (CQRS) principles keeping the code as simple as possible.
Hah, me too! I read the article title and thought "Hm, that's a bit of a weird idea, but I suppose syscalls do add up" before jumping in and realizing my curiosity wouldn't quite be satisfied in the exact way I expected it to be.
Sounds to me like they weren't paranoid enough
Isn't it because it had ceased to exist before these troubles began? Grove has left Intel 19 years ago, and cessed to be its CEO 25 years ago.
I grew up, decades ago, swimming in creeks West of Austin.

Post CoVid/time, I no longer swim in Barking Springs (spillway). Wash the dogs, immediately.
Yes, you can for example require the first datagram in a connection to have a cryptographically signed blob of data (also useful for key exchange). But then you need some mitigation against a simple replay attack (client sends same packet twice).

The server's first response should be much smaller in size than the client's request.

The basic idea is to make the client (attacker) use more bandwidth and CPU time than the server, at least during the connection handshake phase. This makes the server unappealing as a target for attack, even through it does not downright prevent the attack.

Most protocols already employ such schemes in connection handshake and crypto key exchange.