skysight-inc/HackerNews huggingface dataset:
> The initial policy interventions were heavy-handed in a time of chaos and relative ignorance

While I don't think we should go back to 2020 practices, I do think that what happened was less heavy-handed than we all remember. The US at least never had a real lockdown. You were always allowed to leave your house. The only places that got shut down by the government were bars, restaurants and schools. All other closures and people stopping to go out and socialize was pro-active behavior by citizens. Sure, some places required you to wear a mask, but IMO this was much less inconvenient for most people than the politically motivated outcry would make you think.

I am 100% with you that we should invest in ventilation and IMO far-range UV-C light in public spaces. COVID or not, respiratory diseases suck and cost massive amounts of money each year. If we can reduce them and improve air indoors it's a huge win that we should take.
It didn't suck for the shareholders of the remaining 3. With a state monopoly, we'd all be shareholders. Win!
Google is paying to Mozilla a lot of money in exchange for Firefox having Google as default search.
I don't disagree -- there is a place for specialized tool, and LLM wouldn't be my first pick if somebody asked me to add two large numbers.

There is nothing wrong with LLM + SAT solver -- especially if for an end-user it feels like they have 1 tool that solves their problem (even if under the hood it's 500 specialized tools governed by LLM).

My point about producing a proof was more about exploratory analysis -- sometimes reading (even incorrect) proofs can give you an idea for an interesting solution. Moreover, LLM can (potentially) spit out a bunch of possibly solutions and have another tool prune and verify and rank the most promising ones.

Also, the problem described in the blog is not a decision problem, so I'm not sure if it should be viewed through the lenses of computational complexity.
If the cart is moving slowly I’m going to point out it’s moving slowly. If you want to take that personally that’s your problem, but I’d prefer to be honest about the situation.

The fact of the matter is significant language features have stalled. And comments like the one i quoted are passive aggressive when you consider they’re casting doubt on whether certain language features will ever see the light of day.

It’s especially disheartening when you don’t really hear much from the language team and it doesn’t seem like progress is being made on these language features.
What also comes after a plague is a period of recovery and then renaissance.

Given many world leaders faltered on their response to SCV2, society will still continue to rebuild and reimagine if it doesn't collapse!

Hopefully we can solve the chronic infection/long-term sequelae part soon.
> All the other manufacturers have really really shitty BSPs in comparison,

I disagree.
The NXP (i.MX line) and the TI (am62x) and the STM32 MP1/2 all have good mainline support.

What you say is true of most of the Chineese chips and of mobile chips but if you go with mainstream suppliers targeting the industrial / automative markets these days mainline Linux support is good at the SoC level. At the SoM level some are better than others but it's not that hard to pull the approriate DTS into your mainline kernel build even if it isn't already upstream.

RPi is probably better for hobbyists but that's not due to the mainline status but a community more in tune with hobbyists than the more industrial products.

I've built professional embedded Linux systems based in i.MX5/6/8 and STM32MP1 with mainline based BSP rather than vendor stuff but have only ever used the RPi for one off tools.
JAX requires a bit more work to maintain fixed-size buffers as required by XLA, especially in case of caching and rotary embeddings. But yeah, overall the code can be pretty similar [1].

[1]: https://github.com/dfdx/fabrique/blob/main/fabrique/llama/mo...
I think it guides responses to it. If a teenager writes a guide that says O(n) algorithms are always faster than O(n^2), I'm likely to tell them that I see what their thinking is, but here are some counterexamples that make it more nuanced than that. If a friend with a PhD in compsci said that, I might tease them more... assertively.

In this conversation I see people discussing the requirements for being Turing complete. Because OP is a teen, everyone so far seems pretty nice about gently pointing out inaccuracies. I doubt they would be, or should be, as easy on me if I made similar misstatements.

And that's the value I see in "as a teenager..." here. It's not so much about their age as that they don't have decades of education and experience under their belts. Another person posting "as a professional dog groomer..." might get similar responses: hey, that's pretty neat coming from someone who hasn't been doing this for a living for many years!
If a test almost always finds something, then the failure of that test to find something is strong evidence.
You're not looking in the right places. I've had great experiences with EmbeddedTS, and their kernel seems to be close to upstream.
Bearings, they have bearings
I used F# at realtyshares in 2017. Didn't think it was particularly great for anything except Payment processing. The F# tools were only good with VS IDE on Windows at the time. I would probably use it again though, the REPL is much better than anything C# has to offer.

The Rider release was a shitshow, lots of bugs that went unfixed. Productivity went way down when I had to switch to a mac laptop (keep in mind this is 2017 on a Microsoft language). Had similar experiences with Rubymine in 2022 (poor YARD support, lots of bugs in type inference even with simple things, bug tickets left open for years, thank god for Sorbet-lsp). The tooling is probably better these days but I don't trust Jetbrains for anything, they are a rent-seeking company.
If the merger was blocked and no one else wanted to buy it whole, then their assets would get sold off and the proceeds divied up by creditors (and if anything was left after that, to shareholders), same as any other company. Why is this an unthinkable scenario? There would have been some market-clearing price for the Sprint brand name and CDMA network (possibly separately, or even the network itself parted out) and even if that price was zero, then it was the shareholders (and possibly creditors) who should have taken the bath, not the entire phone-using public.

Allowing an anti-competitive merger simply because the alternatives for Sprint shareholders were bad is a bailout by any other name.
I don't disagree with you, it's good that we have these laws it's just a bit macabre
Wouldn't the share holders care more about the profits of the company which are then being given as dividends instead of the price they can trade the share price at?

Isn't the amount of profit the company is making (and how that will change) what matters and not what its share price is?
Out of curiosity: What are some examples of "regular free markets"?
yeah I recall this article about it

https://undark.org/2018/11/08/my-diy-fecal-transplant/
Legal thinking these days is that self-pardons are meaningless, but the fact remains that the party will march so much in lockstep that there are no consequences anyway.
I did not claim that mine was right or nuanced, but that OP' claim was easily subverted with similar claim. As for the shoulds, I think a lot of people are afraid of working remotely IF they are held accountable ( I am willing to accept not everyone has the same level of focus, follow through and so on ) . But that is the fun part, management is either unable or unwilling to learn how to manage remote workforce so from a 'slacker' perspective, it is, likely, an ideal habitat.

Why would they be afraid if management can't wrap their heads around it.

But, and I may have mentioned this on this very forum, that is a management failure.
D-Expressions: Lisp power, Dylan style [pdf]
As someone who doesn't know much about archeology, I watched the netflix show and thought it was interesting and had a lot of questions. Knowing that it's one perspective and that there has been information has likely been left out and/or there were either answers, or at least commonly accepted explanations, I started looking around for what those were and what the academics had to say.

I found this channel and couldn't get more than 30 minutes. He starts off well saying that he didn't want to dismiss it all as nonsense but that doesn't last long. So yeah, If you want to watch someone ridicule an alternative theory that has been presented, or present commonly accepted theories as matter of fact, then sure, great channel.
Five Part Interview of Paul Dirac by Thomas Kuhn and Eugene Wigner
Framework is great, but their existence doesn't change the harmful antirepair practice of other companies. Similarly, the ratio of servicable cars on the road won't change the fact that offering less service is cheaper, and forcing first-party repair can even be profitable.
I’d love if Firefox would feed the text content of each website I visit locally and would allow me to RAG search this database. So often do I want to re-visit a website I visited weeks earlier but can’t find it again.
Typically, you biopsy the tumor to determine appropriate treatment.
Makes a lot of sense, should've made more research.

Appreciate the feedback a lot!
Some of these used Tesla prices are enticing, with gas at $4 a gallon a Tesla Model 3 gets just over 100mpg (equivalent obviously).
This depends on the grader and the context. Outside of an academic setting, sometimes being close to the right answer is better than nothing, and sometimes it is much worse. You can expect a human to understand which contexts require absolute precision and which do not, but that seems like a stretch for an LLM.
> If anything happens to a Tesla, then the bill is too high.

That is the fundamental takeaway.

These are specialized machines, with specialized parts, and specialized repairs.

---

And to be fair, this isn't all that much different than other luxury cars like BMWs and Audis.
I'm a big Raycast user and thought this was a new announcement. I wish they would build something like what they describe, but it's still an app launcher with a bunch of independently operating plugins.
children should never be taken away from their parents unless the children's life is in danger, or the children are clearly fearing their parents. in other words, simply ask the children, observe the situation and collect evidence.

the well-being of the children needs to be the first concern, and it needs to be understood that separating children from their parents against their will is detrimental to the children's well-being because can hurt the children more than the abuse they receive from their parents (unless the abuse is actually life threatening)

most children will not have a problem to stay with other people for a while if they are given a choice. at least the older ones who understand what is going on.

for parents with young children, i believe the better approach is family therapy or living under supervision.

but these things can only be done if we as a society accept that these are cases of mental illness, and instead of punishment these people need help.
yup, they need to be highly mobile for an environment like Ukraine, where they put flak AA on technicals and use phones on 6' polls to locate shaheds

This seems like a good, ship mounted, close range AA option
T-mobile for years and still is cheaper then ATT & i assume Verizon. I was paying $165 for 4 unlimited lines with mobile hotspot. Now with T-Mobile same level of svc is $130 a month. Its up in the air tho if the service is a reliable and good as AT&T as i do have issues with T-mobile .. echoes heard on calls, calls not going thru/just dropping instead of connecting and no service at all where i previously had it with ATT (in southern york county pa by MD line).
A smart human can write and iterate on long, complex chains of logic. We can reason about code bases that are thousands of lines long.
Medical science has had significant breakthroughs with physical diseases (ie, genetic therapy to help parents grant children with hearing). But still feels like mental health is stuck in the 1930s-1950s.

- electroshock therapy (wtf)

- throw a bunch of mood stabilizers, SSRIs (Selective serotonin reuptake inhibitor) and see what sticks

- therapy/talking

- lock em up in prison or psychiatric “hospital”

- in some cases people resort to self medication with various mind altering substances (LSD, microdosing MDMA) and see what sticks

At least we aren’t doing lobotomy procedures anymore.

Medical science has failed her. Society has failed her.
Going 100,000 miles is not the same thing as lasting "forever," which is around 250,000 miles in my opinion.
A ruthless prison system works only when the number of laws are few and the crimes are few. The only absolutely heinous people go to jail. With the big government that uses different lawfare tactics to go after people it does not like, it becomes pretty meaningless but it is hard to get rid of the ruthlessness.
Seriously, this should happen sooner than later.

We're quickly entering a world where car manufacturers are trying to extract profit from subscriptions (see: BMW heated seats, Toyota remote start, Ford BlueCruise, etc). On top of that, most cars are now shipping with an encrypted CAN bus, which lands us right back in the same "trusted computing" quagmire as every other consumer electronic device.
Introducing the cdn of pre built wasm blobs...
https://www.kbb.com/tesla/wheel-bearing-replacement/

> In theory, wheel bearings could last as long as your Tesla. Unlike oil changes or tire rotations, there’s no standard maintenance schedule for replacing them.

I do not disagree that inspections should be done to ensure things that move between motor and road are in good repair, but all vehicles in the used car market experience this. EVs have less moving parts, less than 20 typically for propulsion, leading to higher reliability.

When was the last time you had your wheel bearings inspected? Probably never. You know when it’s time to replace them when they fail.
The graph they chose to use in the article has to be one of the main poster childs for 'correlation does not mean causation'.

I don't know what's worse, not adjusting for purchasing power, or not adjusting for country size.

Also targeting 100GB screams 'writer had an agenda' to me. My screen on time is absolutely atrocious and I still rarely get over 20gb a month. I'm guessing the stats must change if you choose a number that fits in most plans defaults.
I'm sure it is still a good learning experience. I cannot imagine the pain you felt doing the html by hand!

I learned a lot by working on a universal formatting setup.

https://github.com/hofstadter-io/hof/tree/_dev/formatters
It's also worth mentioning that the original implementation by Meta is only 300 lines of very readable code [1].

[1]: https://github.com/meta-llama/llama3/blob/main/llama/model.p...
Hey, thanks for you feedback, I really appreciate it, I'm just getting started in the software business, so I'm grateful for anything I can learn from:)
Wow, that is a really negative thread. To be fair it’s not the best post either, but it shows that people jump to negativity really fast.
How did the erosion happen? At what time period was that much water there?
>Unquestionably a great piece of hardware

