skysight-inc/HackerNews huggingface dataset:
And then there are CPUs that retcon behavioral changes onto nops.

> Moving a register to itself is functionally a nop, but the processor overloads it to signal information about priority.

https://devblogs.microsoft.com/oldnewthing/20180809-00/?p=99...
1699999900

Is live blogging still a thing?
It's a bit of a hit and miss as of today. CLI, back-end and natively compiled libraries (think dll/so/dylib or even .lib/.a - you can statically link NAOT binaries into other "unmanaged" code) work best, GUI - requires more work.

Avalonia[0] and MAUI[1] have known working templates with it, but YMMV.

[0] https://github.com/lixinyang123/AvaloniaAOT / https://github.com/AvaloniaUI/Avalonia/

[1] https://github.com/dotnet/maui (try out with just <PublishAot>true</PublishAot> in csproj - it is known to work e.g. on iOS)
>This feels like this might actually be a use-case for a blockchain or a Merkle Tree.

A few years ago, a similar idea for firmware binary security[0] had been explored by Google as a possible application of their Trillian[1] distributed ledger, which is based on Merkle Trees.

I don't know if they've advanced adoption of Trillian for firmware, however, the website lists Go packaging[2], Certificate Transparency[3], and SigStore[4] as current applications.

[0] https://github.com/google/trillian-examples/tree/master/bina...

[1] https://transparency.dev/

[2] https://go.googlesource.com/proposal/+/master/design/25530-s...

[3] https://certificate.transparency.dev/

[4] https://www.sigstore.dev/
I'm really excited to see progress being made in this area! I haven't read the paper but looked into this area about 10 years ago, and the two questions that jump to top of mind are:

1) What thermal transfer mechanism being controlled?

2) What is the dynamic range in terms of conductance? (Looks like 13x)

There are a number of different mechanisms for energy transfer at this level, and it seemed like the most straightforward way to build a thermal transistor was to get a material that was an insulator for all but 1 transfer mechanism (usually phonons) and then use an electric field to try to permit/block that. The solutions that did exist back then seemed to be very leaky, with thermal transfer while "on" was only about 3x that of when it was off, and this was for microscopic structures where it wasn't obvious how they would physically scale to useful sizes.

I would _love_ a practical thermal transistor technology for an energy management system in a passive house. Allowing your house to "breathe" at night during the summer without things like loud attic fans would be fantastic.
The problem with "improve your diet"-type advice is that dietary requirements vary wildly from person to person. What's good for you is often not good for someone else—even among two people with the same conditions!

Like, some basic dietary guidelines (e.g., eat less Burger King) are more or less universally helpful, but the specifics are far from it. I know people with autoimmune conditions who swear by gluten-free diets; I also know that when my Crohn's is mad at me one of the only things I can stomach is Wheat Thins.

I also think casting diets as preventative is only useful in the context of certain conditions. Eating well will shield you against type II diabetes, for example, but not multiple sclerosis. Sometimes you really do just need Actual Fucking Medicine. Luckily there are fewer and fewer conditions that truly lack available treatments.
>Because China is famous for its pump and dump reputation.

So was Japan post-WW2, then their auto industry caught up and overtook most of the western brands.

Korea did the same later. They had pretty junky cars by western standards but in the late 90's they opened R&D centers in US, UK and Germany and poached top people form top brands like BMW, and look at where they are today.

China can speed-run this recipe now, in fact they're doing it right now. Several Chinese brands have R&D offices in Germany and UK for the same reason and will most likely expand with local manufacturing here as well to bypass import tariffs, maybe in Eastern Europe. It's gonna be a bloodbath for the European brands.
Spoken like someone who has never done reverse engineering of binaries.

Here are some examples of people using Ghidra.
https://github.com/evyatar9/GptHidra
https://github.com/likvidera/GhidraChatGPT
https://github.com/tenable/ghidra_tools/tree/main/g3po

I suspect there are better ones being worked on though.
Is the reversal curse in LLMs real?
Who could have possibly seen this one coming....
TypeScript type-checking is quite complicated. I'm sure no human being on earth could pass a test of "does this compile"

