skysight-inc/HackerNews huggingface dataset:
What exactly? They didn't lay off 1500 engineers, I would imagine the bulk of Spotify employees handle all sort of licensing deals, talent management, ad sales etc. Telegram is a chat application that does none of this.
Not the same person, but we recently started touring schools in different districts. They all seemed to push diversity and anti-bullying programs as a main part of their pitch. There was very little focus on the academics. It was basically you get the normal classes unless you test into an IEP or G-IEP. Then they'd show off their facilities, how every kid gets a Chromebook, and after enough good stickers under the bully program they get a pizza party, etc.

The thing that spoke to me the most was looking in on the classes. Some of the schools seemed to just have the kids on screens in every class. Others had more of a mix. Behavior was also noticeable in one school, as was the aditude of the administration (both negative). On parent at that school told me you can't even tell the teacher about bullying and bad behavior. The kids are expected to fill out an incident report on their Chromebook.
Interesting and well-illustrated article. The claim that Japanese (or any other language) totally unique is a romantic one, showing the ignorance of the author with the very wide variety of languages and writing systems (the effect go writing system on language is not covered a lot in Linguistics, whose focus is the spoken language).

For example, they mention furigana, characters that aid in reading Kanji characters (https://en.wikipedia.org/wiki/Furigana). There are many examples of similar use in the languages, one that I'm familiar with is the use of determinatives in Ancient Egypt (https://en.wikipedia.org/wiki/Determinative). Their use is similar to radicals in Mandarin, which is to provide additional semantic clarification. If you want phonetic clarification, examples are even more numerous, e.g. the use of shaddah in Arabic (https://en.wikipedia.org/wiki/Shaddah).

The idea expressed in the "Dissociation from Birth" section sounds interesting until you learn that all alphabetic systems arose from a similar process, e.g. aleph was a drawing of an ox's head, etc.

The part that I find really interesting about Japanese is it's well-developed system of honorifics (https://en.wikipedia.org/wiki/Honorific_speech_in_Japanese).
I appreciated the section afterwards just as much.

For a man who gained infamy for wanting to blow up the moon, his publications are on relatively boring topics in advanced math.
> This is actually a fairly fundamental fact about static typing.

If you have a complete type system. But as we are specifically talking about partial type systems, you have to already cover all your bases for where the type system is lacking, and by virtue of that you are going to overlap with what the type system also covers.

> It's not stupid if you have a static typing system available!

There is no reason for it, static type system or not.
> It’s amazing how fast we went from rarely seeing an electric Amazon van near me to seemingly most of them being EVs.

Interesting to hear you say that. I've been looking for them but I've still never seen an Amazon EV in the DC metro area.
VNC + Tailscale. I can VNC into their machines at any time and help them.
It's the best option you have if you need to work with multiple LLMs in the browser.
Incredibly exciting mission, Titan has a dense nitrogen atmosphere and lakes of hydrocarbons. It's very cold, but it is a very interesting object to visit in terms of size, atmosphere, gravity, and organic chemicals.
If you

curl > install.sh
sh install.sh

then you have a copy of what you just executed
Chinese scientists close in on laser propulsion for superfast, silent submarines
>This is maybe now less of a concern, now that we have samples returned for background comparison.

As I understand it, the remaining Apollo samples are basically considered contaminated by earth now.
yeah wolfram's famous idea (which is sort of the whole point behind a new kind of science) is this computational equivalence principle which is that most things that are at a certain level of computational complexity are equivalent to each other[1]. Which may be true in some limited sense but is definitely not true in the general sense that he tries to imply. This has led him to saying things like you can implement the whole universe "in 4 lines of the wolfram language" even though mathematica (which is in the universe and implements the wolfram language) takes more than 4 lines of code to implement.

[1] https://mathworld.wolfram.com/PrincipleofComputationalEquiva...
Ada is not memory safe language tho, while it might make it a bit harder to introduce those bugs.
Langton's Ant is one of many, many CA rules that run for a while, seeming to be "predictably unpredictable" -- creating lots of blobby chaos -- but then produce a highly recognizable emergent phenomenon (the final "highway", in this case).

For music generation you'd want to somehow avoid ending up with the music "going boring" when the highway appears... As with a lot of math-inspired art (I guess I'm thinking about Mandelbrot-set colorizations here) the key is going to be in very specific presentation choices -- color choices for still frames or videos, or the specific method of mapping sounds to frames in a Langton's Ant evolution. So you'll just need to have (or develop) tools to try a lot of options and see what looks the most compelling.

