skysight-inc/HackerNews huggingface dataset:
> Empirically assessing the result after the fact is how we determine intelligence and reasoning in.. anything humans included.

It isn't, though. At least not exclusively, I'd argue not even primarily.

We look instead at how someone describes their thought process to see if it seems reasonable, whether they're using logically-valid reasoning forms, and whether their arguments bback up their claims.

It's common to say that someone's _reasoning_ is sound but their _conclusion_ is incorrect, due to <subtle observation they missed> or <invalid premise>.

This is why math teachers always tell students to show their work, and give out 0s for correct answers with no steps.
I've rented trucks to tow a few times over the years. Enterprise truck rental has trucks for towing, just a weight restriction.

But to be honest the vast majority of times I've needed to rent a truck to tow something it's because I was renting something towable. I can't imagine I'd bother renting some equipment from one place just to rent a truck from someplace else.

In fact, it's not like one needs some giant truck to tow many things. The vehicle I've owned that had the most use out of its tow hitch was a Ford Focus. I've gotten a bit of use from my midsize crossover which has 5,000lbs of tow capacity. More than enough for a small boat or jet skis or a small trailer.
What about Actix? There were some discussion on HN a while back related to Actix vs Axum if I recall that.
If you need some pro bono legal help for choosing your license and avoisine trouble, just contact me :)
Meta suspends accounts tracking jets
Same here. Almost 4 years now. Feel good at work and what I accomplish. Got steadily promoted with significant pay rises. Fridays are amazing. Drop kids at school, do some errands and code a little and then pick up the kids and spend time with family.

My job nowadays is not programming but managerial. I'm lucky that a company offers a lot of flexibility, the main one being office not mandatory, so there are no issues when personal matter comes and you need to go out or something. Good companies like that are out there.
Which government agency would use eminent domain to take land and start mining? We have historical precedence with the oil industry using various scanning methods in a similar manner, but it was the oil companies who went to the landowners to acquire the rights to extract. Then the government would buy the (usable) product from them.
I worked at the Library of Congress on their Digital Preservation Project, circa 2001-2003. The stated goal was to "digitize all of the Library's collections" and while most people think of books, I was in the Motion Picture Broadcast and Recorded Sound Division.

In our collection were Thomas Edison's first motion pictures, wire spool recordings from reporters at D-Day, and LPs of some of the greatest musicians of all time. And that was just our Division. Others - like American Heritage - had photos from the US Civil War and more.

Anyway, while the Rights information is one big, ugly tangled web, the other side is the hardware to read the formats. Much of the media is fragile and/or dangerous to use so you have to be exceptionally careful. Then you have to document all the settings you used because imagine that three months from now, you learn some filter you used was wrong or the hardware was misconfigured.. you need to go back and understand what was affected how.

Cool space. I wish I'd worked there longer.
Well, you've convinced me. M&A should be illegal.
Right because the US is car-centric, so everything is designed to be an inefficient as possible. Things are far away not in spite of cars, but because of them.

> A replacement for a car should be able to do this in about 32 minutes

Right, again, I was able to go across the capital of Romania in maybe 10 minutes end-to-end. Because Bucharest isn't car centric. And I'm able to reach any arbitrary point in the city trivially.

Also, as a side note, your car couldn't do that in 32 minutes. There're people in CA that commute MUCH LESS than 22 miles that spend 1.5+ hours in traffic a day. Because, again, cars are the most inefficient means of transportation imaginable, so they have awful throughput and bandwidth.

This is mostly a case of US car brain. There're countless examples of places all over the world that are able to achieve this, and more, without a car. The biggest factor to remember is that distance doesn't scale like you think it does - due to the extreme inefficiency of motor vehicle infrastructure, the majority of our space is wasted on not-useful things. 22 miles in the US isn't equivalent to 22 miles somewhere else, because somewhere else those 22 miles have 10x as much stuff, so you wouldn't need to travel 22 miles in the first place.
> software errors often cascade