But that's an exception, and deliberately decided to be complex.
Will this be applied retroactively to most Hollywood output since Jurassic Park?
The problem about the whole "it's faster (productivity wise) than static typing" has, as far as I know, never actually been proven (certainly not through repeated studies).

Having worked with both dynamically and statically typed languages extensively, I never felt I was _more_ productive in a dynamically (or gradually) typed language compared to one that was just statically typed. For very basic programs you may spend a bit more time typing in a statically typed language due to having to add type annotations, but typing isn't what I spend most of my time on, so it's not a big deal.

In addition, that work you need to (potentially) pay upfront will help you a lot in the long term, so I suspect that for anything but the most basic programs static typing leads to better productivity over time.
As annoying as this, I find this laughable, too. Rivian updated users on the situation. Then, whines Electrek:

> That’s the last update we had over 10 hours after Rivian customer vehicles were fed the bad software update.

"Over 10 hours"!

I suppose it isn't Tesla, who yeets updates over the fence, that break new things, yeets another update that fixes that problem but introduces another one, then reverts back to two versions prior, before the issue. The Tesla that gets firmware fixes from vendors that have a test harness that should take 36+ hours to run, but says YOLO and flashes it onto a random car they have lying around and emails the vender back 3 hours later saying "LGTM, WFM, thanks!"
I'm almost an old-timer now, and will be by then. I remember when I first started as a SE and we had some old COBOL guys come out of retirement for Y2K patching. They were laughing all the way to the bank to fix problems they'd made 20 years earlier. If and when we do get to 'prompt programming' there will be lucrative work for people that can untangle what goes wrong under the hood, because the prompt writers sure the fuck won't know.
> DRM for text and images

Please, no. We need less IP, not more.
Any? I regularly find bugs. I don’t find every bug, but finding some bugs is better than none. Especially for the minimal cost of writing annotations.
I think I’m happy with the current system, I’m anti-censorship and IMHO any content that doesn’t harm someone directly should never be deleted.

I am on the side of personal responsibility, that is, any content should be associated with its creator, and it should follow them. If someone posts completely ridiculous video, that video should affect their personal lives. If they change mind and apologize, that should be accepted too. That’s basically how real life relations work.

I just find the labeling as AI pointless.
This is funny. Did you assume I was rooting for Trump because of my comments about the Bidens? Sorry, I don't have a dog in this race. In my book if something looks like corruption it is likely corruption, regardless of which side of the uniparty one's dad is on.
I too enjoy reading Tao, but this approach to inequalities did not work for me at all. I am a retired PhD mathematician and I've taught the full gamut of undergraduate math in college. BUT all my life I have struggled with the simplest currency conversion arithmetic when I travel overseas. When I saw Tao's first example I said to myself, if this was how I was introduced to inequalities back in school (long ago) I'd likely have been a history major.
Interactive Visualization of the Raft Algorithm
Even the manned checkouts require you to interact with a payment terminal a lot of the time, often with multiple questions to answer.
It's now!
I'm curious why this is compelling for you. It seems bedrock already had lots of models, and there are lots of other ways to run Llama.
> As a distro contributor, I don't share these views at all.

That's because you're in the very small group of people that knows how your distro's packaging process works in detail. The majority of developers don't use Linux at all, and those that do typically know just enough to install a few blessed packages, not enough to hunt down and install the correct shim in a temporary directly.

Multiply that lack of training by the dozens of Linux distros being used by users of a language, and it's no wonder most modern languages have a standard language-specific package manager. The alternative is for them to be constantly fielding impossible-to-answer questions from developers who (unlike you) don't understand their distro well enough to make compilation work.

It's far easier for the language to have a single cross-platform package management system where the answer is usually as simple as "X, or Y if you're on Windows".
Looking again, current regulation is even worse than first appears:

> This tax does not apply to minivans, sport utility vehicles, and pick-up trucks. Congress did not impose a gas guzzler tax on these vehicle types because in 1978, at the time the law was enacted, they represented a relatively small fraction of the overall fleet of passenger vehicles and were used more for business purposes than personal transportation.

And the proffered list of current vehicles is a 404!

www.epa.gov/fueleconomy/guzzler
WSU funded to build smarter Apple harvesting
I know nothing about how one would make a type checker, but it sort of feels like your comment is "As long as you don't encounter any issues, there won't be any issues", no?
The risk of being in an accident driving is not linear with miles driven.
On this topic, where do people go for short stories online?

I find myself with 20 mins here, 40 mins there, and half the time gets spent trying to find a decent short story.
Not easy to identify the very most changing, but some things along the way can be pointed to.

"Be excellent to each other!" could be really good for everybody.

"Pray toward heaven but row toward shore." is more applicable to the sailor out of fuel, or even worse in his lifeboat after being shipwrecked.
I always avoid those kiosks. I prefer a cashier to a screen to the point that I simple do not shop at places which do not give me the choice to checkout with a human.
I’m sure it’d beat a 386 running it in v86 mode emulating a CGA display on an VGA window. Something an Amiga cannot do.

Rest assured it’s significantly faster full screen under OS/2. And faster again on native MS-DOS.
Teslas occasionally need to reboot / hard reset their software too, when driving no less, and during that period all that information, and most of the controls, are unavailable (like windshield wipers, etc.)
Happy 1700M Epoch Second
The issue generally is that self-destructive behavior now costs you (both in terms of $$ from your taxes, but also in terms of societal safety and disruption)
I polled my kids. All of them down to the youngest (19) enjoyed Holy Grail a lot. My 24-year-old says his friends reference it in conversation regularly. We’re not totally out of touch yet!!
It isn't just selection for being red, but other market characteristics that are at the expense of taste. Suitably thick skin, shelf life, uniform size, bruise resistance, and for production disease resistance and yield per unit area in production setting.

Then, they get picked green for an even longer shelf life, and gassed with ethylene to turn red before sale. That definitely is not good for flavour.

But if you are in a temperate climate, people expect a consistent product through the year so that is what a supply chain that can deliver red oblong fruit steadily through the winter at a cheap price yields. Supermarkets probably also prefer dealing with suppliers that can provide a steady stream rather than periodic gluts at harvest time, so picking green and storing fruit probably allows them to be trickled onto market.

A vine ripened tomato is soft and either needs to get to market and sold much quicker or there will be considerably more wastage.

Heirlooms in stores are always a smaller section than the 2-3 varieties of uniform red ones (now there is the 'on the vine' gimmick where they sell clusters, which were still picked green), and generally 3-4x the price. They still probably get picked early and may be refrigerated in the supply chain so you aren't getting the same thing as you would growing it yourself.

I would disagree that the demand for good tasting tomatoes is they would outcompete the crap red ones. Here, in season local 'field tomatoes' (which are picked a little early but not green so show up in the store reddish, slightly less uniform in shape) and in terms of everything but colour and presentation are superior, but are the same or cheaper in price, it's not like the bullshit tomatoes disappear in season.
much like combating counterfeit legal tender, there are many anti-theft safeguards put into place by the printers of MTG cards. They aren't perfect but there are signs of forgery/fake prints: https://infinite.tcgplayer.com/article/How-to-Spot-Counterfe...

more info: https://magic.wizards.com/en/news/feature/buyer-beware-2004-...

it can be done successfully, but there are many ways to fuck it up, as well.

Also, if you make a card as highly scrutinized as the Black Lotus, you're going to have a harder time because of said scrutiny.
By their definition my phone camera also qualifies as mirrorless.
Problems of Rust:
In Rust, there is a central package registry (crates.io), but there is a lack of ability to add dependencies using git URLs.

Problems of Swift:
Swift can add dependencies using git URLs, but there is no central package registry.