You must watch a LOT of advertising.

I imagine you are fans of Disney and Nintendo too? Maybe throw in some Samsung if you arent too infatuated with Apple.
Clearly, we are going to have to do this in a scale (I keep wanting to say logarithmic but I know that isn't right) where 10 essentially maps to infinity, and you can only get asymptotically close to that; what we then really need is a good calibration pain for 5... something everyone probably experiences roughly the same due to physical constraints on the cause of the pain, such as "ice cream headache" (...which, come to think of it, is actually a pretty brutal pain level; if I had to live the rest of my life with that level of pain, I might consider giving up? it probably helps that the sources of most structural body pain aren't constant--you usually can massively lower how much pain you are experiencing by removing all forces and movement--and so I am failing to truly model what those pains would be like if they were constantly at their worst for the rest of my life).
Google Search adds "web" filter as it pivots to AI-focused search results
I found another article that I found more lightweight and accessible. Has some pictures of the people involved.

https://www.nationalgeographic.com/premium/article/egypt-pyr...
Dish network the supposed new 4th wireless carrier's goose is being cooked now and i bet will file for bankruptcy in the next year or so. Satellite pay TV is a dying to dead industry.
> Your algorithm is a reflection of you.

Yes and no, you're correct in that it feeds you more of the stuff you engage with, but that's not what it should be going if YouTube cared about the mental well being of it's users. The YouTube algorithm is notorious for not responding to deliberate user input. Say I know that the content I engage with is harmful to my mental health, first step in dealing with the issue. You CANNOT tell YouTube to stop enabling you, even if you try. There are things the algorithm isn't smart enough to understand, or if YouTube is evil, understand that it SHOULD NOT respond to.

