skysight-inc/HackerNews huggingface dataset:
#VibratingScreen #PaperEquipment #PaperMakingMachine
Leave your email for price!
If you are interested, you can contact us.
Email address: wastepapermachine@gmail.com
https://www.flutingpapermachine.com/solution/cultural-paper-...
#papermill #papermachinepulpmachine #everyone
You made me laugh out loud. Thank you.
>> An algorithm is not a proof.

> That is an opinion that many do not share.

Say, we have an algorithm to color a planar graph with 4 colors, can we say that we have a proof for 4-coloring a planar graph?
You don't even need GPT-2 level AI to classify tweets.
Queries were rewritten with BERT starting even before then so it's still the same generative model problem.
I love time/date problems. One of the best references on the subject of calendars is "Standard C Date/Time Library: Programming the World's Calendars and Clocks" by Lance Latham. He really goes into a lot of detail on various calendaring systems, some really cooky, https://amzn.to/4hjv5L3

BTW. A long, informative post without a single mention of AI. A rare thing these days.
The Carefulness Knob
Have you tried Cursor, or is this just your guess at what your evaluation would be?
Let’s not fool ourselves, linux’s accessibility (and anything else) support was lackluster to begin with. Android and ios is far far superior on every count from an accessibility perspective and interestingly they have a sane security model.

This has absolutely nothing to do with the technology, it’s just that there is no standard protocol for one more thing simply because accessibility experts don’t happen to do some free work that will be de facto accepted by multiple different vendors. Comparatively, apple or google can just declare that this new API is the way to go, and support it natively from the de facto frameworks of the platform (and probably paid for accessibility experts along the way).
I have GL-inet brume 2 which runs in drop in gateway mode alongside my main router, and on it I have AdGuard home
I am skeptical about this. Optimizer can also specialize functions and programmers can do too. Excessive specialization you get with templates always look beautiful in microbenchmarks but may not be ideal on a larger scale. There was a recent report analyzing the performance of Rust drivers vs C drivers and code bloat caused by monomorphization was an issue with the Rust things, and in my experience (also I do not have a reference) it is the same in C++.
We are talking about YouTube Premium.
These examples are not much different than tutorial regurgitation imo. I would not pass this off as solving the problems that programmers have in practice, imo.
I didn't use it but I've seen videos where people used Cline with Claude to modify the source and afterwards, have Cline run the app collect the errors and fix them.

The examples were small and trivial, though. I am not sure how that would work in large and complex code bases.
Jeez. Have you had a look at dietary trends since 1950? The adherence to the modern guidelines were arguably better in 1950 than today.

I am so tired of this crap. Energy intake increased by something like 400kcal/day since 1960. Mostly from processed foods.

At the same time physical activity plummeted.

What do you think is the most probable explanation of obesity: the above or that we halved our SFA intake?
BYD to launch its smallest EV in Australia, hinting at low-cost Seagull arrival
My experience is that tons of people heard about Mastodon when the first wave of Musk bullshit hit Twitter and they immediately had an allergic reaction to having to pick a server. They don't realise there's no practical difference from email (which they're already using) but somehow the need to pick a server baffles and confuses the average social media user.

Instead, everyone seems to be joining Bluesky now, which is also federated but doesn't mention it anywhere so users can just join the main instance.

I expect this will cause massive problems in the future when federation will start taking place on a serious scale and the risks of misleading users by using similar usernames on other servers start applying. People don't know the network is federated and there's no easy way to read up about it without diving into dev documents.
The wording is very unfortunate, he makes valid points though.
>My theory is the willingness to baby sit and the modality. I'm perfectly fine telling the tool I use its errors and working side by side with it like it was another person.

In my experience, baby sitting the AI takes to much time and effort. I'd rather do it myself and use AI for tasks I don't have to babysit.
Don't worry once Trump is elected her will counter this with a 20 gazzillion percent tariff on vodka.
NASA reconnected with Voyager 1 after a brief pause
Nice.

Reminds me of this: https://jacquesmattheij.com/sorting-two-metric-tons-of-lego/
I really love this way of writing. Informational with occasional bits of humor. It makes it read and ingest.
I don't see the difference between it and Mastodon or even Reddit in that regard.
Ah. Here's the tool for that job - a Roper-Whitney hand punch.[1]
This is like a hand paper punch, but stronger. Costs $85.
Made in USA.
With a punch and die, you get clean edges on the hole on the exit side.
Scroll down for how to order the specific punch and die you need. Hex punches are not common, but are available. If you fill out their form, and tell them you need to punch 3CR13 stainless, they'll tell you what to order. Might need something with more leverage than the small hand punch. Lubrication helps.

Most machine shops will have such a punch, but they won't have a 4mm hex die in stock.

Or you could drill an undersized round hole and file it out to a hex hole. Maybe use the existing round carabiner hole.

There are touch-up kits for guns, called "gun bluing", to make your shiny new hole black.

This is all do-able but way more trouble than it is worth.

[1] https://www.roperwhitney.com/our-products/no-5-jr-hand-punch...
Jaywalking legalized in New York City
I am happy with

3) Bring back all the plugins that were taken away.

