skysight-inc/HackerNews huggingface dataset:
> Today, Karikó is an adjunct professor in the school’s department of Neurosurgery.

Is this the first time a Nobel Prize has been awarded to an adjunct professor?
Off the top of my head:

Why doesn't every car:

- stop collecting and reporting my data to the manufacturer

- offer full diagnostic readouts of trouble codes

- come with one or more docking bays to mount and wireless charge phones

- come with a router for all occupants to share a powerful car based hotspot

- offer a manual transmission

- showcase my fuel efficiency rather than my rpms (who needs a giant rpm gauge anymore?)

- come with airplane style passenger monitors tied to individual phones

- support phone based entry and start

- support find my car

- include E-ZPass or equivalent

- stop micro-transactions

- allow self repair

The things I do like about my cars are:

- 5k or 15k miles between services

- backup cameras

- integrated mapping

- remembers my seat and mirror preferences

- AWD when I need/want it
As a Windows Phone fan, the timing doesn't quite match up. They reported this happens as far back as Windows 7, but Windows Phone 7 was based on Windows CE; WP 8 was NT based, I would have expected cross-pollination to start showing up in Windows 8.
A quote I think about often in a variety of contexts:

> It never gets easier you just get faster – Greg LeMond

In my HCI class we read about a paper talking about the tech that was supposed to save everyone from so much toil: the washing machine. It explored how we originally thought home appliance innovations would bring us leisure. Instead they’ve brought us more time to spend working. I wish I had the paper name at hand.

I think the quote and observation go hand in hand. Anything that could be used to provide ease, can equally be used to buttress performance and when humans have to choose between the two…the systems aren’t set up to reward those that choose the route of joy.

While I definitely enjoy programming more than I enjoy hand washing my own clothes. I wish I had less stress and more ease in my life.
I think the term "world model" is a highly overloaded term. What does it really mean in your opinion?
MIT paper: LLMs have an internal world model and sense of time
Tesla automatically engages the parking break if the driver exits the vehicle while stopped.
My position is de-facto true - if it weren’t, after the Snowden leaks (among others), the next round of representatives/President would have as their top issue disbanding the NSA/CIA no? As freedom from an abusive gov’t surveillance apparatus would have to be a major concern!

Or at least there would have been a serious investigation with large scale imprisonment of gov’t employees on the top of the list of issues?

Instead, you’d be hard pressed to find anyone outside of a small minority of mostly computer geeks that cared at all. Because most folks didn’t want to look or know.

After all, the evidence in those leaks is damning. And they were very widely distributed. And they shows large scale illegal spying on the US population, abuse of power (spying on ex’s being one well documented behavior), lying to Congress and the American public, etc.

Instead, Snowden has been actively hunted down as a traitor (with pronouncements of him as a public enemy being common), a token investigation was done which resulted in no actual changes or actions except for the Director of the NSA being brought up to (verifiably) lie to Congress and the Public, and some hand waving pronouncements that they totally stopped doing what they denied doing in the first place. And then they made sure to be more clandestine. Which Congress and the public never tried to stop them from doing!

The US public wants to be ‘safe’ and know their government is ‘protecting them’, and ‘the bad guys are getting punished’. If you don’t believe me, look up the polls for those in favor of torture after 9/11. I certainly overheard it a lot! Gitmo became a common term.

That doesn’t mean they wanted to see or know about the reality of it though. If they did (despite their efforts to ignore it), it would be outrage not indifference from the general population, and it wouldn’t be a small handful of activists going after the agencies, but enterprising politicians of all stripes taking advantage of the new ‘mandate’ to clean things up.

MKULTRA and ARTICHOKE before it existed because ‘The Russians are figuring this out so we need to figure it out first’. A natural response, and if they panned out, all the sins would have been forgotten. The US would be a world power from more than just Nukes!