Example: I wasted a lot of time on Shorts, and videos less than 2 minutes, junk content. So I start hitting "Not interested", the algorithm WILL NOT pick up on the thing these videos have in common, that they are short. You can block channels, that works, except that there are thousands of similar channels which YouTube will then just push instead.

What I would like to see is YouTube have settings for: What kind of person do you want to be? And then just push the hell out of relevant content, ignoring any level of engagement. I think everyone knows why YouTube won't be doing that.

YouTube is a company, they do what's good for the stock price / profit margin. If it hurts the users, they don't care. It's not that they are evil, they just don't give a crap.
This is one of the reasons I disliked Tesla from the outset. Other manufacturers have various levels of challenge on repairs, but from the very moment they released the model S, they have been extremely aggressive at making any sort of third party repair impossible. Even connecting to the vehicle diagnostics got the vehicle to phone home and people at Tesla to actively subvert your attempt to learn or diagnose anything. For as much shit as we talk about "being green", making a car harder to fix (and thus much more likely to just get totalled and scrapped when it could ostensibly be fixed and serviced) is about as "anti-green" and anti-consumer as I could imagine.
Yes. But you can also use it just for basic typo and grammar correction.
Claims from Kolmogorov-Arnold Networks (KAN) research may be false
Kind of old news... Valkey to the rescue!
Software lock ala apple?
if you sampled N random people on the street and asked them to solve this problem, what would the outcome be? would it be better than asking chatgpt N times? I wonder
I recently upgraded my home network and realized my laptop had just gigabit Ethernet.