Whereas software defects in design and architecture subtly accumulate, until they leave the codebase in a state in which it becomes utterly unworkable. It is one of the chief reasons why good devs get paid what they do. Software discussions very often underrate software extensibility, or in other words, its structural and architectural scaleability. Even software correctness is trivial in comparison - you can't even keep writing correct code if you've made an unworkable tire-fire. This could be a massive mountain for AI to climb.
>> lifelong mix of sarcasm with sincerity, skepticism with optimism

Love this, perfectly said. Or, in the words of Don Martin, Thook Zak Splak KWOP!
My brain shut down after 2 hours of coding.
Perhaps a better explanation might be that they're all capable of being considered ambiguous whenever and however the clerk administering the test desires them to be? In that sense, they were impossible because a clerk could reject any answers to that particular question for all sorts of absurd reasons: the line wasn't perfectly parallel to word, it was too far--or too close--to the word itself, the start and endpoints didn't align perfectly with the word, your line curled upwards at the end as you lifted your pen from the paper, etc.

Quite frankly, I doubt they even bothered with even that token effort to find excuses for failing people. They didn't need them. Everyone knew the game; if you were black under Jim Crow, you pretty much failed the moment they forced you to take it, regardless of your answers.

Literacy tests were only meant to give the threadbare illusion of objectivity to their disenfranchisement efforts and make that effort more efficient in the process. It's unlikely any state or county ever bothered to assemble a common "official" literacy test, or that officials ever put much effort into crafting a perfectly ambiguous question no one could every answer correctly. There was no need, and to the extent any did, it would likely have been just to make taking the tests as painful and humiliating as possible to punish the test-taker for not accepting that the fix was in, and to further discourage anyone else from bothering them.

Truthfully, the humiliating aspects of the various disenfranchisement mechanisms were almost certainly quite intentional. Fury over the perceived humiliation of the loss of the Civil War, and the changes wrought by Reconstruction, was the constant underlying theme of Redeemer[1] messaging. Simply regaining political power wasn't enough to slake that anger.

0. https://jimcrowmuseum.ferris.edu/question/2013/july.htm

1. https://en.wikipedia.org/wiki/Redeemers
Or… England?
This goes double if your refining and battery production is still in China as well. If you are using the material domestically then the situation could be made more fair with tariffs, but if you're exporting that obviously won't work.
As someone who did make that transition, I wouldn't recommend consuming any content to start. You have been a dev. If you want to be a PM, you should already have opinions on how to build an ideal workflow, what kind of information the devs need, and what your ideal setup would be. Go write up your own PM manifesto of what your ideal team/org/process structure looks like.

Then, once you have sorted out your own opinions, go read up on what everyone else does. Learn from it and modify your worldview based on what you learn. Learn how the non-tech aspects of the job play into the role of PM, and read books and take courses on those things. And again, synthesize it into your own ideal.

The thing is that PMs who read books, blogs, listen to podcasts and do what they all say are a dime a dozen. But PMs who truly understand the creation of software and are willing to break out of the mold to create their own world... not only do we need more of such people, but startups in particular need someone with the personality to buck the system and do what is actually needed.

Going through that exercise is also good practice for the role. PMs need to hear a plethora of opinions, sort out which ones make sense, which ones do not, and devise solutions that meet diverse needs in the best way. Being overloaded with info and sifting the good from the bad is the key skill to do all that. So practice exactly that as you learn.
And of course you would not mind owners of extraction company leaving all the profits to people who got kicked out of their home. After all they should be happy just fulfilling your "national security" goal.
Fun fact based on the bottom panel: the peace sign (inverted y) is based on the flag semaphore signs for N and D, originally standing for Nuclear Disarmament.
It has a link to the original paper clearly visible right at the bottom where they usually are in scientific press releases like this?