They have to be clandestine about the sins, and the failures though or it gets folks worked up and then they get actual problems (Church commission, funding cuts, etc.). Which as long as they hide it (and they are allowed many tools to do so) no problems.

I certainly haven’t seen any public discourse or overheard any conversations about getting rid of the ability to classify things. Have you?

It’s the ‘he’s not cheating if I don’t know about it’ response.
Run out from exUSSR, to West, as fast as possible. And as far as possible.

You will not prove anything to others. Soon you will just trying to survive.
Correct. It's a natural consequence of increased per-hour productivity, as implied by the Linder Theorem. You could always slow down if you want to - but you won't want to.

This is why you rarely hear about people moving from higher income to lower income countries. It's much rarer to meet someone who moved from the US to the EU than the other way around, and really rare outside of the big hitters (I'm the only resident American I know living in non-Helsinki Finland after 2 years here). Most people just don't want to pay the hidden price of a less frenzied life.

https://marginalrevolution.com/marginalrevolution/2023/06/th...
It will also turn off power brakes and power steering, making it really hard to control.
Many sites support Paypal which means your payment data is safe
Ha, posted the same quote at the same time. Saw yours when the page refreshed.
This is most likely exactly the problem. It's very unlikely that an ultrasonic cleaner operating at a few kHz will cause interference on Bluetooth.
In a world where Apple slows down your phone when battery is worn out and considers it fair. It should be fair too to have the ability to replace it.
Pretty sure the maintainer is also a Discord mod.
If Apple had >5% desktop market penetration, you’d have a point.

They should definitely open up iOS to installing apps outside the app store, but their position isn’t nearly as abusive as Microsoft’s. Even their 50-60% share of the mobile market is pretty competitive compared to Windows.
What technology has brought is choice and options:

A woman can choose to decouple having sex with getting pregnant.

A person can choose to live hundreds of miles away from their family yet still visit them every weekend.

A person can choose to move to a new country, halfway around the world, and still have their parents be able to see and converse with the grandchildren every night.

I can choose to talk to a person who speaks another language and have a computer translate for us.

On a more serious note:

I can choose to have my tooth decay treated without experiencing horrific pain.

A compound fracture is not an automatic sentence of death or lifelong severe disability.
Rather than try to maintain our current use of climate-changing fuels, doesn't it make more sense to promote the living organisms that are already tuned to maintaining a livable environment for us? To do this we need a significant "land back" sea change, and I use that term intentionally to include many of the Native ways of stewardship and to suggest that we don't need to vacate land to revitalize it, we just need to change how we interact with it.
A lot of AI companies will be freed to focus on other things. Established companies will offer everything under the sun for "free", allowing small players to focus on other important things, such as working for the corporations that put them out of business.
He's quite clearly on the autism spectrum. When I saw him at FOSSETCON in Orlando (RIP that conference), he was.. interesting.

I will say that I was pleasantly surprised, given what I had read about him, at how he handled a question from someone who had a very severe intellectual disability; he treated his question at the Q&A as he treated everyone else's. Although he belittled my question, but that's neither here nor there.
I agree with your point, but a washing machine does make things faster: it takes maybe five minutes total for me to wash and dry my clothes with a machine, while it would take at least ten times as long to do it by hand. That's faster and more convenient.
Yes, I see what you mean. It's frustrating but the word "model" is severely overused in Computer Science and AI and it can cause a lot of confusion.

Briefly, a "world model" is a theory possessed by an autonomous agent that describes the entities that exist in the world and how they interact with each other and with the agent, and that the agent can use to make decisions. This is the sense in which "model" is used when people talk about "model based" approaches to AI (such as planning, for instance, which is "the model based approach to autonomous behaviour").

A "language model" on the other hand is a statistical model of the text in a corpus. A statistical model is really a set of events, and their probabilities. The "events" in a statistical language model are usually word collocations, where a collocation is a word A found near a word B, for some measure of "near". If you've heard about "word embeddings", that's a model of word collocations in text corpora.

