skysight-inc/HackerNews huggingface dataset:
> the war truly could have been avoided (multiple times, even in the first week after Russia invaded) but Ukrainian "leadership" succumbed to foreign (US/UK) pressure.

If we want to play "woulda coulda shoulda", Ukraine arguably could have avoided this by not letting Russia repatriate Soviet weapons that could be used as deterrence. Ukraine used to have ICBMs that could strike deep into Russia, an obvious deterrent had they not been forced to give them up.
Proofs can ensure soundness for a collection of logical statements in an output, but people are being sold epistemic "truth".

This article is trying to elaborate what that means for LLM's, which only know truth through frequency ("crowdsourced truth") at best. For esoteric, sparse, ambiguous, uncertain, controversial, etc subjects, that's not an adequate truth standard to start from and logical proofs do nothing to improve on it.
Under Windows it's very rare to have trouble to running software. When you have trouble it's usually due to some security considerations or because you're using something which has roots in other operating systems.

MacOS & Linux are nothing like this. You can run most software, as most of the basis for modern software on those stacks is available in source form and can be maintained. Software which isn't breaks.

Apple/Google with their mobile OSes take that a step further, most older software is broken on those platforms.

The way they've kept compatibility within Windows is something I really love about the platform.. but it I keep wondering if there's a way to get the best of both worlds. Can you keep the compatibility layer as an adhoc thing, running under emulation, so that the core OS can be rationalised?
Digital works on PC because there is competition. There are dozens of stores you can buy from, and the developer or publisher can also just sell games directly. On consoles Sony & Microsoft have a monopoly on distribution. So being able to buy/sell/borrow used disks is a huge money saver.
Yup exatly. They are dream machines. LLMs without other systems can only work in the flow. The fact that in this word flow the larger LLMs can generate navigation instructions for actual mazes and solve random algorithmicly generated problems doesn't mean they are not hallucinating it just means we're getting wonderfully useful hallucinations.
There are dozens of us, dozens!

- Sent from my iPhone 13 Mini
In 1943 computers were common companies hired rooms full of them. Visicalc on an apple ii can do in minutes what they did in a day.

yes companies used to hire people to just add columns of numbers.
I'd say Edge is more popular, especially in the shops that go all in on Microsoft/Office 365. It integrates better with the whole ecosystem, you have more control over it with policies, sync is easier, and most importantly, underneath is all just Chromium.
It’s so strange to me when articles talk about Poland being invaded by Russia without even mentioning NATO. It’s a whole lot harder to imagine Russia invading Poland than a non-NATO nation like Ukraine.

I have zero doubt we’d invoke Article V immediately and even if we were lucky and nuclear war was not the result, Russia’s conventional forces are at an order of magnitude more of a disadvantage to the west.
Only because they are underpowered with old hardware. Just overclocking gives better performance but still dips below 60fps on first party titles. But they had to make those sacrifices because it's a portable console first with a tv dock. Nintendo always had slowdowns from the beginning with nes, SNES, N64. But these days it's just not acceptable to have those kinds of performance issues.
Does eating a higher carb diet make you more full?
Naturally, this is why he wanted control of Twitter. To shape public narrative ahead of the right-wing's November win-or-lose-all "hail mary."
I think it always attributed Animats correctly, I just wanted to point it out sounce it hadn't been remarked upon yet.
Contrary to what SpaceX has claimed USFWS does not regulate industrial waste water discharge (unsurprisingly). The TCEQ has said they are in violation. FAA has paused launches pending an investigation. Both should have done this many months ago.

In any case with respect to existing contamination the only thing I would trust is an independent third party testing lab testing the water with the data made public. I don't know why you would want anything else.
In my opinion, the right way of cooking is to always start by removing all bones with a specialized knife, i.e. a boning knife or a filleting knife.