> The study, which was published in Science Advances, can be found at https://www.science.org/doi/10.1126/sciadv.adp8149 .
The good parts of DuckDB that you've mentioned, including the fact that it is a single-executable, are modeled after ClickHouse.
I'm not sure if I completely understand your point. Is it that the definitions of ordered pairs must be done carefully when talking about constructions in Principia because of its formulation in logical predicates, e.g. care was taken when constructing sets to avoid Russell's paradox explicitly given the axioms of logic rather than Russell's paradox being excluded in ZF by the axiom schema of specification?

Or is the difficulty in introducing a canonical order for the ordered pair, or introducing well/partial-ordering in sets themselves? I guess I see an ordered pair as more of an indexical definition than an ordering definition.
A sentient entity could well decide to simulate the universe without developing tools to approximate it.
GenAI surges in law firms: Will it spell the end of the billable hour?
$3000+ price tag for a desktop. Wtf?
I'd rather buy the already well-established and recognized M3/M2 Max with maxed out specs.
https://en.wikipedia.org/wiki/Single-room_occupancy
It would cause damage. The faster you go, the worse is the damage. Even just the cosmic microwave background will eventually turn into dangerous gamma radiation, so you will need heavy lead shields in the front, which makes traveling even more expensive and difficult. At certain speeds, you should think of your spaceship as a drill penetrating the inter galactic medium. And even then the journey will take millions or billions of years (in the reference frame of those staying at home).
Trump ground game faces new fraud claims as video shows door-knock hack
Time to buy some cheap land in southern Arkansas?
It will interesting to see how this evolves. UI automation use case is different from accessibility do to latency requirement. latency matters a lot for accessibility not so much for ui automation testing apparatus.

I've often wondered what the combination of grammar-based speech recognition and combination with LLM could do for accessibility. Low domain Natural Language Speech recognition augmented by grammar based speech recognition for high domain commands for efficiency/accuracy reducing voice strain/increasing recognition accuracy.

https://github.com/dictation-toolbox/dragonfly
Also.. it was fun learning the answer to "what is the work?"

If you have an LP or wire spool recording, the audio is the key, obvious work. But then you have the album cover, the spool case, and the physical condition of the media. Being able to see an album cover or read a reporter's notes/labeling is almost as important as the audio.
It's not a case of deterrence. As the orders linked from the press release describe, all four of these companies have been cooperating extensively with the SEC to fix things up and agreed to continue doing so as part of the settlement.
Most of the source files have copyright headers indicating that the code is AGPLv3 and forked from existing projects with top-level LICENSE files, https://github.com/falkenber9/falcon and https://github.com/srsran/srsRAN_Project. They should indeed add a top-level LICENSE file to cover the build and other supporting files.
it is an open system
That fifth personal day can be quite lucrative with various one off projects. You can also be quite selective as you're covered financially and can choose those one off projects carefully to align with your values or whatever matters to you.
Honestly, this is going to be huge for healthcare. There's an incredible amount of waste due to incumbent tech making interoperability difficult.
For everyone just having a look, you can create an account with any email to check it out as a demo user, no personal information needs to be shared
The alternative is doing nothing and hurting people right now. The people who rely on public transportation most are poorer people. Something, eventually, has to be done because the path we're on is destructive. It's getting to the point where it's difficult to go just about anywhere. We're running out of space to put the roads.
How to Evaluate Cameras for Computer Vision
https://archive.is/4G3Uj
RAII and the Rust/Linux Drama
This touches on the core of the problem.

The only thing that changed is you can no longer force people to the same degree.

One alternative would be to design offices that people like to work in.
> Its also not a great example of reasoning, as it is so simple.

I agree with that. Admitedly this was the simplest thing i could think of. But it feels we are just moving the goal post here. “Any reasoning” is what was asked. Now you are asking “a bit more complicated reasoning”.

> there is no real deduction

It does in my opinion correctly deducts that the commenter is skeptical. That is a deduction. What does a “real deduction” mean?

Is there a sufficiently complicated prompt where you could test if an AI is reasoning according to your definition?
Elderly dementia patients are unwittingly fueling political campaigns
> we do know that a calculator doesn't think or have awareness in the way we consider ourselves to.