So the claim that LLMs "have a model" is about LLMs being autonomous agents with a world-model, while "Large Language Model" is about statistical modelling. There's no reason why a statistical language model should have a world model.
I don't have an internal monologue.
If there's a lot of Java knowledge around in a company it can certainly be beneficial to use it ;). I set up a simple REST backend service last year using Quarkus and can think of worse frameworks I could have picked.

Also, if a new system has to connect to a legacy system using SOAP there are about 2 languages with a complete and interoperable implementation: Java and .NET. There are lots of toy libraries for other languages but I've never found one fully supporting the entire WS-* standard set.
> Does anyone here know how Standard ML inferred types?

SML uses Hindley-Milner (with some modifications to support imperative code). Many statically typed functional languages descend from it: Haskell and OCaml are the most prominent.

> Other languages haven't adopted a similar system so there must be some kind of trade off. What was the downside?

If you're asking why existing popular languages don't adopt it: they can't. HM type inference requires a HM type system, and they've committed to a different one. At best you could get good inference on a HM-typed fragment within the language (though even that would mean making a lot of painful tradeoffs) but it would break down the moment it made contact with existing code.

If you're asking why HM languages didn't become more popular? Historical accident, in my opinion. I don't think it has much to do with the type system, given how fundamentally awful Java's is.
The "surely" is a dead giveaway.
>nobody's going to say that, for example, this isn't at least as good as a pixel 3: https://www.amazon.ca/OnePlus-Android-Display-Unlocked-Charg...

In terms of Camera, Haptics, Construction material it probably isn't
This is a really cool idea. Anyone know of any similar frameworks for JavaScript/Typescript?
This is why the Sabbath matters (see a recent HN post of an article from the New Yorker). If not for intentional, ritual rest, we will accelerate and innovate and accelerate.
Their definition about Hybrid Search is I think wrong.

Through this terms tend to not be consistently defined at all, so "wrong" is maybe the wrong word.

Their definition seem to be about filtering results during (approximate) KNN vector search.

But that is filtering, not hybrid search. Through it might sometimes be implemented as a form of hybrid search, but that's an internal implementation detail and you probably should hope it's not implemented that way.

Hybrid search is when you do both a vector search and a more classical text based search (e.g. bm25) and combine both results in a reasonable way.
Compilation at its core is a translation problem. Right now, it would be fairly trivial to train an LLM to essentially be a compiler. And, you can already prompt LLMs on generating code for a wide array of things.

As far as adoption, there is a reason why dynamic type languages that feature a lot more natural syntax (Node, Python) are used WAY more than others.
The ideal situation is you would never know you are using them, they'd just work as an extra security layer. I think they're quite a ways off doing this.
https://threadreaderapp.com/thread/1709178267217842320.html
There are still a lot of non-digital works produced, though it is shrinking in proportion.
This really excites me, I’ve not seen much innovation in the testing space for a while now.

Please add support for a spec based dsl so all of us rspec fans may make the transition across with much less pain.

Along the lines of minitest spec

https://docs.ruby-lang.org/en/2.0.0/MiniTest/Spec.html
Dynamically typed language have very clear rules. It's not magic. If you know these rules nothing about dynamically typed code is inherently problematic. It's the difference between logic being in the code versus in the run time. You accept hundreds of rule sets built into the run time all the time.
This comment misses the point of the article. I.e., the monotony once required in hand-washing clothes (say by a housewife) has not been converted into free time, but rather converted into a different form of monotony (parents earning dual incomes)
Try making a Mickey Mouse animation and release it for free. Then shout "FAIR USE, FAIR USE!" when the Mouse's lawyers burn your house down and take everything that's left =)

It doesn't matter whether the result is sold or not, copyright law doesn't care.
Two posts about washing machines, one Greg LeMond quote. And my post about washing machines with a Greg LeMond quote.
Probably like 98% of customers already have a USB power source of some kind, so that seems like a reasonable cut corner.
If you are doing hundreds or thousands of SSH connections per second, you are doing something wrong. At least in 99.9% of cases.

