skysight-inc/HackerNews huggingface dataset:
You could be right actually (you probably are). I tried looking into it before to understand the context, and I couldn't find anything. But the context your provide does sound more like Mr. Habeck, as opposed to him arguing that the state is always right. So I do accept this misquote and take it back. My _experience_ however living in Europe is that the state actors behave like the State is right, and that the state actors are greater than the individuals. This would seem to be most true in east Germany.
https://archive.is/l6N7m
As much as I hate the idea, I'm convinced it would be a godsent for 99% of the population.

Just imagine when you buy your SIM card the phone shop asks you: Do you want to limit incoming calls to people who you either called before or who have ever had a permanent residence in your country? 99% of spam and scam calls blocked, just like that.

And just imagine how hilarious it would be if all those Nigerian prince emails had a note that says "actually, the sender of this email has never been to Nigeria"
The head count literally changed by 1.
It's too old, so all the metal has been eaten by rust
Not related to the substance of the post: They should've really avoided the 4chan like drawings in the post.
(The reference is "Fight Club" for the uninitiated btw.)
> I'm just talking about demographics here. The youth support Palestine and stand against genocide.

Meh.

The youth of every generation (my own included) supports/supported lots of things with little to no understanding of the things they support/supported.[1]

The only real conclusion you can draw from the youth is that they self-organise into activist groups. The actual cause is often not relevant - they just want to be in-group, not out-group, and to be in-group you have to visibly agree with the group's stance.

Displaying a lack of thought and nuance is a condition of group membership. A lack of thought and nuance, non-coincidentally, is also a large characteristic of youth.

> All I'm saying is you would think a company who's branding is so strongly linked to that younger demographic would care more

I'm not familiar with the company in question, and don't know (nor care) what their publicised political leanings are. I was only commenting on your linking of "liberal" with a far-right demographic.

[1] As in this case, where the "progressive" group is championing the rights of the conservative group. In their minds, they have not yet seen the dissonance between what they say they are (liberal, progressive, left) and who they are championing for (conservative, regressive, right).
Short term parking is indeed that expensive, depending on the garage. Obviously cheaper in less desirable areas.
If you’re a top-tier AI researcher like Ilya, for sure. I was thinking about your run-of-the mill FAANGish senior engineer.
Prosopometamorphopsia
And on a semi-related note, Patterson and Hennessy's "Computer Organization and Design (RISC-V Edition)" is an updated classic introduction to computer architecture (and its sequel is legendary.) I also recently discovered Harris and Harris' Digital Design and Computer Architecture (RISC-V Edition), and its follow-on lab courses, RVfpga and RVSoC, which cover implementation on an FPGA board and/or simulator.
Yeah, me too. But please do it with consent.
Agree, as much as we hate AI-generated content, what’s to say that the content isn’t helpful to some in some instances?

Also, as long as search engines do their job, engagement on high quality pieces will always justify having a human write art
As it's come up repeatedly, here's more about ( CO2 ) calibration: https://www.co2meter.com/en-au/blogs/news/7512282-co2-sensor...

.. pretty much all instrumentation requires semi regular calibration, it varies by how often and how serious you are about exact results.

