skysight-inc/HackerNews huggingface dataset:
I wonder if all these outbursts continue to hurt his case, since it’s making it exceptionally clear that it was all a deliberate attempt.

That or he’s trying the reliable old, cancelled-by-the-courts censorship grifting treadmill, to try and use it to spin into into politics (for which I suspect the boat has sailed already).
Would be interesting to use in electronic warfare scenarios.
I entirely agree with you. Trying to roll out just a raw LLM was always silly, and remains basically a false promise. Simply increasing the number of layers or parameters or transformer complexity will never resolve these core gaps.

But it's rapidly making progress. CoT models coupled with actual domain-specific logic engines (math, chemistry, physics, chess, and so on) will be when the promise is actually met by the reality.
It also raises the barrier to entry for newcomers, ensuring established large players continue to consolidate power, since they have the means to deflect and defend themselves from these regulations (unless there are specific carve-outs in place, of course).
No, anyone can technically vouch dead posts with 31 karma or higher. Vouching is the inverse of a flag.

https://github.com/minimaxir/hacker-news-undocumented/blob/m...
I was going to say, I would really need to see an examination that a Lexus was more cost effective option over a car lifetime vs a Toyota.
> Think about it, almost everyone I know rarely clicks on ads or buys from ads anymore.

I remember saying this to a google VP fifteen years ago. Somehow people are still clicking on ads today.
It's not like there are laws that are more lenient with non-profits or with tiny companies right?
Send me an email (in my profile) and I'll drop you my address to plug into their availability page. Their claims may be low-balling it, but they state upload tops out at 100Mbps in my area
I fear this may be the best auto correct will ever be.
Does anyone know if Clickspring ever finished making a copy of the mechanism? Seems like the last update was from ~2 years ago.

https://www.youtube.com/watch?v=ML4tw_UzqZE

https://www.youtube.com/@Clickspring/videos
Everything can fit in group 3, but manufacturers want to steal your data so they try to pretend otherwise.
No. Although I may not have the exact reason the domain was banned, I've been around long enough to observe that everytime a 404media.co article is posted and gets traction, the comments unanimously complain about the paywall and it gets flagkilled.

Vouching is intended as a corrective check on things that shouldn't be automatically killed.
Why doesn’t WP Engine just fork the project?

Is an account on Wordpress.org the only way for someone to use WP?
I think a better comparison would be the US department of defense starshield constellation, for which SpaceX was awarded approximately 1.8 billion to build.

I could not find much detail on the number and capabilities of the satellites, but they do launch alongside starlink.

However, it looks like the big money is in additional communication contract services, with up to 13 billion for the next 10 years [1]

https://www.satellitetoday.com/government-military/2024/11/2...
I finished university 4 years ago but just now I am going down the rabbit hole of bond graph modeling and studying directly from the MIT class notes of Henry M. Paynter [1] while simultaneously using Simscape at work for modeling vehicle systems. I understand that bond graphs are the underlying mechanism upon which Modelica and Simscape are built upon(?).

Can any expert in this field give me some pointers. My current belief is that understanding the theory of bond graphs will give me intuitive understanding of just about every system I work with in my field.

I find that this field is surprisingly niche, as most of my peers have never paid special attention to it, but when I found about it, it seemed to me like a magic bullet for all my problems.

[1] https://dirac.ruc.dk/~heine/paynter/analysis_and_design_of_e...
Clever Technology Turns Lampposts into EV Charging Stations
> Data on CDs/DVDs should remain recoverable for millenia (properly stored, even readable).

If by "properly stored" you mean in a cold, dark vacuum, then maybe. Otherwise this is not true in my experience. I've had CD's in temperature controlled storage for 25 years and about 1 on 10 are unreadable. It's my understanding that they oxidize. In theory gold CD'S are immune to that.
Why is everyone offended by every little thing now? The Internet can't take a joke anymore? Please...
> the greedy bastards who owned everything would be the only ones actually benefiting from automation, […] which again: is exactly what happened.

What also happened is that everyone can buy clothes incredibly cheaply. Which seems like a widespread benefit.
>> I don't feel like you're reading what I'm writing.

I can assure you that I am.

>> I do not use LLMs to augment my verification work, because our team do not verify things to gain belief of sufficient correctness.

I don't understand where the "verification" part came into the discussion. Who said anything about using LLMs "to augment my verification work"?