See no other use for it.
I wonder if the Paira alien sculpture inspired Starro from DC Comics (who first appeared in 1960). It certainly inspired a race known as the Pairans who appear in the kaiju film Warning from Space.

I'm not sure that I believe in the author's conclusion that these Japanese cultural inspirations represent a pivot for the Zelda series towards more focus on Japanese cultural heritage in line with the "Cool Japan" policy. Nintendo's works have always been rooted in Japanese culture with Western elements mixed in for universal appeal. Both the Mario and Zelda franchises draw heavily from that titan of the East Asian canon, Journey to the West -- with Bowser being modelled on the Ox King and Ganon being based on the pig demon Zhu Bajie. Some of Mario's transformations are based on Japanese folklore about trickster animals -- the tanuki suit, the use of the leaf, and so forth. The Jōmon artifact inspiration really serves to add that next level of mystery in a manner that would be instantly evocative of "ancient precursors" to a Japanese audience.
The Mac mini 3.5mm jack advertises "advanced support for high-impedance headphones" so you might not even need an amp unless you have some really crazy cans.
Writing Month
A monthly writing challenge. See also: https://alpha.polymaths.social/@amin/statuses/01JBB8JKJMZ5ES...
Hard to imagine that being price competitive with the M4 max, hopefully out tomorrow.
I read the petrovich stories (metrozone) and although fun, I recall my suspension of disbelief had to be turned all the way up. :)
I was at the keynote, Llama was featured in the Copilot models section and called out specifically, as was Mistral.

I assume they just aren't at the point where they have the ability or want to host the compute to offer up Llama as an option as opposed to OpenAI, Anthropic and Google who are all offering the model as a service.
My first reaction too was, hey I could do this with ntfy.sh
But then you won't be able to teach as much. I think this whole thread boils down to pedagogy is difficult.
Sure, with 191GB we'd need to know what the growth looks like. But 4TB might work for a good while. Unfortunately we know nothing about the rest. Was it a mid-tier VPS and all the money went into storage and traffic? Then this should be plenty for another couple years at least.
So you're troubleshooting a 47 year old spacecraft that is 15 billion miles away.

The round trip time is 45 hours.

That is some kind of latency!
The world’s first ever electric hydrofoil ferry begins operations
This is a well-written article, but the title feels overly complicated. It’s just a roundabout way of saying that BotW includes references to Japanese heritage or cultural symbols.

And honestly, which Japanese fantasy game doesn’t? The Dogū, for instance, has been used so much that I barely even notice it as a reference anymore!
What about their trusty slaves modding for a sense of belonging, pride and accomplishment?
In my younger years, I used to employ the Y combinator as a way to avoid naming recursive functions because I didn't want to necessarily dignify single-use code by abstracting it into a named function that I'd never call anywhere else. Instead of calling itself in the non-base case, the anonymous lambda simply calls a first-class function passed into it, with the necessary plumbing abstracted into the generic combinator.