The meat without bones and also most vegetables can be handled by the currently existing ceramic kitchen knives and they could be handled by a diamond knife (though diamond, even in polycrystalline form, is much less tough than zirconia ceramic or silicon nitride ceramic, which are better suited for kitchen knives).
> We really haven't, we've reduced national jingoism and converted it into identity jingoism

This is kinda what I mean-- instead of identifying with the nation (freedom & opportunity), a lot of people have latched onto their party instead, and this is an obvious disadvantage for social cohesion (you could even reframe this a bit as freedom vs opportunity, an interesting thought).

I find it curious how your wording implies direction/intention/agency in these changes, which i personally don't believe to exist. Sure, some people owning large media might sit at a longer oar, but in the end we're all just along for the ride and no single person or entity really sits at the helm and controls how culture and society changes (in my view).

edit: I honestly think that education is roughly better than it ever was-- I would not really blame it for this despite some failings (but got no US education personally).
This is exactly it unfortunately.
Yes, I don't know what their margins are, including I don't know whether they recover their desired margins from all supply evenly (e.g. 15p per kWh all the time), proportionally (maybe 30p per kWh when wholesale electricity is expensive, 0p per kWh when it's very cheap) or according to some crazy formula, this strikes me as "secret sauce" for such a business.

For a huge fraction (maybe 95% for all I know) of UK retail consumers they're still with their legacy incumbent supplier, even though those deals are usually more expensive and the service is no better, "privatization" was largely a waste of everybody's time and money. But at least in principle they could all choose Octopus.
I hate to say it, but after this summer's elections in France and Germany I really don't think this is a risk unique to any EU country. In fact I would put greater risk on other countries because they're starting out wealthier, people are a lot more open to immigration and centrist/liberal parties when they're getting 10% more money year over year and their children have a brighter and brighter future.
What is the point of India if everyone in it just wants to leave?
Be that as it may, it’s still something to be aware of.
> The alternative is that the app won't run at all, right?

The alternative is that the application displays with whatever the current GUI uses for its widgets.
The difference is that web/social media is branded as an intelligent being you can ask any question of. We all agree the web is _also_ not reliable, but many people will think GPT / Gemini are verifiably accurate when they aren’t.
The thing saying it is not a person, and has no beliefs.

The problem is basically epistemology. GPTs don't have any. Arguably they don't know anything. (Arguably they do to an extent, because the knowledge is encoded in the words in the training data.) But even if they know things, they don't know that they know, and so they cannot tell between "knowing" and "not knowing".
> then Starlink and Starship becomes Chinese

The point is there is no world in which Musk survives under Putin or Xi. He’d get Prighozin’d or Jack Ma’d because he represents a threat to the sort of authoritarian power that prefers folks like him far away.
Always remember companies are people too... until we make companies powered by AI. Till that day the underlying problem is always with the people.
I think he initially overestimated how much of the existing boat could be retained, and underestimated the amount of work required by 5–10x. But there was also quite a bit of scope creep compared to his original intentions for the project. Not unlike most software projects.

His initial plan was to spend about half of each year working as a sailor and the other half working by himself on the boat, which he had moved to the empty yard of some generous friends who also let him take over their unused woodshop.
Well, you're using an overbroad definition of "business decisions", so forgive my interpretation. Of course everyone that goes on in a business could be conflated as a "business decision". But not everyone at the business is an MBA, so to speak. "Business" has particular semantics in this case, otherwise "engineering/technical" becomes an empty descriptor.
Also a big fan of the Yoto player, it's helped our daughter stay in her room at bedtime.

For tinkering, there's an unofficial API (WIP)[0] to interact with the player, integration with Home Assistant[1], and Yoto's sample app[2].

[0]: https://github.com/cdnninja/yoto_api

[1]: https://github.com/cdnninja/yoto_ha

[2]: https://github.com/yotoplay/yoto-sample-app
There are significant questions about how they do their testing. Apropos of anything else, the water is generally superheated which causes issues with microorganisms in the soil.

Saying "hey, below level trace contaminants over here, later on" isn't conclusive.

SpaceX IS being deliberately deceptive when they say (and emphasize in bold, in case we're dense): "Again, this is drinking water". Great. Let's do what they did in Flint, and have Musk and SpaceX take a drink from that "drinking water".

Remember, according to Tesla, FSD is already dozens to hundreds of times safer than human drivers[1].

[1] On the subset of roads, in the subset of weather, in the subset of driving conditions where it may be activated, when compared to "all human drivers, on all roads, in all weather, in all conditions". And don't forget, if airbags don't deploy, it's not an accident, according to Tesla.[2]

[2] This includes collisions at 20mph or more where the passenger restraint subsystem determines that it is safer not to deploy airbags (first gen airbags were dumb - impact above a certain force, deploy. Current airbags take into account angle of impact, deflections, etc., before deploying). Tesla amazingly also doesn't consider it to be an accident for their stats when the airbags didn't deploy because the vehicle was so damaged or destroyed by the accident that the system could not or did not deploy.

So forgive some of us for taking any Musk venture condescending press release with a grain of salt.
Is there a product opportunity here? What are the risks?
I used this one because the LWN page adds a number of LWN articles that were written as the events were happening. As such, it provides additional, contemporaneous context.
Making SQLMesh Faster
This is GPUDirect. GPUDirect is the technology that enables any third-party device to talk to a GPU (like a NIC).

> but probably pretty awful over the Internet. In the DC though it will be beaten by real GPUDirect on RDMA naturally

It's being used in many places successfully over the internet. RDMA is fine, but completely breaks the abstraction of services. In many places you do not want to know who is sending or what address to send/receive.
I had high hopes when I saw the yield keyword in the reference, but then saw it's basically just a reserved keyword as they don't seem to actually support generators. I would guess the less eye-bleeding version of all those 1, -1 things is just making a ReversedIter and using that: https://docs.godotengine.org/en/stable/tutorials/scripting/g...
> But I bet 99% of people wouldn't even be able to tell the difference in most real world situations unless they were staring at the two systems side by side with magnifying glasses

I don't think this matters at all. The market of people who uses consoles + care about graphic fidelity / fps count are basically like the audiophile community today, eating up what the companies are pushing on them.
I can offer cite that hallucinations are an innate property of LLMs, can you provide one that shows they have 'an internal mental model'?

https://arxiv.org/abs/2401.11817
Try pondering on the opposite for a bit: a market where the people with the biggest guns can coerce others to give up valuables. Where participants are actively left to die because the governing body only allow a single person to treat ill people. Etc.

When we have a grasp of an unfair malgoverned market, then we can think about what a fair we'll governed market is.

It is probably not the same for you and I.
While I get the concerns about battery life, like most things in tech it's about weighing different tradeoffs against each other. Battery life, ecosystem, quality of sensors, app availability, resale value, etc.

I already have daily habits around charging, so that doesn't bother me, and if I'm traveling I can either bring a charger or put the watch in low power mode where it lasts a surprisingly long time.

My Apple watch purchase was basically for one feature. Fall detection, and automatic 911 calling. I bought the watch when I had a close call with a car while riding my bike to work, and wanted to make sure in case of an accident, I'd at least probably die in the ambulance and not on the side of the road :)
Natural diamonds are not especially rare. The entire reason they are overvalued in society is due to an extremely successful and ongoing marketing campaign combined with a monopoly that allows for extreme market manipulation.

Your wife is concerned with that social value. The actual physical qualities of the stones aren't really that important. Social status is.
Only because noboby is willing to pay for all the roads a city needs. Freeways in very rural places are never congested because we outbuilt demand.

Des Moines needs Huston levels of freeway to meet current demand. Which is why nobody is willing to pay for it.
The comparison is flawed though in that humans and LLMs make mistakes for different reasons.

Humans forget things. Humans make errors. Humans' train of thought isn't impacted by an errant next token in the statement they're making. We have thoughts which exist as complete prior to us "emitting" them. Just as a multi-lingual speaker does not have thoughts exclusive to the language they're speaking in (even if that language allows them tools to think a certain way).

This is obvious if you consider different types of symbolic languages, such as sign language. Children can learn sign language prior to them being verbal. The ideas they have as a prior are not effected by the next sign they make: children actually know things independent of the symbolic representation they choose to use.
I have uBlock Origin and I didn't see any pop-ups ;)
> I really don't think this is a risk unique to any EU country

True! But I'm fine dealing with populist headaches in a $4T and $2.7T economy instead of a $690B economy.
People are burned by crypto, metaverse, web3, and all the other stuff the tech industry came out with over the last few years that crashed and burned. Optimism is great and underrated, but you can't sum up the same enthusiasm for everything.

And this is coming from someone thoroughly bullish on AI!
Cool!

I'd like to see now an even smaller PS5 - preferably as small as the XBOX S. I find the PS5 Slim still somewhat bulky, although it's no longer a major problem like the original.
Their violations are:

1. They misplaced a decimal point when transferring a value from the lab report to the summary

2. They filled in the wrong form. They paid a $2000 fine for this violation.

The lab reports are public.
> Then there is also whatever chemicals and material are on the ground prior to launch activities that get washed away

Washed away after first being superheated by that water.
I find AI summaries to be useful when writing PR's as a starting point. Having it generate a bulleted list summarizing the changes is a good way to make sure you've covered your entire PR (and it's easy to trim down unnecessary things). You can add context as needed.

I'd never trust an unrevised version though.
I took it to mean they're listening to the conversation inside of the car, not a telephone call being placed through the car's audio system.
Hallucination is a term that means "imagined facts", so it's very hard for me to parse this comment into something meaningful beyond "if we say it always generates hallucination, we can say it always generates hallucinations"
> All of Big Tech

Define all? Because that looks more like maybe half to me, at best.
Ay yo, Xcode 16(macOS Sequoia) will have code completion (running locally) and swift assist/chat (processed on Apple servers) for free without extra setup but downloading the models
I think it's more interesting that Apple creates this reaction where people will endlessly harp on about things that happened over a decade ago under different leadership (holding it wrong) any time they update their products.
it made a pretty clear case

you document what you can now in hope someone down the line uses it like the German guy and nightingale
Lot of downvoting for having a different opinion in this thread. So people disagree with you and think that warrants a downvote? That's counter to the HN ethos.

I agree with you, don't need to buy new 2024 PC components to have a great gaming PC, that seems to be the counter argument here which just isn't the case
you mean "I made a web app that invokes a local LLM someone else wrote"?
VC backed companies love AGPL because it’s basically a poison pill that still makes them look OSS good. The entire blog post can be summarized as “we ticked all the boxes on paper, now pay us for looking good”. People, however, usually pay for good software instead of good virtue signaling.
You don’t have kids do you?

They leave the last disc laying on the TV cabinet. It never, ever goes back in the box. I found three stacked at one point, and I think one disc just outright disappeared and we had to get a new one. It wasn’t until the discs started skipping that the kids even thought about taking care of them.
It'll probably be baked into the price and therefore not directly visible to you, similar to how video game consoles are priced cheaply relative to their manufacturing cost with the expectation that they'll make up for it on royalties/connected services. It makes no sense to give some feature for "free" to make up for it, because the feature could still be used for product segmentation purposes. For instance heated seats is still useful as a differentiator for a premium trim, so it'd make no sense to give it to everyone for free.
Then you can go to sleep and keep looking when you aren't tired.

Couldn't we alternatively just use AI to identify the most interesting ones or ones with specific people we want to see?
"Why would a language model do anything other than "hallucinate" (i.e. generate words without any care about truthiness) ?"

That's exactly the question the paper attempts to answer: why do LLMs ever get it right? The answer is that on topics where there's a lot of data and a general consensus on what the right answer is, the statistical model will find that answer, and otherwise you get junk. That's why they work so well for people trying to write Python or Javascript, for example.

But I already knew this, you might say. Sure, but the authors produced evidence to back it up.
The damage that Python not having a JIT has done.

At least BASIC was designed for native code compilation from day one, and after the 8 bit home computers generation passed by, getting compilers for 16 bit home computers was rather easy.

30 years later, people insist in using bytecode interpreted language for the wrong use cases.
I have a "tinker" directory with decades worth of small, just-for-fun projects I've coded. Many of them are bleeding-edge browser experiments, and I don't want to bother with "requires such-and-such browser" messaging, I just want to see what is possible.

For most of them, building the thing is fun and instructive--and every once in a while I can draw from this reservoir of creativity for new public-facing projects. It's great!
Google DeepMind has a fully procedurally generated Doom: https://gamengen.github.io/
Which Garmin did you have?

I think most models can easily do 5+ hours of GPS on a single charge.
Do Animals Know That They Will Die?
Which is why I didn't say that :D
Generally it isn't traffic but it takes too long so you don't even consider it. if we had telleportation I'd have lunch in a Paris café but that would mean 8 hours to get there so I don't consider it.
I used it for the last year or two at a company where all of our source control was with github. It has bindings to interact with github (not sure about what else) that allowed me to use it locally without anyone else having to change their workflows/install anything. Granted, I was mostly using it for stacked pr management among a few other things and not really fully taking advantage of all of it.
OpenHAB- Mmdev: A JSR223 library for defining all your items and rules in Jython
your statement is clear without the first half sentence .. another way to characterize this is discussing the role of human people as team members versus robot support services.. whose role? whose benefit? from the human side.. what accuracy ? what costs (both hidden and overt) ? from the toolset side
> All of this, purely speculative theorizing, in 1920!

What speculative theorizing are we doing in the 2020s that we might similarly look back upon?
Glean raises $260M series E
they do mention that it’s is good to have both. also using a newer uuid version that is more sortable temporally is also wise.

> Use regular bigserial (64bit) PKs for internal table relations and UUIDs (128bit) for application-level identifiers and natural keys. Your database will be very happy!
Spoiler, if you decide to use viam, you will need an API key to make an LED blink. But don't blink the LED in excess of $5/month!
actual source the tweet links to:

https://emilkirkegaard.dk/en/2013/07/intelligenceiqgre-by-ac...
This makes... No sense. There is no guarantee that any action Ukraine took would have prevented war. The counterfactual could have just meant more war.
I never thought about that, but honestly that sounds super cool, imagine our grand grand children 300 hundred years from now, if somehow they have access to our cloud images they can basically check out how their ancestor fully lived their lives, a true door to the past.

Sounds super cool for them, of course, we have been born to early for this, so from our perspective we still shouldn't give a dam. As probably we won't be ghost behind checking how they enjoy that portal to the past.
>They didn't

Didn't they?

I am not questioning the fact that BSD is a commercial and Microsoft 'friendly' license, and Microsoft and Unix vendors hired many of BSD developers, it's a win-win situation for them.

What is so sinister by saying Microsoft at the time didn't particularly like Linux GPL license and their ex-CEO called it a cancer (their words not mine) since it's not compatible with their commercial endeavours at that particular time. Perhaps you have forgotten or too young to remember the hostility of Microsoft towards Linux with their well documented FUD initiatives [1].

[1] Halloween documents:

https://en.wikipedia.org/wiki/Halloween_documents
Yes, uvx's behavior is a lot like pipx, but much faster to start up programs (just as uv is much faster than pip), whether cached or not.
I go through a large box of photos of my dead mother at least once a year. It helps keep her alive in the minds of my young sons who never got to meet her.
This is cool! I recommend every hacker play around with their own local LLM. For 90% of my "chatbot" needs, a local LLM is adequate.

I use Ollama + Chatbox: https://chatboxai.app/
It is really a hammer for a screw.