Github might be different, but not the rest of the world.
As someone who's worked in the field of used books, I can say from personal experience that's not quite true. It's pretty common to have to type in an ISBN for a variety of reasons. Many times the barcodes have been covered up or defaced, and many publications don't have barcodes in the first place.
Happy that you like the game :-) Aces are low in this version.
Impulse Space CEO Tom Mueller Talks Early Days at SpaceX
To address the unit test stuff: I'm not saying that type systems replace unit tests. I'm saying that unit testing in dynamically typed languages is fundamentally deficient.
Or in other words: unit tests are made more reliable by type systems.

Unit tests can only check outputs for the inputs that are provided during testing. Leaving the input unbounded means that they can only provide guarantees for code that conforms to the tested subset of inputs.

I may be able to test that `foo(3) == 4` and foo("foo") == "bar", but since I can't guarantee that `foo({})`, or literally anything else, will never be called, there will always be holes in the safety net they provide. This is something type systems directly address.

> And so if you feel your type system is going to make your refactors safe, well, good luck to you and the poor people who have to use your code.

safer. It makes them safer, not automatically safe.
I’m probably going to make some Linux desktop guys mad, but the page says “Attention to detail” and then proceeds to show very many desktop window screenshots where the styles are very inconsistent. Font sizes, margins around elements, menu bar styles, title bar styles and naming conventions, one of the windows has an application icon in the title, but only one, the icon sizes are very different. What’s the point of saying “attention to detail” and then showing this?
Ask HN: How do you maintain a WordPress site's CSS when it gets bad?
Client has a ton of plugins, such as Elementor with ElementsKit, WPForms, and a custom theme.

For one input field on a form, there are around 6 to 12 different CSS files supplying rules including inline styles. The sane answer is to convince the client to migrate to another solution or recreate, but assuming this is like your spouse's beloved pet that you MUST operate on or else it will die, how do you begin to make sense of it all?
Terrifying. It is my understanding that in the US all BEVs are required to have a mechanical braking system in addition to the electronic regenerative brakes, though I can't find a source for this at the moment. Does anyone know if the UK or EU has a similar requirement? If so it seems in this case the electric motor was able to overcome the disc brakes which is astounding
The Pixel 8 Pro has better cameras, a brighter screen, anda lotof new AI tricks
Aces are low in this game - it's deliberate. But given the constant feedback maybe I should just make them high ;-)
Everything from ion channel response up is non-linear and not a deterministic Turing machine.

Random cite

https://www.jneurosci.org/content/13/1/334?ijkey=9f8730dd3d0...
That's not analogous. Not including the charger in newer iPhones actually reduced e-waste for me personally. I have collected many charges over the years and don't need more. When a device fails or I trade it in - I keep the charger (as most people I would think).

Perhaps they should have made the charger optional... but completely agree overall with the decision not to include it.
While I like the Open Source Initiative's early & principled stake-in-the-ground, as a matter of usage, many things get casually called 'open source' that don't fully fit the OSI 'Open Source Definition'.

And, with regard to the Llama models, it seems to me that all the actual computer-language "source code" to run & train them is available. The specific objection of the grandparent post, with regard to the non-availability of the full training-data document corpus of non-source-code-text, isn't clearly in violation of the OSI's 10-point definition.

There is of course a different problem, a part of the Llama's licensing that does clearly violate the OSI Open Source Definition: its "Additional Commericial Terms" preventing just Meta's biggest competitors from using it – discrimination against persons or groups.

But that's not the objection raised above.
The issue was confirmed with two separate MagSafe chargers and three or four separate AC/DC chargers. The lab test in the post was done using laboratory DC power supply powering a DC to USB converter.