Are you perhaps confusing "program verification" with "program synthesis"? [edit: yes, reading your comment above https://news.ycombinator.com/item?id=42426184 it seems you are. Read on please, those are not the same thing]

Program verification means you already have a program, and some specification it must satisfy, and you chack whether the program satisfies the specification. "Program synthesis" means you don't have a program, only a specification, and you generate a program that satisfies the specification. These are two different tasks, although related, and most program synthesisers will verify the correctness of candidate programs. But they're two different tasks- and btw neither can be done by LLMs. The article above is discussing the computational hardness of generating correct program code with LLMs, i.e of program synthesis, not of verification.

So could you explain what you mean, please? You referred to verification, formal methods, etc before. What do you mean?

Also, could you avoid expressions like "weasel words" and so on? That's just adding noise. I can tell you're feeling hard done by, although I have no idea why and by whom, and I'm sure I have no relation to them so please tone it down and let's have an adult conversation.
My totally uniformed guess is guerilla marketing for "Like Stranger Things, but the 90s instead of the 80s"
For what it's worth, I enjoyed your tale, and I like Clojure
Best can opener is the classic Danish style. No moving parts at all, basically indestructible.

https://img1.etsystatic.com/169/1/10660606/il_570xN.12216186...
There is an app that is basically a wrapper arround the mobile version of HA. But it works quite well. The dashboards of HA are responsive and there is no need for a native version.
The Satanic Panic was hilarious and disturbing, ultimately highly educational.

Hilarious that people could troll and mislead themselves so fully. If you can laugh at people ignoring reality to follow religion and truly bizarre characters.
Disturbing in that religion and religious insanity was driven to harm the lives of caregivers.
Educational that this what people are made of and how they live and move in the world. Anyone looking to influence society or buffer society against influences saw lessons in manipulation of people and institutions.
Prusaslicer opens it, and it is the right size and shape to be the core, but there's no internal geometry in that STL, at least not how Prusaslicer renders it.

I'd be interested in seeing a diagram of how the air flows through it, if such a thing is available.

Edited to add: There are instructions in the WM12 manual to use your infill settings to make the old version of the core. Page 15 of the manual states there is a python script in the source files to generate the new core, but it only works for their particular printer. I wasn't able to find the script.
The Price of American Retreat
I mean yeah there are failure modes, the WP foundation devolved into a BFDL when other foundation members ghosted and so stopped being a minority of bad actors. Thems the brakes with low participation.
FWIW it feels like Google should dominate text/image -> video since they have access to Youtube unfettered. Excited to see what the reception is here.
The EU's digital markets act is one that got that right and I love it. But it's the exception to the rule. The vast majority of such laws are for the benefit of the corporations themselves, despite any ostensible purposes. And this is definitely in that latter category.
You're starting to realize why eng is a cost center.

The goal of the business it to make money, not make a great product.

They will make the product better if and only if it will lead to greater profits.

If you can make more money hiring more sales and marketing people to sell a broken product than hiring more engineers to fix the product, you're going to hire more sales and marketing people.
Not that difficult, DIY dumbphones are mostly case, buttons, display, etc.

https://web.archive.org/web/20190827183214/http://alumni.med...
Mastergroove repair by Mend it Mark and an honest message to Tom Evans audio
It’s bad because they are using very small local models on device, like on the order of 3 billion parameters as opposed to the trillion+ param models available in the cloud. They could keep the security model and have larger, slower models for summaries (what’s the urgency of a summary?) but that would be a battery killer. It’s clear they need to train on messaging content, but they have promised not to use their users content.

It seems to me they should let the local models train on local content while charging and do reinforcement learning on their summaries as judged by a larger (private cloud) LLM.
I suspect it’s more some threshold of vouching required, because I know for a fact some of the other dead submissions got vouched.

Still, this apparently completely undocumented standard behaviour seems a little bit troubling? It’s not like 404media is a spam content mill (and I doubt it is the ability to bypass the paywall - those methods don’t work on 404?)
I guess if they can't figure that out then they probably wouldn't have a very good time with the rest of the game.
> When I initially saw it I assumed my friend was trolling me but yeah it’s there and has a value attribute filled out, which leaves me suspicious that he’s gonna use it as a proxy for the previous field,” she told me.

Great time to be learning other CMSes. I tried Payload 3 this week. It was refreshingly easy to configure! Needs a little more polish (the textarea expansion logic seems broken in Safari) but I know a good team is behind it and they'll figure it out.
I prefer barbequeued pineapple on a pizza, with mint and salt.
I do challenge you to show me the law stating that the military cannot engage unidentified and non-responsive potentially hostile vessels breaching controlled airspace, let alone with full authority from the CIC. That's just about the dumbest talking point ever.

Though even if such law exists, which it doesn't, then like any law in modern times, or even increasingly the Constitution, if the political establishment deemed it inconvenient then they would simply ignore it, and make up some lies.

And on that note, they are now acknowledging that they are indeed drones. The 'its just airplanes' lie lasted about 5 minutes. These people seriously hold the public in contempt.
The thing with disruptive tech these days is that they are more or less inevitable once component manufacturing has enabled it to be built in bulk. This is because no one is rolling their own factory and creating end product from raw material input anymore. They want a $new thing it better be something they can assemble from mass market components today they can order to create inventory of end product for customers.

Even going back to the ipod. Was it really disruptive, or was it inevitable we’d get mp3 players when the cost of their components hit a certain price? I think the latter although the legend is of course the former. I’m not sure when the last time we had something truly disruptive and unpredictable emerge.
There is no icon or anything to indicate it’s “AI”? What a miss.
I forgot the i for irony...
I feel exactly the opposite. It's somewhat ironic as well, because socially I have and have had a reputation as someone who is both 'gadget obsessed' and 'bougie', but I don't think you can really be both. I have much much less 'stuff' than almost anyone I know, but almost everything I own I spent at least a few months researching before buying it and I plan to keep it as long as possible (and repair it if possible when it breaks). As a tech guy, the most obvious place this exists is in my desk setup, which currently (laptop and USB chargers not included) has an average age of around 5 years for everything on it. The oldest item I acquired 12 years ago and have no intention to ever replace if possible. The newest item was acquired as part of a move 2 years ago and pulls the average down.

It's a constant struggle though, because even when I find something of high quality (recently pants and shirts), this doesn't prevent the company from discontinuing the product or changing it. I've had to since switch pants and shirts, and rotate my wardrobe because of button and zipper failures on a brand I previously relied on heavily and recommended to others. They likely made this choice as a company to cut materials costs to not move their price point, but I would have happily absorbed a 20-30% price increase to maintain quality and not need to spend another 3 months figuring out which pants to start buying. Instead, they've lost a customer entirely that previously directed them additional customers. I wish consistency of quality was more of a thing, so even when you find something you always have to keep an eye on it.
Interesting blog post. I think the majority of what you see is that due to how rapidly technology and other fields have bloomed via human involment, and due to how we have become an interconnected society due to the industrial revolution.

I think that the major way humans cope/tackle this is via specialisation. While not for everyone, most people seem to find a job in a field, and the work in that field helps us support a more complicated society than we can fathom. Most people can't memorize all the stuff from multiple domains, or they would burn out. Most people don't understand how truly complex a semiconductor is, or how electricity and power is generated, or how to design a car. These are just basic examples but I'd argue a really good example of how humans have chosen a specific domain or thing and over time developed better understandings of the field and topic. The average person could do any job I'd argue.

We are not as physical as we used to be, we have "engineered" ourselves replacements. The tractor, the car; both replaced horses but at the cost of needing someone who understood the principal of the new technology.

Be it robot workers replacing amazon warehouse employees, or the tractor that improved the farmers ability to harvest or plant crops; both required smart people to not only develop them but to maintain them.

I'd argue while we really are less physically active, due to technology and general advancements we have made over the years; this comes at the cost of mental strain. We mentally must process and think more than ever before, pushing our brains to keep up so we can stay relevant.
There are also issues that are traditionally considered "out of scope" for the government such as exploitative dating apps. Also social phenomena as talked about

https://books.google.com/books/about/Why_Love_Hurts.html

https://en.wikipedia.org/wiki/Incel

and such
》 “WordPress is the most used CMS on the web, and we have a responsibility to act like professionals

No I read the article. That is why wrote here. My company is also very professional corporation, yet they do "dog jokes".
I've been thinking about the opposite on my gentoo desktop, eliminating the initramfs. My understanding is if you compile the essential drivers you need for boot in the kernel (not as modules), then you don't need the initramfs step. Should result in faster boot.
There's a significant upstreaming effort and their engineers have presented at a Linux con. While not an official product, this time it might actually be different.

https://www.qualcomm.com/developer/blog/2024/05/upstreaming-...
This is not about replacing Emacs Lisp with Guile. It is more about replacing the interpreter and the parts written in C with Guile. Emacs Lisp will still be the language for scripting and the code for the plugins shouldn't change much.
I use a fork [1] of Valetudo and it lets me do just this. I save one map per floor, then restore when carrying it between floors. One floor gets cleaned much more often, but so far I have preferred this over buying two robots.

[1] https://github.com/rand256/valetudo
https://login.wordpress.org/ See for yourself, I thought this was a joke at first.
I think the question was due to the claim that the domain is shadowbanned, not the vouching.
SmolBSD: Make your own BSD MicroVM and start a service in (way) under a second
Got it. Miss your Techcrunch trolls btw
I like: Pineapple (fruity, sweet and sour), green olives (veggie, salty) and spicy Italian sausage (savoury, spicy). It comes with the added bonus of nobody stealing a slice either!
New Administration to block the government and military from buying EVs
How your stolen phone ends up in China
That's a really interesting project!

In the docs you say
> Currently, there is support for GSL, forward Euler, and exact integration

Does 'GSL' refer to GNU Scientific Library, which you use as a backend?
I think the OP is about a runtime that runs hundreds of programs concurrently. When one program is waiting for a transaction other programs can execute.
I think it's more the context from who did this. Jokes from disliked people always cause a fuss.
So it’s not shadowbanned in the sense that the server sees the domain and automatically flags the post, but users manually flag it?
you got some examples?
In my opinion - I think pineapple compliments every individual component of pizza. The acidity of the fruit cuts through the grease in the cheese and compliments the savory flavor like a wine platter. It goes excellent with a good sauce, and can elevate a can of store-bought marinara with a sort of tropical pico-de-gallo elegance. The bread tastes relatively inert and doesn't interfere with the whole thing.

If I just want a savory pizza, I'll probably lean more towards a pepperoni slice. But a Hawaiian option from a place that serves actually good pizza will tempt me on a regular basis. The ham is where they get you, it's typically a bigger issue than the pineapple at most places.
https://datagrid.com
Equivalence of the Frame and Halting Problems (2020) [pdf]
I wanted a checkbox for Anchoives and Olives. How do I justify that as the superior topping?
Tomato sauce is sour as is mozzarella cheese. The crust should also provide bitter notes, particularly if it has a decent char. There are loads of other topping that provide these notes but stronger, with a more congruous flavor profile to pizza; olives, balsamic vinegar, pickled artichokes and peppers, etc.
Oh wow, I definitely misunderstood, all the “Copilot” usage by MS/Github got me mixed up
People weren't choosing CentOS on technical merit. CentOS had glossier marketing than RHEL did.
That's so funny...

Mathematicians for 150 years: Ada Lovelace is kind of on top of it.

Random from 2024: probably just a diversity footnote.
Yes, well, but here at HN, hopefully we’ve got the 0.1% in attendance!
Load balancing is a term of art; the actual algorithm for distributing requests need not be load-based. A more accurate term for the component might be "request distributor," but I don't foresee people changing their vocabulary any time soon.
> That poor attorney.

He won't be a poor attorney after milking Matt Mullenweg. The financial rewards of having to defend one of the most vindictive clients ever[1] are probably not small, especially when your client is so mentally stuck that they will see their delusional case to the last appeal.

[1] https://wordpressenginetracker.com
Now it's shadowbanned, but that wasn't the case when 404media.co first launched.

https://news.ycombinator.com/from?site=404media.co&next=3932...
But finally there is dark-mode! I'll take any number of blue round buttons if I don't have to stare at a white background anymore.
In my experience, substitute teachers were generally not skilled in a particular subject. There were there to be an adult in the room. They typically had a lesson plan left by the regular teacher, which almost always involved just reading or working problems on your own and did not depend on the sub being able to actually teach the subject.

If you can't find enough substitutes, pay them more instead of spending money on apps to rearrange schedules.
One thing that fascinates me about Rust is how, in many ways, the language has become easier over time, because a significant share of the "new" features is shaped like "made an existing construct work across more contexts and smoothed out an irregularity in the language".
I installed a central ERV in my home, a Zehnder ComfoAir Q. Installing it was quite involved, but not hard. Definitely within reach of anyone with basic DIY skills.

The hardest part is finding a good spot for the ventilation unit, which is about the size of a large, old CRT TV. You have to run ducting from there to multiple rooms, but their ducting system is easy to install.

Mine draws about 20W/hour at its typical setting, and it greatly improves comfort. Keeps some of the humidity out when it's humid out, keeps some moisture in when it's dry out. Fresh air year round. Keeps mosquitos out. Keeps some dust/particulates out.

Worth the effort, even in my small house.

A decentralized unit would be a lot easier to install, but I imagine it's less efficient, less suitable for larger dwellings, and probably louder. YMMV.
The biggest roadblocks are 1) lack of continued effort and 2) reticence on the Emacs side. I'd say 1) is the most important by far.
This is exactly what i have been looking for as setup. Short / shallow things at price X, longer / deeper things at X * 0.8 , and even longer and deeper things at X * 0.6.. (example coefficients). Whether as CTO on the technology/ strategy/ ideating front, or somewhat deeper as Auditing , or as Mentor of some team/s, or even deeper as Lets-Hack-this-or-that.. (with diff.price if it's for yesterday..)

Thanks for assuring me that such thing is possible :) - i mean, there are those who would pay for it.

have fun
If you are careful to represent them on the right set of variables, and apply them on the right points (what the example on the article obviously doesn't do), they pretty much behave exactly like fractions.

There are many areas of mathematics that spun from this.