If only this were true.

Some people take panpsychism seriously, and while it may sound ludicrous at first blush, it isn't actually unreasonable. Hard materialist reductionism may be true but no one's really given an irrefutable explanation for the oddity which is consciousness.

It's tempting to say "Things that don't respond to stimulus are obviously not self-aware", but see locked-in syndrome for a falsification of that claim.
> Every enterprise IT department is like this.

That's because it's not understood what a liability allowing this to occur is. Perhaps if we fine them based on revenue they would understand that IT is a core part of their company and can no longer live on the edges of the business units.
Assuming the summary is accurate. Which I'm not sure is the case - as it happens, yesterday an actual LLM summary of OP struck me as missing important parts: https://www.reddit.com/r/Longreads/comments/1g8so93/a_contro...
All of that is simply part of the "result" here though. Result in this discussion is the output of the black box, whether that's a machine or a human brain. I don't mean it in the "final answer" sense.

For example, all the conclusions the math teacher made are still ultimately from assessing the "result" of the student only.
Indeed in Italy there are area (mostly historical centres) where cities limit the influx of cars to keep it liveable and walkable, therefore only residents are allowed to bring their car in.
Uranium is extracted by mining the surface. I don't know ore concentrations though, so maybe not much land area is needed since it is a dense energy source?
Before we were married (and I suppose after), my wife and I shared a love of LoTR. At the time, we were doing a fair amount of driving on the weekends to see family and friends. Rather than buy an audiobook, we decided it would be a good idea for whichever one of us was the passenger to read it out loud.

In retrospect, that was a mistake. :)

We didn't get into any accidents but we had to stop... Tolkien's style of writing is just perfect for putting you asleep when you're not well rested and already somewhat bored by the drive itself.
Humans 'hallucinate' like LLMs. The term used however, is confabulation: we all do it, we all do it quite frequently, and the process is well studied(1).

> We are shockingly ignorant of the causes of our own behavior. The explanations that we provide are sometimes wholly fabricated, and certainly never complete. Yet, that is not how it feels. Instead it feels like we know exactly what we're doing and why. This is confabulation: Guessing at plausible explanations for our behavior, and then regarding those guesses as introspective certainties. Every year psychologists use dramatic examples to entertain their undergraduate audiences. Confabulation is funny, but there is a serious side, too. Understanding it can help us act better and think better in everyday life.

I suspect it's an inherent aspect of human and LLM intelligences, and cannot be avoided. And yet, humans do ok, which is why I don't think it's the moat between LLM agents and AGI that it's generally assumed to be. I strongly suspect it's going to be yesterday's problem in 6-12 months at most.

(1) https://www.edge.org/response-detail/11513
Does k8s guarantee that /tmp is available either?
Same frame. Don't know about the tires and other parts. I think the seat is the same too, since it's basically destroyed leather and rusty rivets
That’s a really good point, and I’ll try to keep that PoV in mind, the next time I run into it.
https://bellard.org/jslinux has impressive performance.

So has https://lrusso.github.io/Quake3/Quake3.htm
>> the elimination, marginalizes, dehumanizes or denies human or civil rights

but you've already lumped together a huge range of behaviours and impacts. Elimination? OK, we can probably broadly define that, but I just heard news reports with quotes of Israelis calling for the elimination of Hamas, and Iran the elimination of Israel. How do we handle that? marginalized? as defined by who? What about marginalizing undesirable behaviours or speech? What does "dehumanize" mean? Who's definition of human or civil rights?
The more I've used Golang over the past few years the more I've come to appreciate the simplicity of its design and its lack of syntactic sugar.