Both languages should have a central package registry and the ability to add dependencies using git URLs, as it would make flexible dependency management much easier. For a central package registry, it makes it easier to find popular packages, but it has a problem of centralization.
I have been talking recently to someone whose job involves sometimes driving to other continents, and they mentioned that cars more recent than ~2003 were out of the question because outside of the EU you cannot expect random mechanics to have the computers required to interface with the car's computers - required for repairs.
> How do we define "working" here?

You could read the article.

"People sprawled on sidewalks and using fentanyl with no fear of consequence have become a common sight in cities such as Eugene and Portland. Business owners and local leaders are upset, but so are liberal voters who hoped decriminalization would lead to more people getting help. In reality, few drug users are taking advantage of new state-funded rehabilitation programs."
In general adding a build system to Guix works like this:

1. Git clone https://git.savannah.gnu.org/git/guix.git

2. Nicolò Balzarotti already has a work in progress patchset adding Dart itself--see https://issues.guix.gnu.org/44926 . Patch your guix checkout with the files you can download on that page via the downarrow buttons on the right.

3. Create a file guix/build-system/dart.scm (I'd copy it from guix/build-system/dub.scm and then s/dub/dart/g and s/ldc/dartcc/g) or whatever it is. This file is the "front end" and is support for dart for the guix package manager script.

4. Create a file guix/build/dart-build-system.scm (I'd copy it from guix/build/dub-build-system.scm and then s/dub/dart/g). This file is the "back end" and is responsible for the build of your package inside a new container.

5. Add references to your new files to gnu/local.mk

6. In your user package script (whatever you want to compile in dart), add #:use-module (guix build-system dart) near the top and then add (build-system dart-build-system) to your package.

7. guix environment --pure guix

8. ./bootstrap

9. ./configure --localstatedir=/var

10. make -j5

11. exit

12. ./pre-inst-env guix build -f yourpackage.scm or whatever

13. Fiddle with the "invoke" parts in guix/build/dart-build-system.scm until your user package works.

14. Submit your results to 44926@debbugs.gnu.org or guix-devel@gnu.org (no need to be subscribed).

As you can see, adding a new programming environment is quite some work. Because every programming environment has its own idiosyncracies, I don't think it can be avoided even in principle.
I suspect that most people just complain about "another thing to lug around", this is marketing speak to that problem. Certainly I wouldn't be that excited to carry around multiple items all day. Probably still wouldn't wrap the camera around my wrist either though…
Why(Bryan Johnson's) Blueprint?
Building individualised systems against unhealthy social philosophies.
AI is closer to becoming synonymous with fake :/
As someone who has written many compilers and type checkers, I agree. There’s very little information online about the subject. I think part of the issue, for me, was psychological: I felt like I was missing some implementation theory that was presented alongside other compiler subjects (e.g., LALR) when the reality is that you’re mostly implementing very simple Boolean operations.
As somebody currently working at an automaker on software systems, the amazing thing to me is that a mess up of this level doesn’t happen weekly. It’s rough out here.
I believe one of the reasons it is slow is because it is also updating the firmware on any number of connected ECUs over the CAN bus. This typically means the image has to be sent over a 500kbit/s bus so there is a limit to how long it has to take.
[dupe]

More discussion here: https://news.ycombinator.com/item?id=38261415
Yeah, but how did the vehicle not just reject the wrong cert and refuse to flash the update?
You do know that state-issued ID cards exist, right? They usually just say "Identification card" or something.

Yes, they look similar to a driver's license card, but so what?

We have ID cards. We have driver's license cards. The latter is so ubiquitous that there's really no reason to require drivers to carry both. Just allow the second to be used as the first. AFAIK, in most states, they're both issued at the DMV (or your state's equivalent organization) anyways.

I'm just really struggling to see what you're trying to get at. Your question is posed in such a way that I'm interpreting it to be an attempt at some sort of "gotcha" question.
I might be missing something, but the appeal of gradual typing to me is that I can mostly type functions, providing safe input/output boundaries, and avoid having to type every single variable (unless I have to do so for performance reasons, as I do in Common Lisp).

This approach is comfortable to me both in Erlang and in Common Lisp, I see it as a balance between safety/performances and development speed (and I'm saying that as someone using Go for all professional development and being really happy with its full static typing).
> storing checksums in parent page

A Merkle tree?
It ends with the reveal that the in China western automotive expert they quoted multiple times uses a scooter to get around his city - because it’s implied even at current market penetration levels the traffic is too bad by car or easier to bypass on a scooter. Is the traffic comparable to Los Angeles/Boston/Houston freeways ?
Shaping Hard Carbon Electrodes for Next-Generation Batteries
N/A and No.
Any Senior UX folks here that can review the quality recommendations shown on the audit results posted on this site? A quick glance shows some dubious suggestions.
Still better than no UX audit.
This could be useful for combinatorial tasks such as iterating over all the ways to draw 𝑘 items without replacement from a bag containing 𝑛 distinct items. You start out with 1<<𝑘 – 1 (which has its 𝑘 low-order bits set to 1) and keep going up to the next higher integer with the same popcount until bit 𝑛 is set to 1, at which point you stop.
I feel like cities and technology can result in over-socialisation for a lot of people. I've noticed that dogs that spend a lot of time being fussed over (eg living in a cafe) become quite indifferent to people, and living in a city I feel the same thing has happened to me to a degree.

That's not to say I'm not social or that I don't talk to strangers, its just more of a conscious decision than - say - talking to the only other human I've seen that day might be.
> We were very generous in terms of warm-up time. Each benchmark was run for 1000 iterations, and the first half of all the iterations were discarded as warm-up time, giving each JIT a more than fair chance to reach peak performance.

1,000 iterations isn't remotely generous for JRuby, unfortunately - JVM's Tier-3 compilation only kicks in by default around 2,000, and full tier-4 is only considered beyond 15,000. I've observed this to have quite a substantial effect, for instance bringing manticore (JRuby wrapper for Apache's Java HttpClient) down from merely "okay" performance after 10,000 requests to pretty much matching the curb C extension under MRI after 20,000.

You can tweak it to be more aggressive, but I guess this puts more pressure on the compiler threads and their memory use, while reducing the run-time profiling data they use to optimize most effectively. It perhaps also risks more churn from deoptimization. I kind of felt like I'd be better off trying to formalise the warmup process.

It's rather a shame that all this warmup work is one-shot. It would be far less obnoxious if it could be preserved across runs - I believe some alternative Java runtimes support something like that, though given JRuby's got its own JIT targetting Java bytecode I dare say it would require work there as well.
My understanding reading the report is that the audit is for PyPI code and infrastructure itself and not the packages it hosts. Am I right?
You wouldn't regret talking to me because I would hopefully be polite about it. But I'd rather you didn't.

Now to admit my hippocrite bonafides: I talked to a random guy the other day, and we both seemed to enjoy it. But we were unexpectedly in each other's way at a boat ramp, and in exchange for asking him to move his trailer, I offered to help him move stuff. He refused my help, I stubbornly loaded my boat up myself without asking for his help (though I needed it) and we had a nice chat by the car window on the way out. I think I liked talking to him because he seemed equally happy to be as stubborn and introverted as me. :)
> arbitrators of truth and taste and moral purity

I have not once looked at TV network executives, publishing house editors, museum curators, retail inventory buyers, librarians, gallerists, or magazine editors as any of those things. Why would somebody do so for video curation?

You don’t need some complicated top down bottom up crowdsourced ML blah blah blah. You just need to be able to contextualize content to the curator. Which is what people naturally do when there is an accountable curator.

Perhaps people who grew up recently only know content as endless troves of machine-curated feeds with no accountability or attributability, but that’s actually just a very ahistorical side effect of Section 230.

Every other way of experiencing media has always been through some curated context, with a specific entity you can point at as the responsible curator, and through which you color your experience of the content.

That’s not to say people couldn’t be misled in that model as well, but this whole “curators are the arbiter of truth” thing has no real or historical ground. Explicit curation actually offers the very opposite thing: recognizable, accountable, obvious context.