skysight-inc/HackerNews huggingface dataset:
I have no insight into this particular project but you could work around the halting problem by only allowing loops you can proof will not go infinite. That would of course imply rejecting loops that won't go infinite but can't be proven not to.
UK watchdog accuses Apple of failing to report sexual images of children
The implicit assumption of the article is that eBPF code can't crash a kernel, but the article itself eventually admits that it can and has done, including last month. eBPF is a safer way of providing kernel-extension functionality, for sure, but presenting it as the perfect solution is just asking to have your argument dismissed. eBPF is not perfect. And there's plenty of things it can't do. The very sandbox rules that limit how long its programs may run and what they can do also make it entirely inappropriate for certain tasks. Let's please stop pretending there's a silver bullet.
It is _far worse_ in Europe since mortgages are typically not fixed rate for 30 years - an aberration almost unique to the US.
Unterminated loops might be a better phrasing.
> which of the letters a to z and A to Z are NOT switches that modify the behavior of ls?

For GNU ls: e/E, j/J, V, K, M, O, P, W, y/Y and z are not used

It uses all the other upper and lower case letters, along with digit 1 and has a hand full of long options without a corresponding short one.

Edit: I double-checked the man page, I'm surprised how many are unused, I would have guessed that it uses all of them by now.
Thank you for clarifying. In that case, I’ll address what I think is the relevant section.

> It should be possible to argue that laws should be fluid without appealing to the prophets of the civil religion. You could, you know, just talk about why it's a good idea. Shouldn't that be more powerful than trying to guess what someone who lived multiple centuries ago would have thought about it?

Yes, you are absolutely right that it should be possible to argue in that way and discussing the merit of the idea should be more powerful than invoking a bunch of dead guys. But unfortunately it’s not. The people who shout about the founding fathers are not the ones you can convince with reason alone. You’re lucky if they pay attention to your whole argument. Invoking the founding fathers is an emotional argument disguising itself as a rational one.

Which is precisely why I’m interested in seeing what would be the reply to “but the founding fathers which you are invoking disagree with the point you’re making”. Though I have no illusions that would fix the issue, people are able contort to into extra planes of existence to not cede their point. Watch Jordan Klepper’s “Fingers the Pulse” segments for examples.
Fond though I am of ranked choice conceptually, there are a lot of people I would not enjoy (nor be particularly successful at) talking through voting under such a system.

Given especially US multi-race ballots, I find it a lot harder to see the incremental complexity of approval voting having a noticeable effect (though note for calibration that there's plenty of criticism out there for how confusing many multi-race ballots are as is).
I would claim that for regular users of caffeine, it merely restores function to a baseline level.
Blender is terrific, free, and has lots of community support. It also has a famously steep learning curve, a complex UI, and poor documentation.

If you're new to 3D tools, I'd recommend finding a Discord where you can converse with other users live. The help will come in handy!
What about the imaging method makes you interpret it this way?
Institutional housing ownership in the US is not a material contributor to housing price inflation [1]. With that said, we are approaching a housing shortage of +4.5M [2] units, and in concert with YieldStar's Backpage revenue maximization engine [3] (which is laundering landlord price fixing), renters are being squeezed (because where are you going to go if you can't afford to buy? you will pay, or you will be homeless, which certain jurisdictions are attempting to or have outlawed).

To solve housing for those who need housing, enact state level YIMBY policies to override local planning (who will always kowtow to local folks who show up to say no, and local folks who say no because it costs them nothing to do so as they already own), provide cheap money to builders [4], and build as fast as you can.

[1] https://en.wikipedia.org/wiki/History_and_impact_of_institut...

[2] https://zillow.mediaroom.com/2024-06-18-The-U-S-is-now-short...

[3] https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

[4] https://www.startribune.com/janet-yellen-minneapolis-treasur...

(Edit: I would still support restriction of investment ownership of housing, depending on implementation details; you have to defend the young from the old and Capital, as they are treating the young as cattle to be squeezed for all they've got simply by virtue of their existence timeline [5] [6], and it's causing folks to simply give up)