Fixed-point combinators can be made to work with tail recursion, so I don't think tail recursion forces anyone to name anything. Certainly, how easy it is to go with this particular approach depends a lot on the semantics of your chosen (or imposed) programming language.
I think it's bimodal because there's a roughly bimodal distribution of high level attitudes among programmers. There's one clump that are willing to be humble and interact with the AI in a thoughtful, careful manner, acknowledging that it might be smarter than them (e.g. see Terry Tao's comments regarding mathematics usage about how in order to get good results he takes care with what he puts in (and imagine what "care" means for a professional mathematician!)) and there's another clump who aren't.
If it's the AxCrypt I think it is, it doesn't even run on Linux, never mind Raspberry PI or Milk-V for instance. And it's not free either. So it doesn't meet many of my requirements, unfortunately.
>he was floating the idea of somehow raising seven trillion dollars

when i read that news back then, i read it as "billions" and thought "that sounds very ambitious, hardly he'll get that money". Man, i'm 3 orders of magnitude behind the current state of the art in tech, and need to start thinking in trillions (while it was only recently when a billion dollars was large money).
I had the same experience with Copilot and stopped using it. Been somewhat tempted to try Cursor thinking maybe it's gotten better but this comment is suggesting that maybe it's not.

I get the best use out of straight up ChatGPT. It's like a cheatsheet for everything.
Just switch to a neon pink pointer and make it larger. Problem solved.
So this is a thing: I caught the Snake emoji behaving differently in some code because it was coded one thing before #celebrity-thing, and the opposite months later.

Snake Emoji Kanye vibes are the weirdest timezone.
I remember reading and liking his books, but ... did they not make it to ebooks?
OK, but in this specific example, what would you do in the shoes of Hetzner?

My understanding of the situation is, somebody in Network A is sending spoofed traffic to Network B. Hetzner receives abuse reports from Network B.

Should Hetzner either establish trust or cut off: Network A, Network B, or their customer?

Hetzner has or should have means to verify that their customer is not the one making port 22 requests. They are not the attacker. Network B is reporting the issue, they are also not the attacker. And Hetzner cannot identify Network A, at least not without Network B's cooperation. And even if Hetzner does identify and cut off Network A, the problem remains – Network A can still send spoofed traffic to Network B.
Shutting down and starting up again can draw more power than sleeping/other low power mode. e.g. airplane mode on a phone is probably better than turning the device off for the night. Old dumb phones used to sip power when switched off so the alarm would work.

No idea with desktops, but I wouldn't be surprised if suspend used less power than stop/start for overnight in some cases.
When was the last time a display failed on you without getting physically damaged?

The last display I had break down was a CRT piece of shit I got off my school's auction a quarter century ago.
It is impressive... though I must admit the prices are impressive, too. I'm going to be driving a relative to Florida next week from New England, and then flying back. Anyone that knows the seasonal migratory patterns of the new england elderbird knows that the market is heavily in my favor, but even still, the airfare, fees, taxes and everything come out to about $60 to fly over 1200 miles. That's like a nickel-a-mile. One round-trip ticket to the furthest spot in Boston's commuter rail system (terminating in Rhode Island) is nearly half that price.
Complex Networks in D
While technically different, relays in the ATProto protocol serve a similar purpose; it can be thought as a materialized view in RDB as far as I understand. So if ATProto proves to be successful in the future, extensions to relays might make that possible transparently. (One big limitation of relays right now is that they have to consume the entire repository at once, making it hard for individuals to host their own relays.)
Ballot boxes were only burned in majority D areas, and Republicans are the only ones pushing election tampering conspiracy theories so they have a reason to riot (again) if they lose this time too.

They are the only party thay would benefit from this action. Qui bono?
The new Macs with M4 Pro/Max have Thunderbolt 5 which supports up to 120Gbps video bandwidth: 3x that of previous gen. That should cover 8k120 or multiple 8k60 displays! And the regular M4 now supports 8k60 displays I believe due to DSC.

New ideal setup is 8k120hz TV placed about 3-4' away. Better for the eyes too.
> Gosh you're totally right, the article has pitched this as a problem unique to Twitter, but of course Facebook and Tiktok et al (...)