Also if the interference didn't come from the disc side of charger then the issue wouldn't be resolved with ferrite bead on that end. If the issue was on the USB connector side then the bead should be placed there.
> In the balance, weakening American standards does little to help with foreign collection.

Though it can be greatly beneficial for domestic collection. Further, so long as the US remains a dominant player in Tech and Tech-influenced fields like finance, odds are a lot of the world is going to be at least de facto using US standards.
The author holds a Finnish call sign, so it would be more appropriate the Finnish authorities (Traficom). That said, it's still a bad look on Apple's design or production engineering. I would expect a higher level of quality.
Totally fair, and I think this is the kind of thing they could/should make rules around having a good audit mechanism for regulators to check.
Slightly off topic but another thing I noticed that’s infuriating me, is that podcast are now injected with local ads. I’m. It sure how they’re getting location data since iOS has extremely tight and secure authorizations for location access (even within their own internal processes). How can I be offered the ability to control whether Compass Calibration or Apple Pay Merchant verification get to use my location but not podcast advertisements??
I'd be quite surprised if they didn't come up with other identification techniques. Even if you couldn't pin point an individual anymore, I'm sure you can still learn a lot if you could somehow get version numbers from devices, wifi signal strength, etc. (especially when you can just dump it all into an AI now)

The industry is too huge to just give up.
Aww the 3DS is still a very nice retro console where you can play anything from the Nintendo store. I'm assuming they mean the nintendo store for 3DS will shut down then?

I gave mine to my nephew a while back, it's probably broken by now. But it's still sad.

Sometimes I just feel like playing some classic games like Castlevania, Metroid and Earthbound.
it's also has tones of subtle issues and we are constantly looking for potential replacements
A path to clarity for your software product(s)
Sorry, when you're applying to a dozen jobs a day, it's hard to put that personal spin into it.

I know you think you're a special snowflake that's different from every other company out there, but looking for a job is a grind. A tough one. Why make people dance and sing even more?
Considering that Ferrocene has been open sourced (or at least, will be) and Adacore announced the (seemingly) closed source GNAT Pro for Rust, it looks to me that maybe the two organizations couldn't agree on a path forward regarding source availability and parted ways. Even this post mentions that the current version of Ferrocene needs to have some "proprietary partner work" scrubbed before a proper open source release can occur.
The proposed solution to the nested virtualization problem (apart from somehow persuading Amazon to switch that on) is something called peer pods, where the containers run in separate AWS instances. Arranging the traffic between the peer pods and the instance which is acting as host is quite challenging and I've never seen this successfully deployed in production.

https://www.redhat.com/en/blog/red-hat-openshift-sandboxed-c...
It's technically possible to do a card present transaction without the internet working. I haven't seen this happen in practice on ground, but it's actually very common on airplanes, especially on Ryanair. You can pay for everything on-board with a credit card, using a physical terminal, and I can assure you that they don't have satellite internet. They just post the transactions when the plane lands.

But I am somewhat curious as to why nobody in my experience has implemented this on ground. Because if the customer pays with an actual credit card, the risk that the transaction won't go through when the internet comes back up is near-0, provided the card is valid. It is theoretically (and I assume practically too, given that every credit card agreement I've ever signed--and it's a lot of agreements, considering I was churning a lot for airline points--specifically outlined extra fees for "overcharging" your account) possible to overcharge the account this way (i.e. the transaction would still go through even if it'd blast past your credit limit, up to some limit though, probably)
Reminds me of https://en.wikipedia.org/wiki/Anne_Arundel_County_Public_Sch...

> Pop-Tart controversy

> Anne Arundel County Public Schools made headlines in March 2013 when school officials suspended 7-year-old Josh Welch for chewing a Pop-Tart pastry into a shape they thought resembled a gun and pretending to shoot his classmates.
Same, we tip almost exclusively on algora
(algora cofounder here) thank you!

and sorry about that, can you send me a link to the bounty? the list on the homepage should already be sorted by availability