[5] https://www.ted.com/talks/scott_galloway_how_the_us_is_destr...

[6] https://www.youtube.com/watch?v=K64GTDwWJo4

(as always, think in systems)
> Too bad that can't buy a functional society for people born after 1980.

They don’t care about a functional society or other people. Their kids are off in Bali this week, Nice the next.
The problem with "AI" is that it can mean anything that involves either classical machine learning, or deep learning, and more recently, is primarily associated with LLMs (as in people's initial reaction to this title, without reading the article, might be that LLMs are involved in this new method, which is not the case).
Rule: if you drink (coffee) dot not stay awake.
Infinite loops are not possible and would get rejected by the verifier since it cannot solve the halting problem. Here is a good overview on the options available: https://ebpf-docs.dylanreimerink.nl/linux/concepts/loops/
If the verifier can't determine that the loop will halt, the program is disallowed. Also, if the program gets passed and then runs too long anyway, it's force-halted. So... I guess that solves the halting problem.
I think the article isn't about crowd strike. It's about ebpf.
My withdrawals only kick in on the second day of no caffeine. Also, I feel a cup of coffee on the day I drank it and the day after (with no additional caffeine). :D I guess I'm turbo slow. Although I didn't use to be...
Hubble Finds Strong Evidence for Intermediate-Mass Black Hole in Omega Centauri
Exponential revenue is easy - you just need exponential inflation and it comes for free.

Increased productivity is maybe the goal - but how it's measured is up for discussion. If you do it in dollars, then do you adjust for inflation? If you do, what inflation? (inflation on the price of bread or super-yachts etc).

Or do you do it in value? What can you get for your work? In the 1990s a "machine in your pocket that can play any music ever recorded" would have been near-impossible/priceless. 25 years later it costs maybe a dollar a day and we can all have it.
If we can always get the same stuff for an ever-decreasing amount of effort, then that could be seen as exponential growth. You could argue that you could measure growth by technological advancement.

Conversely if your rent is going up 10% a year, then who cares that you're 5% more productive and making 5% more money every year. That doesn't feel like growth.

Unless you're not renting and you're the landlord and then you're experiencing sweet sweet growth.
Jellyfin of course spends the money on ingredients that go into the project: “if you do want to help us cover some operating expenses like our VPS hosting, domains, developer licenses, metadata API keys, and other incidental expenses, check out our OpenCollective page to donate.” https://jellyfin.org/contribute/

Why would anyone feel deceived?
Newspapers are famously printed on the lowest quality recycled paper and cheapest print process available, because they're disposable. Compare a retina screen to a coffee table style reference book with high resolution photos – the kinds you can use a magnifying glass on - and you'll still notice differences.

Or just look at what companies do when manufacturing technologies allow them to push for higher densities: iPhones now exceed 450 dpi, and the 8" iPads exceed 300; if the technology allowed it, Apple would most likely introduce higher densities on larger iPads and Macbooks as well.
The basic logic flags any loop ("back-edge").
Is Postel's law relevant here?
I don't. There were a lot of moving parts that I ended up changing at once to resolve the issue.

For what it's worth though, I was using a very similary configuration on my 6650 XT at the time, and that was working fine as long as I set the environment variable: HSA_OVERRIDE_GFX_VERSION=10.3.0. The issue I was seeing was on a machine that had a 7900 XTX, and IIRC I was not setting that environment variable. I suspect that somewhere in the chain something thought the card was one thing, when it was actually another, similar thing.

The behavior was really weird though. It would have tons of typos, but it was still readable. It would also make the same typo for the same word over and over again, and it would use really weird punctuation and whitespace.
I agree that there are some ill conceived resources out there but there are some who walk the walk and talk the talk:
- Erich Gamma contributor to eclipse as well as JUnit (Design Patterns: Elements of Reusable Object-Oriented Software)
- Kent Beck key contributor to JUnit
- Joshua Bloch key author of the collections API in java (Effective Java)
- Donald Knuth
- James Gosling creator of Java and the Java programing language book
>I want a financial person to explain to me why we continue to expect exponential growth of companies’ revenue year after year, and why that makes any logical sense in a world with finite resources.

Because entropy. When a living organism stops its exponential cell division, we call that death. In an economy, when things cease to grow, we call it recession. When that growth is in balance with the decay, we call it a healthy economy. When it outstrips it, we call that inflation, which the monetary system is designed to fight against.
The halting problem is exhaustive, there isn't an algorithm that is valid for all programs. You can still check for some kinds of infinite loops though!
And the example of extreme data collection he comes up with is having to register where you live? It would be funny if he wasn't serious.
Even so, the IP is used to make things which require resources. Disney IP is used to make toys, movies, books, etc, that all require electricity, paper, computers, employees sitting and eating, commuting into the office. Or a vaccine patent will be used to make a vaccine which requires a factory to be built and operated, the product produced, stored, shipped, used, and disposed into a landfill.
All stimulants enhance some functions to some degree, so that is a poor metric of value. Cocaine, for example, temporarily boosts intelligence, but consuming cocaine is not recommended.
I've been using Jellyfin for several months now, for me it works nicely. I did a bit of tuning over time (e.g. "OK, now I'll spend a bit of time improving how subtitles work"), and after learning how to set that aspect up, it just trucks along working. I have a handful of friends using my setup too and haven't had complaints.

Beware though that if any transcoding is needed, the RPi probably won't be up to it. Instead I shelled out a little bit for a small Intel NUC thing that can do hardware conversion.
Frankly, does it matter?

I was forced into ubuntu in that job, so whatever Canonical was shipping was effectively GNOME to me.

Also i looked into dealing with that "flavour" of gnome and the settings availability was just poor. Even XFCE which is a way smaller project does have more and better settings.

And let's not even pull KDE into the discussion, KDE has literally TONS of options.
> couple of laws, which I've forgotten the name of

https://en.wikipedia.org/wiki/CLOUD_Act
Gen Z are the richest generation in all of American history on a median per-capita real income basis, compared to older generations when they were the same age. And it's not even close. Millenials are the second richest in American history.

The only problem is housing. Any discussion not focused 100% on housing is not grounded in reality.
Why streaming? I can understand when one needs some media to play on different devices at the same time, also remotely, but for individual use I found a kodi box near my TV and configured to navigate NFS/SMB directories and filenames on my NAS, to be so immediate that I can't imagine doing things differently. Also, by streaming from box A (NAS) to box B (PC) it would probably need a lot more computing power from the usually smaller and less powerful hardware, and it would also move a lot more data on the home network because the video is transcoded by the weaker hardware and before being transmitted. ...Unless streaming in this context means a completely different thing and therefore I'm wrong.
Almost on par with Intel in single core but twice the amount of cores. A big deal if you had a use for all these cores - I did, compiling C++ code.
It’s the first 16 colors of the 256 set. Most current graphical terminals support the latter, but they only expose the first 16 in their configuration. So using them makes your software completely customizable. I believe the tty console only use the first 8.
This is where most of the real value of AI actually lies. The scientific and engineering applications of machine learning.

Another MIT study: if we AI-augmented R&D widely in the US, our productive economic growth rate would double. The authors argue this would be permanent, forever increasing the rate of technological progress:

https://www.sciencedirect.com/science/article/pii/S004873332...

I bet a true accounting of all the economic impacts of semiconductor technologies will show these have far more value than Meta, Instagram, Snapchat, TikTok all combined. The stuff built on top of deep technology has higher PR value -- but the deeper tech has far more economic value. Same with AI.
Ever wonder about who can afford to make all-cash, above ask offers on houses?

Or you can rent that house after the PE firm buys it and rents it out...

https://www.propublica.org/article/when-private-equity-becom...

https://www.thesling.org/are-hedge-funds-and-private-equity-...
Yep, another fix to all our problems, a new bandwagon to be jumped on by wall EDR vendors, until ...

Here I am using the term "EDR". Until this CrowdStrike debacle I'd never heard it.

Only tells how seriously you should take my opinions.
Yes, and lit also uses the adoptedStyleSheets to style the components, but it's just one thing to tackle. There's no "just do this and everything will work" template for web components. Lit is close however, and I think web components should be the future for web development, frameworks turning into libraries (like lit) or compilers that output web components (like... stencil? Never used it personally though).
Sam Altman Gave People Free Money. Here's What Happened
> Value growth isn't tied to physical resources anymore, it's increasingly ascribed to intangible things, such as intellectual property

No this isn’t accurate. No one values IP for its own sake; it is still responsible for generating revenue and being translated into profit. The process by which this happens is still resource extraction (raw materials into chips, energy into processors, etc etc etc).

And you are really only talking about tech. Every other industry has the same demand for infinite growth and can’t hide behind an IP abstraction layer.
Show HN: A beautiful way to track your CrowdStrike stocks
Our two developer team has been bootstrapping this for quite some time, launched on Product Hunt also and managed to rank #3 fintech of the Month. Now that CrowdStrike is trending and many are hopping onto the buy the dip train, why not track those shares on Stockle and view their daily movements and how much you are winning.

Here's the core features:

- Aggregated / Portfolio views
- Open / Closed position metrics
- Historical Performance tracking (TWR, Simple Return) with benchmarking and option to set up custom benchmark for each portfolio
- Market value + cost basis charts
- Allocation
- Dividend tracking
- Volatility, trend & profit rate etc. stats

& Bunch of other features

Feel free to leave feedback on what's missing and what we should add next
https://web.archive.org/web/20240722131245/https://www.forbe...
> it's not all about food and fuel anymore

Is it, though?

The biggest IP bubble now is AI, and the main bottleneck of AI is energy to power those datacenters. Doesn't google use as much energy as a few small countries now?

Biggest pharma IP now is Ozempic, which let's be honest here, is because westerners are addicted to processed corn and fried stuff. And hectares of monoculture corn sprayed with Roundup and sprinkled with just the right amount of laboratory-calibrated satiating salt is far easier to produce than a balanced diet. And what is needed to grow all that corn, soy, and alfafa feed? The tapped-out Colorado or the dwindling Ogallala...

I'm sure there are a couple of pure IP-value plays out there, but look deep enough and most everything is tied back to food, fuel, or the finite ability of the ecosystem to maintain infinitely-exponential growth.
The $12,000 Harvard Class Celebrities Are Fighting to Get Into
Civic minded people would point how to fully understand the base of your mission critical system. not help a crack addict chose a better toothpaste.
Does cocaine temporarily boost intelligence? I thought it boosted the feeling of being intelligent.
this reminds me of a team i worked in which had very few unit tests, and compensated with in-depth complex type systems

comprehensive test coverage meets the same goal, and TDD looks a lot like "type-driven design", only easier to read and maintain.
Gelato is not the same thing as what Americans typically call ice cream. American ice cream is less "smooth" and heavier.
CapCut on PC provides free subtitles generation
It's not that. Your brain function differently.

My biggest symptom as a kid was a difficulty to lie (white lie or otherwise) when asked directly about something. I did a year of therapy to learn that, and how I should learn it. The fact that I can now say 'what a beautiful dress' and not 'I guess it's okay, I don't really care' was directly taught, as do a lot of social stuff non-autistic people learn by mimetism. And now, I do learn by mimetism, I'm just proactive and conscious about it, I replay in my mind how charismatic people do stuff, and decide if I want to emulate them or not, then try to. That, masking and being conscious about my rabbit holes make social situations with 5+ person really tiree, really fast, but tiredness is my only symptom left.
> For example, forcing screen locking after a short period of inactivity has dubious security benefits if I'm working from a trusted environment like my home, yet it's highly disruptive.

There is a better alternative too. Make it a fair game for coworkers to send an invitation to a beer from the forgetful worker's machine to the whole company / department. It works wonders.
An eBPF Overview
I think Apple’s position here is commendable. They appear to be holding true to promises of user privacy even though the UK watchdog will be doing everything they can to pressure Apple into becoming part of the massive UK surveillance state. Including making them out to be the ‘bad guys’.

CSAM is prone to false positives, which are enough to ruin people’s lives - but more than that, it’s the same as treating everyone as guilty and doing a raid of your digital ‘home’ without a warrant.
It's more accurate to say that in principle, there could be programs that would halt, but that the verifier will deny.
Age induced brain fog is so high we should tie the max presidential age to the average max CEO allowed age of F500 companies.
Ok. But the good old push code to staging / canary it before mainstream updates was a simpler way of solving the same problem.

Crowdstrike knows the computers they're running on, it is trivial to implement a system where only few designated computers download and install the update and report metrics before the update controller decides to push it to next set.
PIR is owned by the Internet Society, a 501(c)(3) nonprofit which does a bunch of other stuff, like running the IETF. Most of the Internet Society's revenue comes from selling .org domains.
Again, the OP is moving from Prolog -> Erlang and not the other way around. You keep repeating "So it's hard for me to see how you're not suggesting that syntax will help you learn Prolog," but that is not OPs path. Erlang evolved out of Prolog and hence some of the syntax/semantics are very similar.

To settle this once and for all; in your previous post you gave the example of assignment which actually proves my point that you can easily go from Prolog to Erlang. Why? Because the behaviour is the same in Erlang i.e. there is no assignment but only pattern-matching. You can open a Erlang shell and type in X=a, X=b and it will barf. To show it even more convincingly type in Y=1+2, Y=3 and Y=4 and it will barf only on the last line. Lhs=Rhs are pattern-matched and variables are single assignment. A person with prior exposure to Prolog already knows this and hence can easily map it to Erlang. Only people coming from imperative languages (eg. C) need to adjust their mental model of the "=" operator. When i started with Erlang years ago that was what i had to learn first but thankfully all Erlang books cover it in the introductory chapter itself. Also functions in Erlang are written as a series of clauses which are pattern-matched.

I presume you do not have experience with Erlang and so your experience with only Prolog blinds you to the similarities. I highly recommend you get a Erlang book (Joe Armstrong's book is a good one since he uses much of the terminology like "terms", "clauses" etc. from Prolog) and with the help of the cheatsheet just try out the basic syntax in the Erlang shell and see what maps to Prolog. I am quite sure that you will find it convincing.

Finally w.r.t. Prolog's computation model being based on Predicate Calculus/First-Order Logic and so the model/semantics are very important is not being denied. I myself came to Predicate Calculus from the "Program Correctness" viewpoint of Floyd/Hoare/Dijkstra and hence an quite aware of its intricacies. But for most programmers without such a background in Set theory/Relations/Logic model building takes time and so syntax is their entry point and understanding happens over a period of time with study and trial-and-error.
Writing Software Engineering Handbook
The deposit system in the UK seems to work fine for us.

It's not enough (£500 currently) to be a meaningful expense to any candidate actually trying to win, but it's enough friction for 'fun' campaigns that we get enough to be funny but not enough to really interfere with anything.

And, yeah, ours is called a deposit because if you get 5% of the vote you get it back - and the phrase "lost their deposit" to reference a candidate who thought they were real utterly cratering on election day is pretty widely known.

Of course the UK's system of government is largely a patchwork of oddities that, put together, mostly work for us, so how well any particular oddity will work in another system is invariably debatable.
I agree, we should structure society so that people don't have to sell their labor to live merely that they choose to do so.

We should give those who choose not to sell their labor the ability to go and live without buying and consuming the labor of others.
I take it Pin is a fixpoint-type that allows for recursive reference?
>Gen Z are the richest generation in all of American history on a per-capita real income basis, compared to older generations when they were the same age.

source: https://www.economist.com/img/b/608/739/90/media-assets/imag...