It's made me realise that much of the sugar I was writing in other languages didn't make me more productive or my code more readable, in many cases it was actually the opposite and the usage of that sugar was more about writing more "succinct" code that was in the long run harder to understand and maintain.
Only skimmed your comment. Because swebok and your scathing critique are not important enough. "The lady doth protest too much, methinks."
Lawsuit: City cameras make it impossible to drive anywhere without being tracked
Detached from YOUR reality. Not everyone dislikes their family, though I’m personally with you in that I wouldn’t want to live with mine.
Human as an aggregate, yes. Individually, not so much. I’ve seen way too many people getting lost in life when traditional values no longer applicable to them. They still have desire, but lose all their purpose.
Have you dealt with publishers? If a work is out of print for a few years, much better to have rights revert to the creator.
I like busy cafés for focus work, with music in headphones.

The background hustle keeps my brain going but it doesn't bother me since it has nothing to do with me. Nice coffee helps.
The rings are in jumping just before an enemy touches you. If you time it right you don't have to jump "on" them. Although sometimes this will throw you into an unavoidable collision.

I'd suggest adding a state transition on sonic that only let's the character destroy enemies when coming down from the peak of the jump. Or else make it a double click to be able to destroy enemies from take off as a special trick move.

The parallax effect on the vertical axis doesn't really make sense in terms of perspective.. the camera isn't travelling up, just the character.... and even then, depending on the distance it probably wouldn't be pronounced like it is here. It's a nice effect but I think the game would be fine if it was a horizontal parallax instead or non at all.

Good job! Great game, fun.
A comparison to https://en.wikipedia.org/wiki/LibreSSL would also be nice.
Forth. I learned it very late in my programming career which started with Java. It just feels like home in a way that no other language ever has.

Mostly useless tho
My personal threat model for all Apple products is that I don't care about them at all:
http://dlenski.github.io/macOS_nope.html
I'm pretty convinced Len Sassaman was one of the creators bitcoin.
https://en.wikipedia.org/wiki/Len_Sassaman
Idk, LLMs have basically stopped improving for over a year now. And in their current state no matter how many abstractions you add to them - or chain them - they are not even close capable to replace even simple jobs.
A Report from the 2024 Image-Based Linux Summit
Sorry it looks like I replied to the other guy too. Same frame and probably same seat
That makes me think of Dune:

> Mankind has ah only one mm-m-m science," the Count said as they picked up their parade of followers and emerged from the hall into the waiting room - a narrow space with high windows and floor of patterned white and purple tile.

> "And what science is that?" the Baron asked.

> "It's the um-m-m-ah-h science of ah-h-h discontent," the Count said.

There are various ways to interpret that, but I prefer a more Stoic or Buddhist view, where it's a bad habit but we can be better at it. (As opposed to a more god-worm-totalitarian one, where humans are dissatisfied cattle to be managed.)
?? This can be done from both sides.

You are seeing this EXACT thing in the middle east right now.
Then use that as one of the four critical parameters.

E.g.: You might believe that some variability in conditions (hot-house Earth, iceball Earth) is required to "kick start" evolution. Okay, then simply pick out the subset of the parameter space with that amount of variability.
I think there will be markets for many different chemistries and there's unlikely to be some total winner in the near future. Each chemistry has its own tradeoffs and use cases. Some will fade and die over time like Ni-Cad, but even that takes longer than you would expect.

It would be amazing for some low weight, low volume, high energy density, high discharge rate, high charge rate, cheaply manufactured from abundant materials, low thermal sensitivity, high thermal tolerance, low passive loss, non-explosive, high cycle count, low memory, shelf stable battery chemistry to appear, but thus far every one fails in several of the categories.
Business logic should sit in the domain model, but not the orm model. The domain model should be an object that is not coupled with the web framework. In the Clean Architecture approach this is called an Entity.
The man behind Trump's 'unhackable' phone is on a mission to fight Tesla's FSD
I haven’t read that one (queued for tomorrow) but based on the title and ToC it seems to be similar in reasoning to the link I posted.
Most OpenSSL vulnerabilities are in TLS itself and in format processing (X.509, PKCS), and the vulnerabilities that do implicate libcrypto tend not to implicate constructions Rustls would use.