So I bought a couple 2.5G USB 3 adapters and confirmed: iperf3 reports 2.5 gigabit between my laptop and desktop connected to the same switch.

Much cheaper than getting a new NIC for the desktop.

gigabit Ethernet over a switch under my desk makes nomachine almost pleasant.
> If you're reading and writing to your map, then no-one else is. It's the reward you get for pushing through the pain of lifetimes/ownership that other languages don't impose on you.

I think you have failed to engage with the thrust of what I said - if the map is Sync in Rust, all bets are thrown out the window of your ability to reason locally about whether this piece of code works just by looking at this function - the map may be mutated between your mutation & read of the size by another thread.

> If you're reading and writing to your map, then no-one else is. It's the reward you get for pushing through the pain of lifetimes/ownership that other languages don't impose on you.

Only if you use mutable references. A lot of Sync code doesn't necessarily give you a mut reference to enforce that exclusion (e.g. lock-free data structures).

> To be fair, I haven't touched Rust since the latest push for async programming... has it really just dropped 'share-xor-mutable' on the floor?

Async has nothing to do with it & share^mut is still correct. I'm trying to highlight that with Sync you can lose that because the interfaces all become share even if they under-the-hood mutate in a thread-safe way.
Well done! I was also working on something similar and created a POC, but this is super nice.
I would be rather embarrassed to spend $100 billion dollars creating a new feature that's not better than the legacy feature. (Notably, this isn't even a rewrite, this is greenfield work!)
I remember doing this over null modem db9 serial with Windows kernel programming over 20 years ago.

I'm suspecting there were almost always instrumentation available, albeit not the most user friendly
Note: Tesla does get the $7500 and gets it immediately, from the customer, who is then reimbursed later by the US government. If you check Tesla's website they count on this: they advertise Tesla prices after the rebate, even though the customer will go out of pocket for more.

This may be a moot point though. Before Telsa gets this $7.5k, Tesla gets a subsidy of $1.5k in regulatory credits per vehicle from the US government for producing electric vehicles (around the same / more than BYD gets per vehicle from the Chinese government).
This. Ineffective feudal systems like slavery do not survive plagues. All those noble robber knights starved in there towers while the peasants went to town.
The main title "Data centres have turned Big Tech into big spenders" is now reflective of the content than the subtitle which is used here
I still recall a tragicomic leafblower event that made the local news when I lived in Australia.

A caretaker was killed when a tree fell on him while he was using a leafblower during a storm. The added irony was that he was doing this at 'The Lodge' - the official residence of the Australian Prime Minister which had been vacant for some time because the Prime Minister refused to live their (preferring a residence in Sydney). So an entirely unnecessary event all around.
Release binaries: https://github.com/neovim/neovim/releases/tag/v0.10.0
> Math seems like low hanging fruit in that regard.

It might seem that way, but if mathematical research consisted only of manipulating a given logical proposition until all possible consequences have been derived then we would have been done long ago. And we wouldn't need AI (in the modern sense) to do it.

Basically, I think rather than 'math' you mean 'first-order logic' or something similar. The former is a very, large superset of the latter.

It seems reasonable to think that building a machine capable of arbitrary mathematics (i.e. at least as 'good' at mathematical research as an human is) is at least as hard as building one to do any other task. That is, it might as well be the definition of AGI.