Why do you think this is relevant, if the subject is Twitter's algorithm?

Your comment reads like whataboutism.
> Anything you can send an email to that is received, as far as I am concerned.

100% this.

The only acceptable hard validation is to check whether there is an @ between some characters. something like `.@.` in regex.

It makes sense to do sanity checking (soft validation) on client side. There is 99.9% chance that `muppet@gmial.com` is wrong, outright rejecting that is wrong, though.
Similar experience. I used Gitlab Duo and now the JetBrains AI assistant (the small one which does inly inline).

What I notice is that line-completion is quite good if you read the produced code in prosa. But most of the times the internals are different, and so the completed line is still useless.

E.g. assume an Enum Completion with values InlineCompletion, FullLine, NoCompletion.

If i write

> if (currentMode == Compl

It will happily suggest

> if (currentMode == Completion.FullLineCompletion) {

while not realizing that this enum values does not exist.
I feel like a simple brute force method is using a "labirinth" exploration. Make a list of all possible moves in a single state, do one of these moves and check: if you already saw the result, go back and try a new branch until the cube is solved.
Identifying fraud as an outsider is nearly impossible. Fraud detection in other situations requires a lot of access and transparency, so I’m not sure those statistics on known cases of fraud mean much. You could make similar statements about elections in countries that are a lot less trustworthy on elections.

I’m also not sure why it matters that poll workers are from the same county - that doesn’t make elections secure. People in my county aren’t “neighbors” - I doubt most people would call every random person within 100 miles a “neighbor”. Even if they were, what would that prove?

> it's pretty clear that our elections are free, fair and transparent

How can you prove it though? What I see is many steps that require trust in other humans. Not real verifiable elections.

I’m curious what your thoughts are on steps like voter ID to improve election integrity. To me it seems like an obvious and necessary step, and the resistance to it seems suspicious.
Show HN: UI/UX for your custom AI agent
Well apparently it is? I am confused https://github.com/wasmerio/wasmer-js

Don't browsers support wasm natively?
Tiptap (YC S23) Is Hiring a Senior Full Stack Engineer (Berlin or EU Remote)
Best summary of Jaynes' theories: https://slatestarcodex.com/2020/06/01/book-review-origin-of-...
wow cool. Never heard about unikernels. Does it solve the issue with firecracker of not being able to reclaim memory? Would imagine that can be an issue for a long running app like a constantly busy database
> Whenever I sit down to write some code, be it a large implementation or a small function, I think about what other people (or future versions of myself) will struggle with when interacting with the code. Is it clear and concise? Is it too clever? Is it too easy to write a subtle bug when making changes? Have I made it totally clear that X is relying on Y dangerous behavior by adding a comment or intentionally making it visible in some other way?

Over 20 years of experience, too, but I quit doing that for work. Nobody really really cares, all they care is about time to market and having features they've sold yesterday to customers being done today.

As long as I follow some mental models and some rules, the code is reasonably well written and there is no need to procrastinate and think too much.

When I write code for myself, or I am contributing to a small project with a small number of contributors, then things change. If I can afford and I like it I am not only willing to assure things are carefully thought out, but also I am willing to experiment and test until I am sure that I use the best variant I can come up with. Like going from 99% to 99.9%, even if it wouldn't matter in practice. Just for fun.

As a manager, I wouldn't ask people to write perfect code, nor I would like them to ship buggy code very fast, but ship reasonably good code as fast as they can write reasonable good code.
SSD NAND ahs a shorter lifespan than sockets.
> plywood design.

Coolant and plywood do not play well together.
The tz-iana mailing list is a lot of fun to subscribe to.
The xz-utils hack didn't care about the window system at all. It also hasn't actually caused any known damage and I'm sure if the american three letter agencies cared the perpetrator would have been dealt with by now. Project takeovers of that kind is not something regular users need to be worried about because the cost of pulling one off is too righ to waste on petty crime. It's yet another boogeyman and scaring people into giving up their computing freedom for "security" migh as well have been the goal of the operation.
To me, one of the key framing ideas that almost all dates/times are actually a set of matching-rules that you are monitoring for. You can guess how many seconds will elapse until the match triggers, but you can't be totally sure [0] until it happens, and in some cases it will never quite happen at all. [1]

Then the second half is often to reverse your "I think it will happen X seconds from now" delta-guess into "I'm also guessing that your timezone's clocks will say Y when it happens."

Just don't forget to keep track of which timezones is controlling the event versus which timezones it is being displayed in.
____

[1] Your UTC estimate might occur plus or minus leap seconds. TAI is safer, unless somebody discovers something exciting and new that changes the behavior of cesium atoms.

[0] Such as if the time zone vanishes because the country is gone. Or perhaps the 1:30 to 2:00 thing couldn't exactly happen because the clocks went forward from 1:00 to 2:00 with a missing hour.
Sure, they are. Buy a Epyc or Xeon, burns 200+ watts, has 8 to 12 channels, which requires 8 or 12 dimms, which are barely fitting in 19" racks (next gen are moving to 21").

Or you could get a m3 max, run the memory at twice the speed, still have a 512 bit wide memory bus, and have a 10+ hour battery life. Presumably similar with the m4 max, rumors claim later today (Wednesday).

How much do you want that socket?
I did this same thing with a 50" 4k TV ... I get and it does work .... My biggest issue is the tv brightness levels even at low were waaaaaaay too bright... I was using LCD ... Is oled better for this????
Congratulations on getting this out!

You will inevitably face a lot of the typical questions like 'Why not just use RocksDB', 'Why is this necessary' etc. All I'd say is, don't get disheartened if/when that happens.

Maintaining an open source project is not easy and is often thankless, plus it takes a huge effort to get something of this complexity done. Thanks you for the effort!
That severy limits the usability and even functionality that programs can implement. If you want a phone os then go use one but don't make Desktop Linux into one.
Rmk: A feature rich Rust keyboard firmware
>Change my mind.

Nobody pays for splendid code that isn't in production. They will gladly pay for buggy code that is in production and solves their needs as long as the marketing team does a good job.
It's a completely new skill that you need to learn. My productivity gains are substantial but it comes from experience building multiple applications using LLMs. I feel I learn something new every day and the tooling just gets better and better.

> I wonder if false information is written here in the comments section for certain reasons …

I find it perplexing that you resort to this instead of other plausible explanations.
<< This isn’t “playing semantics”, it completely invalidates your point. Look at how well overturning obama care went to see how difficult law passing is.

You do have a point. I disagree that it invalidates mine, but it does weaken it based on how it was originally present it. That said, we are absolutely playing semantics, because while Roe vs Wade was not the law, it was a precedent that effectively held back even a consideration of law changes at bay. So it is not irrelevant, but you are correct from a purely technical standpoint.

<< Anyone who knows basic federal government structure in the US knows court rulings are significantly easier to move quickly compared to passing real laws.

Zero disagreement.
Ever heard of astroturfing?
Microsoft seems to be a company that has 1) working chat: Copilot 2) chat integrsted with their tools (e.g. ms office and teams, although quality depends on product) 3) subscriptions to actually monetize it
I wonder what apps those were. I rebooted yesterday and nothing popped up. I suppose MS Office would have tried that though, but I've switched off auto-updates for it permanently, as I don't really use it.
I still hate reddit for ending its free API access.
I'm continually surprised by the amount of negativity that accompanies these sort of statements. The direction of travel is very clear - LLM based systems will be writing more and more code at all companies.

I don't think this is a bad thing - if this can be accompanied by an increase in software quality, which is possible. Right now its very hit and miss and everyone has examples of LLMs producing buggy or ridiculous code. But once the tooling improves to:

1. align produced code better to existing patterns and architecture
2. fix the feedback loop - with TDD, other LLM agents reviewing code, feeding in compile errors, letting other LLM agents interact with the produced code, etc.

Then we will definitely start seeing more and more code produced by LLMs. Don't look at the state of the art not, look at the direction of travel.