Many CO2 meters are sensitive to dirt | dust | crud build up ( see article ) and should be reset semi regularly as per the manual (or by the linked site guidelines if you've gotten a cheap one with no documentation).
No, that's not what I'm saying. Just because I clarify my position doesn't meant that I'm asking you to believe me or trust it.
Red Lobster closing at least 99 locations as its future comes into question
> This seems like a willful misinterpretation of what you're responding to.

How so?

Self-identifying as 'liberal', 'progressive' or 'left' while simultaneously being against a far-right demographic is logically consistent.

Why would you find it surprising that someone is logically consistent?
Firecracker micro VM uses musl not glibc. Is it true.
Strongtowns does all their calculation on the worth of a city/town etc based on how much tax revenue it produces.

Cities are expensive places to live and mostly produce services with high taxes. The city costs a lot, but also generates a lot. And cities are necessary, because we do need those services. (Programmers, accountants, lawyers, doctors.)

But it completely ignores that a suburb where the locals commute to a warehouse or a factory also provides value. The tax value is lower - so in strongtowns' mind it's worthless.

But I hope it's obvious that without those employees all the cities would have nothing to eat (all those packaged foods are made somewhere after all) and nothing to buy (cities for the most part manufacture nothing).

You need both types of places in the world, and I think people should be allowed to live where they chose without people pressuring them to move to a city.

They make an "exception" for rural areas because farms are an obvious need, but they want the farms to exist without any cities nearby. The farmers are expected to travel to the nearest large city when they need city services (obviously not something they can do very often).

They also have a goal of less interstates - they don't want people driving around a lot. How they expect to ship things I'm not sure (trains maybe?) But also how they expect people to get any enjoyment out of life I'm also not sure. Just stay put in your area and do your job I suppose?

There's so much more to criticize:

He's the usual city growth plan: The edge of a city becomes those "hated" suburbs. As the suburb fills up with people it becomes worth it to subdivide lots and build more houses, over time it becomes dense like a city.

They instead want to skip the suburb step and just directly build very densely on the edge of the city.

Their calculations on roads:

Suburbs need way more roads per person. But suburban roads cost a lot less per mile - like way less. Suburban roads also last much much longer (far less traffic). The net result is that the cost per person is basically a wash. They ignore that though.

They don't like having to run long water pipes to the houses, but the costs of those water pipes is minimal over time, they last 100 years. It's just not an expensive enough problem to worry about.

Police have a larger area to deal with, but there's also less crime to deal with.

Anyway I'll stop here.
Oh. So the glasses correct the astigmatism. Understood.
What makes you think that LLMs will be better at combating spam than they are at creating it? There’s no universal rule that innovations in AI will go hand in hand with innovations in detecting AI, yet I feel like I see people talking all the time like that’s the case.

As of right now, LLMs are prolific but unreliable, which makes them extremely well suited for generating spam, but unsuited to detecting it without a large number of false positives and negatives.
Didn't the model ever fail to generate realistic-looking content?

If I don't know better I'd think you just cherry-picked the prompts with the best-looking results.
He meant something more meta I believe. Knowing you are a monkey is one thing, and knowing that you know you are a monkey is a another thing. It's about being cognisant of the fact that there is something called knowledge and you have it
When you push either model to its limits, yes, Google is pretty far behind GPT-4 with Gemini.
I'm sure I'm not the only one who just really enjoys the taste of alcohol and would love a way to drink more of it without its effects, both the "positive" and the negative side.

It's genuinely one of my big wishes! I'd pay 5x the normal price for a bottle of whisky that neither has the "good" nor "bad" parts, as if it was water but with the same taste.
And you're still welcome to, and that's the thing. The existence of Booking.com doesn't prevent that.
Another company providing API for AI drawing
There also seems to be a somewhat self evident natural+sexual selection here. Imagine you're going after some sort of prey, and fail to catch it immediately. The guys capable of continuing to pursue it, and ultimately succeeding where another might fail, are simply going to have be much more likely to live and procreate. They're also going to be the ones coming back with all sorts of game likely raising prestige, increasing odds of procreating, and so on.
At least not intentionally, though I agree that the domain sounds spammy.
I’ve found this on mastodon by Mathy Vanhoef:
https://infosec.exchange/@vanhoefm/112440635423432857
Learning from the Object Oriented Mania
Yes. And it causes gazillions in legal costs for everyone.
With how frequently micro SD cards fail, I wouldn't trust them with anything beyond short-term transient storage of fine-if-lost data.
the third rule of fight club is that it's okay to explain references to fight club on pseudonymous discussion boards, provided the explanation is furnished in parentheses
It depends of the distribution you're going for.
Using Arch or Gentoo means spending more time doing fine tunings.

Installing something like Fedora is super easy.
The 'problem' was very obviously directed at politically correct English people who have no idea what the word means in other languages.

Also, people don't have a problem with the 'git' brand, somehow?
They’re renting out the tech to 3rd parties
AGI can’t be defined as autocomplete with fact checker and instinct to survive, there’s so so so much more hidden in that “subsystems point”. At least if we go by Bostroms definition…
I'm not moralizing. There are palace coups that are justified.
That mirrors my experience from when I used to live in northern Canada
Jakub Pachocki is still in OpenAI though
I've been using Stirling-PDF as my go-to solution for any pdf needs and have never needed any other service. Open source gold standard for any pdf needs: https://github.com/Stirling-Tools/Stirling-PDF
There is a vast underestimation of how tedious & time-intensive these tax credit programs are when applying for them. A large company can do so because they can hire the people to solely go after them; A new startup (with a headcount that can fit in one hand) is too busy in actually keeping the business alive to pursue these programs, which often times come with conditions too arbitrary for startups to fulfill.
The laws regarding security cameras are also pretty strict. For example you can't have a camera on your house recording the public street in front of it.
The decision to change the name has been taken by the Coq team, but I believe they do not want the new name to be used until it has been acted administratively, legally and technically (e.g. the documentation should mention the new name and be hosted on rocq.inria.fr).
I hesitate to say it because it comes up in approximately every single conversation about package management, but... NixOS does all of those things. Whole list of packages in configuration.nix, whole of /etc encoded into configuration.nix, flakes let you pin everything, (therefore) it's trivial to check the whole OS config (packages, versions, configurations) into version control, home manager lets you do all this per-user (or you can do it in the system-wide configuration.nix if you really want), and you can drop a flake.nix+flake.lock in any project directory and scope things that way.
This is a great find- Ogham’s been in the news a bit this week, mostly thanks to Eurovision (!)
tl;dr it's climate change, due to CO2 and methane. Big Oil is evil, government is evil. People's future looks bad.
Some details: https://www.youtube.com/watch?v=PlaMQBEg-9M
Am I the only one to be extremly triggered by the typing speed?
I get that it's a slow computer, but.. come on man!
I think so too, GTP-4o but replacing Siri would be world-changing for mobile
Standard tunneling of a company. Seems like Elon is learning from Eastern Europe - https://en.wikipedia.org/wiki/Tunneling_(fraud)
Notes on Japan
> and I think it's less anything they're doing and due simply to the fact that Google is a household name while Mozilla is not.

Of course, changing the UI, using Google safebrowsing as default and other anti-user practices have nothing to do with it. /s
Write a language improvement paper and fight for it at WG14 meetings, so that when voting comes to be, it is voted in.
Not the point of that article, but I prefer the full sized SD cards. You could comfortably hold them and there was space to write on a label. MicroSDs are too small and fiddly to handle.
> manufacturing or farming are unimportant to them

Farms aren’t typically in the suburbs. (Manufacturing, yes.)

Rural life has historically been one of deep poverty or aristocracy. Suburban living is different, but we’re seeing costs being redistributed to them. Which is fine. I live in a rural suburb, and it should be expensive. It’s a luxury. I probably quintupled my carbon footprint by choosing it. But that’s the trade off.

> any alternate solution you offer must also solve that

More money. I want an aircraft hangar and a horse, that doesn’t mean society owes me one. If you want isolation and access to civilisation, you pay more money. (Hermitting is the alternative.)
Could you tell us what other settings you need to change please?
I wouldn't say that economics is a /pseudo/science, but it and its conclusions/recommandations are heavily affected by politicized thinking. But even Adam Smith also remarked on this phenomenon, so that's hardly a new development.
What Consistency Means in Data Systems?
I don't tuink it implies that they don't care, it only implies that they find it preferable to one certain alternative (staying AND turning Vancouver into north-SF; the conjunction is load-bearing), and I think this much looks true and well-supported by the facts and revealed preferences. They're not willing to change the rules and procedures that people complain about here, and if you propose they do so, as many have, they say no to that explicitly.

But I agree that we should probably disengage, so (barring exceptional new insights on my end) will leave this as my last post in the thread. Thanks for the chat.
Google's Surgical Strike on Reputation Abuse
What you see there is a product, not the scientific contribution behind it. Consequently, you see marketing material, not a scientific evaluation.
Biology is not a simple linear physical equation. We have buffers. There's a lot of balancing mechanisms inside and altering your food supply can change the state your body operates in. Or if I may try this naive comparison, when I drive my car and use brakes, I slow down up until a point the engine starts to reaccelerate. The ECU adapts to reallocate more energy because going too slow would "kill" the engine. For a computer, fasting would be like reaching memory pressure so high, your OS garbage collects/flush caches and then programs suddenly runs better.

ps: not that I like all of Levin's work, I do admit that his tendency to abstract into grand ideas is not helping, but I think the morphogenesis/gap-junctions part of his work is still very interesting and straightforward.
The problem with connections is that some people have none.

I help immigrants for a living, and the biggest underlying challenge for recent immigrants is the lack of a network. They truly start from scratch, so for a year or two they are often completely alone.

Networking is absurdly effective, since all nodes stake their reputation every time they recommend another node. However it only helps those in the network. This leaves a lot of good candidates out. It can end up creating sort of exclusive club.
Public Stunts Become Increasingly Common as People Try Out "Rejection Therapy"
> If that's all you're using it for, isn't qemu good enough?

You can never quite be sure qemu correctly represents real hardware. There have been a number of cases where qemu was more permissive and programs developed on it didn't work on real hardware. The emphasis is on running valid code, not catching invalid code.

Qemu-user on recent PCs is a bit faster than this board for long-running scalar programs with a small amount of code e.g. my primes benchmark:

5.052 sec i9-13900HX, qemu-riscv64 @ 5.1 GHz
10.430 sec Sipeed LM4A TH1520 4x C910 @1.848 GHz

https://hoult.org/primes.txt

However, this changes if you run a lot of short programs in quick succession (as e.g. autoconf does) as you get dominated by JIT time. Or if you run full-system emulation using qemu-system, which gets hit by MMU emulation on every load/store.

Also, this CPU core implements draft 0.7.1 of the RISC-V Vector spec with 256 bit ALU. Qemu emulates such SIMD code element by element, which is far slower than real hardware. NB there are significant differences between draft 0.7.1 and the final Vector 1.0, but the style is the same, most code doesn't hit the differences, and some code (e.g. memcpy/move/cmp, strcpy/cmp/len) is even binary compatible. Moreover, if you write code using the C intrinsics for the vector instructions then the newly-released GCC 14 can generate code for either 0.7.1 (as "XTHeadVector") or 1.0 from exactly the same source code with just a compiler flags change.

> Osborne effect

I was at university at the time. Osborne computers cost as much as a new car. RISC-V SBCs in this class cost as much as a dinner date.

That makes a HUGE difference to people's willingness to buy something to throw away after a year.

All the more so as the engineer using it is probably on a salary sufficient to earn enough to pay for one before morning tea.
most frequently-encountered RANDOM number people pick
> niche theorem prover

As opposed to popular theorem provers.
It's not so easy to go out in nature and breath when every piece of land is changed to a gigantic concrete and steel wasteland just so people can use 2-3 ton 2x5 metres boxes to get somewhere while somewhere worth getting to gets farer and farer away from where they live.
I'd guess not as nobody wants to be the judge (or jury member) they find themselves also criminally liable for murdering.
> actually, the sender of this email has never been to Nigeria

Conversely, what if all those emails actually originate from Nigeria? Would it make them more legit?
The guy with the "Bad universal priors and notions of optimality", which did to Hutter's MIRI program what Gödel did to Hilbert's program.
Con artist is a bad description. The guy is legit dangerous. He's not after swindling you out of your money, that wouldn't be worth it.
Reading that article I'd say that ethics are easily displaced by money. No surprise there though, sadly.
Nope, I disagree. It should be the first thing you watch before you move onto more technical videos. The videos are pleasant to watch and are made by a Canadian who moved to the Netherlands. They've got excellent A and B roll footage that truly shows you the contrast between American/Canadian and European cities.

And it should be emotional because a commute isn't just about efficiency. One spends a sizeable portion of their life commuting. The human aspect of it can't be ignored. The depressing feeling you get while standing in the middle of a Walmart parking lot is real. At least it was for me.
Google has been doing a pretty good job at breaking the web on their own via "features" in Chrome, let's not give them any other ideas.
And the usual answer is eliminating free on-street parking. Developers will build whatever parking is cost-effective to build. Residents will need a permit for on-street parking, while visitors pay hourly rates. The prices vary by area, and they are set to a level that ensures a high occupancy rate, while people with a permit can still find a space near their homes.

What usually happens is that parking will be cheap enough to make dedicated parking structures commercially unviable. But even that cheap enough price will be too expensive for some people that they decide to get rid of their cars instead.
It is so weird when people describe the removal of regulation as a government conspiracy to control.

Single family homes and parking are not being banned. You can still build them in all of these zones. The difference is now you have a choice between building that or denser housing, you can choose the amount of parking to build.

If anything the single use suburbia is even more controlling, meant to keep captive suburban consumers at the teat of the chains in shopping malls, and the auto and oil corporations.
Classification is easier than generation
This article is about freeing you from having to build parking spaces even if you don't want to. This article is about restoring property rights and property freedom.

Yet you managed to take away the opposite, that the government forcing you to build parking spaces on your property is "freeing" somehow.
Just from the name my mind raced to LLMs trained on the Pali canon
In your scenario there were still individuals accountable for the decisions and their outcomes.

How are you supposed to say why a machine learning model produces different outputs from the same input? It's just a black box.
There are no moats in deep learning, everything changes so fast.

They have the next iteration of GPT Sutskever helped to finalize. OpenAI lost it's future unless they find new same caliber people.
Qingping sends me notification once set threshold is reached
Yeah it’s funny that optimism in the long term is optimal and pessimism in the short term is optimal.
> Suburbs are not providing value to their nearby cities, they are not factories nor agricultural lands

That is simply not true. Suburbs is where all the manufacturing and warehousing is.
May I humbly suggest that we start taxing the land value?
Oh, even simpler: cheap sous-vide circulator and rubbermaid "tank" for the outer water bath, tall glass pitcher for the actual coffee, cotton "tea sock" to hold (and filter) the ground coffee in the pitcher. Most of the complication is that it needs to weigh enough (or be braced) so that all of the coffee is submerged, without the pitcher starting to float... and if the pitcher has a neck make sure that the coffee absorbing water and swelling doesn't get stuck inside the pitcher...
What are you trying to do with VOC monitoring? One of my devices have it but I don’t pay attention.
The China-linked EV battery mega factory dividing a US township
This is just doomerism. Even though this model is slightly better than the previous, using an LLM for high risk tasks like healthcare and picking targets in military operations still feels very far away. I work in healthcare tech in a European country and yes we use AI for image recognition on x-rays, retinas etc but these are fundamentally completely different models than a LLM.

Using LLMs for picking military targets is just absurd. In the future, someone might use some other variation of AI for this but LLMs are not very effective on this.
I had the same assumption!
> is much more expensive per user in the country and is thus cross subsidised by urban tax payers.

This is not actually true. The cost is a wash because the roads last longer.

And the urban tax payer plans to eat what exactly, and buy what goods, without the suburbs? Just because the tax value of what suburbs make is lower that doesn't make it less needed.
From that AGI definition, AGI is probably quite possible and reachable - but also something pointless which there are no good reasons to "use", and many good reasons not to.
This is great. I'm in DevOps and when hiring, the tech interview is a round we've been off and on over time. Doing code reviews instead makes a lot more sense.