Still frames are probably not going to be that interesting -- the fun part about CAs is the predictable-yet-surprising motion, which can be either the usual visual form or converted to sound somehow.

A recent version of Golly ( https://golly.sourceforge.io ) added support for listening to evolving patterns -- see pop-sounds.py / pop-sounds.lua in the Scripts directory. That reduces patterns to a single dimension in an obvious way (just looking at population), ignoring a lot of the 2D complexity. No doubt there are a lot of other possible avenues to explore there.
The environmental cost of China's addiction to cement
Build WebGPU Apps Today with PlayCanvas
Tesla's in Its Flop Era
Same. We pulled our four kids out in 2021 and they go to a local homeschooling group half the day. Class size is less than ten and they are excelling across the board. It seems to have taken a lot of social pressure off of them, they seem more "willing to be taught" than they ever were in public schools. My oldest is in 9th grade and she has opened up in so many positive ways.

The downside is that my wife works part time from home, so our income is a little less, but we won't go back. Public schools are just too dangerous.
Usually, these accusations are a form of projection. They have Facebook and Google collecting data for US intelligence agencies and assume China is doing the same.
Show HN: MicroSCOPE – identify ransomware statically with heuristics
your only problem with events is you dont know how to write code that remains simple

react and view frameworks arent the solution to that problem. react isnt even reactive - you still have to deal with event -> repaint.

react only tried to obscure that into a constraint language instead while actually hamstringing you and pushing the complexity elsewhere

events are here to stay and that's a good thing. these reactive frameworks borne out of an attempt to avoid events or complexity don't eliminate events or complexity - they make everything into an event or a necessarily complex structure in their attempt at pathological avoidance. the solution is factoring and proper honesty in your semantic names. but most people would rather blame their (very ample) tools than their skill or laziness or apathy.

i will say async/await is a big help for humans but synchronous code vs asynch as you may know is not the problem at hand here.
Yeah, but your trust is always on the domain owner anyway.
Teaching people to categorize based on appearance doesn't teach them about history, nor does it mean that the individual's history aligns with the history taught about the group they appear to be a part of.
Account management in 3LC is SaaS-based, while the data you operate on is always local to you. The Beta is free, and 3LC will remain free for non-commercial use after the beta period. The sign-up process is minimally invasive, only requiring an email.
Give it time. Let’s check back on this once our ability to nuke ourselves is as old as the Great Pyramid of Giza was in Cleopatra’s time.
I think the point is that $/student is not a great metric. You could spend $500K/student, have world-class teachers, and still not improve their home life or how much their parents value/support their kids' education. Without parental engagement, you're not going to move the needle on outcomes.
That's a village in China :)
Hi! I just wanted to post this project into HN and collect some feedbacks. Don't feel bad to just say "lol your approach won't work" because static analysis has always limits (e.g. obfuscated software) and many more.

The main goal was to build (another) software that given a PE executable in input, parse it and outputs some indicators of the similarity of it across the ransomware I studied (the classic ones). Naturally most of the advanced ransomware employed nowadays is able to circumvent it, only with a little bit of modifications. TL;DR: "a more advanced" pattern matching.

The description is here as follows:

MicroSCOPE is a software program developed through the Go programming language that allows for the detection of a precise category of malicious software. The program is designed specifically for a class of malicious programs called ransomware whose operation consists of data encryption and ransom demand in order to gain access to the content again.

In particular, MicroSCOPE was developed to be able to support two of the mainly used formats: the PE (Portable Executable) format for Windows platforms and ELF (Executable and Linking Format) for Unix-based platforms. Through the application of certain heuristics, MicroSCOPE is able to assign a score that corresponds to the level of dangerousness of the file being analyzed. The higher the score, the more similar characteristics the software will exhibit to ransomware that has already been studied. The heuristics have been extrapolated from numerous case studies and will be improved over time.
I think their point is it’s turtles all the way down. At some point you’re relying on software, kernel or otherwise, which will always have the possibility for bugs.

It seems like Lean is an interesting tool that maybe could help with proving, but ultimately will never be authoritative itself as a statement of proof.

Of course, this is ultimately a philosophical debate, which hinges on the fact to at while Lean may be demonstrably correct in any number of known applications, there are no guarantees that it is and will remain correct. Such is the nature of software.
Many things are hard problems, but you don't need to be an expert to recognize an obviously bad solution.

If you had showed someone the first bicycle, and it came with 3 differently sized wheels and a spike for a seat, you wouldn't have to provide an "ideal replacement" to know that it was a bad design.
That's a very eloquent variation on the word "censorship"

Are you next going to tell us that the CIA's access to iCloud data protects their users from terrorism too?
Motte and bailey tactic?

I.e., when challenged, defenders of concept assert the safer, easy to defend definition

In reality the actual meaning of the concept is practiced

A lot of the time though, people are pretty innocent and just don't know that there is literature behind these things. They just think equity always means some ideal they hold in their heads. And they'll see egregious examples of it being exercised and think "that's not real equity!" when in reality, it is, and "real equity" is not defined by their understanding of it, but by some academic literature that ultimately guides the implementation/practice at the high levels.
Advanced classes was the way it worked for decades. Only recently do we pretend smart kids don’t exist.
Ask HN: What laptop should my mom get?
My mom is retiring and will soon no longer have her company laptop. I'm a 'old thinkpad with xubuntu' guy, so I have no idea what's worth spending money on these days. She uses an iphone, so I'm tempted to say mac even though she's always been a windows user, since modern non enterprise windows is so bad.
User facing changes are usually the tip of the iceberg for most mature companies. Feels very naive to judge a large company that deals with complicated licensing, sales, marketing by some pet peeve feature you are missing in the app.
Yeah, Carrier has been making heat pumps for quite a while now. I'm not entirely sure when they were first introduced, but when I worked there a few years ago the heat pumps were far from a new addition to the product line.
It also works great as a checksum. See IBAN numbers for a great example - they are all multiples of 97 plus 1 which makes accidental typos much less possible.
Arrow keys! Thank you! I could not figure out how to do anything.
Such is the nature of math as well.
> the effect go writing system on language is not covered a lot in Linguistics, whose focus is the spoken language

I’d frame this a little differently: the vast majority of languages in the world are not regularly written, so linguists must focus on the spoken language. For languages which are written more often, linguists can and do focus on the relationship between the written and the spoken language.
Notebooks in Production?
>and after enough good stickers under the bully program they get a pizza party, etc.

That's terrible. You weren't evil? Get rewarded. What happens when they get sick of pizza?

That reminds me of people who call themselves a hero or people who boast of giving to charity. Doing what is right and normal doesn't need to be rewarded.
Would be a no-brainer to cover warehouses and parking lots with solar and charge the fleet yourself for even less.
Website with historical data showing that the last year has been by far the driest in the last 40 years in the Barcelona area: https://www.meteoblue.com/en/climate-change/barcelona_spain_....

Just in case, this comment is not to try and convince you. It's to show everybody else you don't know what you're talking about. I'm sure you'll be happy to ignore the data and come up with some more absurd reasons that fit your political narrative.
There wasn't just the one Cruise incident, though, was there?
Nonsense, you're just forgetting the metrics that matter most:

Number of pennies (or whatever currency happens to be in vogue that millenium)

Number of people who will do what you say.

(Some say they are the same).

If you include those two metrics, it's a problem at least as old as writing.
I seriously doubt mochi's going to be any help for the lean formalization effort.

But a lean-assistive llm trained on mochi's work? Ahhh! What an intriguing possibility!
For a moment I thought Andrej Karpathy was the voice actor for the AI Assistant in the game.
Why do people drag out trade schools? Sure they can make sense financially, but there's a heavy toll of working with your body instead of sitting in an office chair for work. And the numbers don't lie, college graduates make significantly more than non college grads. You might have loans, but your career trajectory can be much higher with a degree.
The stats I've seen show that homeschooled students do substantially better on tests than their public school counterparts. I'm open to the possibility that those stats are wrong but you should at least address that if you're going to take the "homeschooling produces only indoctrination" line.

If most homeschoolers are flat-earthers teaching their children that fossils aren't real and are STILL crushing public schools on science, math and reading tests– then that is an embarrassing indictment of public schools.
https://github.com/Chalarangelo/30-seconds-of-interviews/blo...

Exception handling, for example, uses dynamic scoping since you don't know what will be handling your exception when you write code which throws it.

Another way of thinking about it is, with dynamic scoping the value of the dynamic variable must always be on the stack and the closest one is the value that will be used. This is a really good behaviour for global variables since a common source of bugs is some global variables (and I'm considering class members "global" for this) getting changed unexpectedly. If the variable is lexical then it can be very hard to figure out what changed the value (especially when threads are involved) but if the variable is dynamic it's easy: the culprit is in the stack trace.
Energy costs in most of the US are favorable to this math. The cost of energy supply should be pushed down as renewable deployment continues indefinitely.

https://www.globalenergyinstitute.org/average-electricity-re...
That's how the law and jurisdiction work. Jurisdiction is defined by law.

Sovereignty is what complicates enforcement.
Google is healing
I‘m always blown away by HN commenters that think any sufficiently large company can be run by a few engineers.

Offices in many countries, licensing, marketing, sales, growth, data, design, engineering all adds up quickly.
It is actually responsive, I think because I used percentages in the CSS.
1/ I read from pocket 3-4 days per week. Biggest issue recently is the offline and text to speach experience.

1A/ if pocket can extract the text into a reader view, it will cache it for offline viewing. If pocket can’t, then I don’t get to read the article I was expecting to read on the airplane.

1B/ 20-40% of the articles I listen to while walking or driving, but they only work if the reader view is available, I must be connected to the internet, and the voice sounds pre-2022.

1C/ the search function isn’t great. I think if I pay for it, it will do full text search. But I think it’s dumb that I have to pay for ctrl+f.

1.2 not sure what you mean by clean. It’s not well organized. I have like 5 tags I use around topics that might be useful later, but I rarely archive articles or properly tag them.

2/ it definitely happens maybe twice per year. I use Anki occasionally, but only for deep topics (learning a new programming language, leet code), and not to learn blog content

5/ I write code and slack messages daily. I probably write internal documents one to four times per month. I’m trying to write one blog article per week, but it’s more like one month.
Given the loudest part of garbage trucks around me is their brakes, I'm thrilled at the prospect of them getting regen.
Canada's budget which just released, said that they plan to do similar legislation in the summer. I do hope they follow through as described.

I think its a great move forward. There were some significant differences. Europe is going down the obligated cost-effective repairs. Inevitably europe will be under constant problems of 'cost-effective' definitions. Not to mention extended warranties. Per country as well makes that a huge mess.

Whereas Canada seems to be going down the road that you're moreso allowed to repair your own. You similarly get access to parts and tools, but no obligation from the manufacturer.

Canada's big one is that copyrights may be violated for any repairs. Canada becomes the pirate/crack capital of the world after this. I love it!
I'm guessing this depends on the locality and the circles you run in. The homeschooling I know had solid curriculums, where involved in other social activities, and were more likely to think outside the box. Indoctrination happens at public schools too, so it's a situation by situation thing.
Agreed, but who is going to say "no amount of reasonable spending is going to materially improve outcomes because parents and systemic socioeconomic issues are the problem" though? Not a lot of appetite for that conversation. Easier to say "fund schools more" because that problem feels tractable.
CSS Grid is a mistake. Baking in a design philosophy when we had really creative pages without it.

I like grids for pages with content and documentation and such. I don’t like grids for pages of media or other creative content. Cards, flex box, grids, these are all design framework choices and shouldn’t be in CSS spec. We were totally fine with position relative and media-query centric widths and heights. I get that it’s easier to standardize if grids are part of the standard but I miss the days of pages having some creativity in their design. Every site looks the same nowadays.

And before I get downvoted. I have a degree in graphic design. I love CSS and I love the web. Bring back the fun.
> And then imagine that you can buy — hopefully you can buy — an apartment in the $400,000 range, or a nice house for $600,000. Those figures are a little bit up in the air, but it will definitely be more affordable.

These... are still relatively unaffordable housing prices.
Billions of forms of life on this earth over billions of years and we are the only ones to make cities and send junk into space. I’m not sure why we have this fallacy expect other alien life to look anything like humanity.
No, they work on whatever their custom wireless protocol is. I use one all the time.
Surely any post-collapse society could just mine the cities for metals. And presumably with a much reduced population there would be plenty of arable land for growing oil bearing crops obviating the need for most fossil fuels.
I mostly meant when Apple goes crazy like Vision Pro being $3500, Mac Studio and Mac Pro prices, etc. Those are low-volume items and I think Vision Pro will be relegated to that niche too. If they cut a lot of useless fluff like the eyeball cams/screens, and focus on fit/price they can have a good V2. But the "spatial computing" thing was dead on arrival, it'll never take off as it hasn't taken off in 40 years. People don't want to wave their arms in the air all day.
> Getting alire installed involves downloading the zip, extracting the binary, and moving the binary to a directory in $PATH. If you're on a mac, you also have to run an "xattr" command on the tool to get it running.

Is that considered a high bar for software developers to get right?
Just FYI: showing hash prefix collision counts is a built-in feature of the Fossil SCM. e.g. the collisions of one particularly well-known repo can be seen at:

<https://sqlite.org/src/hash-collisions>

and fossil's own can be seen at:

<https://fossil-scm.org/home/hash-collisions>
Given the rate of change, for both UX and scams, I think it's probably best not to pre-plan. There's a very high chance you won't be able to predict the way you'll need to interact with technology in the future. Knowing how stubborn people get as they age, it's likely better to make sure your kids are generally tech savvy and find ways to learn to trust them as you get older.

They'll be better placed to keep up with everything and figure out the best path forward when we're old stubborn gits!
Short summary: internet meme statistics!

> most traditionally published novels that you see on bookstore shelves or reviewed in newspapers sell several hundred to a few thousand copies across formats

This is interesting. I had envisaged tens of thousands or more. If this is US-based, and there are hundreds of millions of Americans, that is a very low ratio of book to person.
Try explaining that to a SMB CFO, I swear if you have met one you have met them all.

The MBA-ification of the world seems to have created an archetypical believer among its other many evils.
Exactly. Japanese _mostly_ doesn't have plurals in the English sense (it actually does have a few plural words), but you do use counters to specify quantities, which is just another way to express plurality.

I understand some folks might find the Japanese exotic ways gripping, but I find the realities of the language much more interesting. I find the thought "there are many ways to express plurality" much more fascinating than "wow, these people can build very reliable cars without expressing if a car has a wheel or many wheels."
Antarctica is behaving in a way we've never seen before. Can it recover?