skysight-inc/HackerNews huggingface dataset:
Absolutely this. I don't think many people consider how odd it is that the largest internet advertising company in the world and the largest search engine company in the world are one and the same, and just how overt a conflict of interest that is, so far as providing quality service goes. It would be akin to if the largest telephone service company in the world was also the largest phone maker in the world. Oh wait, that did happen [1] - and we broke them up because it's obviously extremely detrimental to the functioning of a healthy market.

[1] - https://en.wikipedia.org/wiki/Breakup_of_the_Bell_System
What are the arguments to establish that tiktok poses a national security threat ?
Steve Jobs was wrong about the post-PC era
Looking at the final shadertoy example (https://www.shadertoy.com/view/4XSXz3) I would think he just recreated each effect in shadertoy (variable and function names dont seem exported to me).

Most of the effects on the page are only a couple of lines it seems so maybe he did just rewrite them all? I do wonder why he bothered with UE material graphs if he's this proficient at shaders anyway.
Apple's own documentation seems decent: https://support.apple.com/guide/terminal/toc

and their "Shell Scripting Primer" looks fairly comprehensive:
https://developer.apple.com/library/archive/documentation/Op...
Both the number of objects (dcache) and the number of classes (icache) are significant, as well as the size of both, but yeah. It's pretty rare to have extremely wide class hierarchies, though. You really have to go out of your way to run into significant icache misses.
if the fediverse supports posting with markdown and code syntax highlighting, what is the benefit of a standalone gist thing?
- Perhaps the ability to edit/clone and update?
- the anonymous dumps use case (which this doesn't support yet)
US Senate passes TikTok divestment-or-ban bill
what does it mean "new track almost all in the median of Interstate 15"? Do they plan to run a train in the middle of highway? Is there is enough width there for a train?
This depends heavily on the project you have in mind. How long is a piece of string?
lame. gpus are sick, and the web is cool.
> If you tolerate a wide gamut of responses, and abuse, you're going to get abused.

Isn't there something called "the tolerance (or intolerance?) paradox"? Basically, something about "If you want tolerance to prevail, the one thing you can't tolerate is intolerance"? Think I've seen it mentioned here; others may be able to source my dim recollection.

Boils down to, I guess, if you don't want to get abused, abuse the crap out of abusers at the first offense.
Jamie Dimon Has a Rival in Tech: Silicon Valley Bank
Bakersfield was already on the map. Not any sort of map you’d want to be on, but still…
Gitcoin, a platform at the forefront of empowering open-source development and community-driven initiatives, is embarking on a pioneering journey with its Quadratic Funding (QF) Pilot Initiative. This initiative, in collaboration with Allo Protocol and driven by a commitment to community engagement and experimentation, seeks to revolutionize the way funding is distributed within its ecosystem. Let's delve into the intricacies of this proposal, its motivations, expected outcomes, and potential challenges.
Why are the lead times so long? Is it the shipping?
If you're worried about operating in China another option would be to move closer the shenzhen.
Kuala Lumpur has cheap rent, good infrastructure and overnight shipping to shenzhen should be possible. Similarly Korea, Vietnam, Taiwan,Singapore and so on are easier to operate in while being closer to the "source".
Definetly go and visit Shanzhen first though.
I just bought a new computer for the love of lord...
That’s one reason I use CarPlay - the interface hasn’t changed for years. Apart from one really annoying change to Apple Maps when they replaced the “silence directions” toggle from a big square to a touch, wait, touch tiny icon interface.
Letting yourself be taken advantage of is a fool’s game, no matter what you believe in.
8 hours should be enough to let the temperatures settle
Zooniverse: People-Powered Research
Nice, now we just need to be able to directly boot into chrome without that OS bloat around it.
You do not need to. Counting how many links are pointing to each document is sufficient if you know how long that link existed (spammers link creation time distribution is widely differnt to natural link creation times, and many other details that you can use to filter out spammers)
Nginx 1.26.0 Stable Released
I do my best to use only JLC parts for convenience sake, but it is easy to order parts from global suppliers in to your parts cart at JLC. I’m not sure if you can send them parts but they have a “global parts” function in your “parts cart” that lets you search most global supply companies and they will buy the parts for you.
Good thing for x
If America truly wanted to protect the data of Americans, shouldn’t they instead have passed a law granting that data some protection?
Vancouver until fairly recently had the same thing. I remember a hostel downtown that had a boisterous bar where one side had the license and one side didn’t for some arcane reason and they had a three foot fence with a swinging door separating the two sides. Hostel stuff still tried to happen, one night I was there and a guy stood up and started playing saxophone and a bunch of people started dancing and the poor staff had to go into panic mode trying to get everyone to stop.
It was never a question if it will happen, just a matter of when. I like the idea of decentralised socials much better than a one-man's echo chamber.
On Android devices I use the app PipePipe to avoid the YouTube ad hell. I recommend it.

I also use Firefox for Android, which has Addon support. Ublock Origin works on the phone and disables a a lot of the ad horror.
> I'm pretty sure that SiFive isn't allowed to sell their RISC-V core designs to any Chinese company already.

The JH7110 SoC from the Chinese firm Starfive uses SiFive's U74 core. Eswin, also Chinese uses SiFive's P550 core in their upcoming EIC7700 SoC.

> All Chinese RISC-V core designs have been proprietary designs thus far.

There is the OpenC910 [1] and OpenXiangShan [2].

[1] https://github.com/T-head-Semi/openc910

[2] https://github.com/OpenXiangShan/XiangShan
It’s not illegal, but from what I understand an excessively long notice period would very likely be shot down by the courts. There are a lot of arguments to be made here (for example, what’s stopping an employer from putting a 5 year notice period from day 1 if they can put an arbitrary one?). I imagine if companies do increase it or introduce one in general, it would be closer to 1 month, maybe 2, not 6.
I think Linux is a strong counter argument. And software might be simple to recreate, but it’s a shame to have so many smart folks spend time reinventing the wheel instead of building on each others work.
iPhone sales in China plunge 19%, as Huawei grows smartphone sales by nearly 70%
I expect a minimum of interest and curiosity with my audience. Also the ability to read. “Take a look at the following pictures¹” it says at the first clickable example. The choice of plural (images) gives a good hint, together with the footnote and the icon that’s sticking out from the lower right corner of the image.

“Take a look and click around” it says above the next clickable example. Another hint.

As for what is gained: The example with white space inside letters works much better when clickable. In separate images, the effect is lost.
https://archive.md/1Jh8T
Tooting my own horn here, but the future continues to be AGPL(tm)[0]

[0]: https://vadosware.io/post/the-future-of-free-and-open-source...
I preferred the native Windows API[^1] from the point of view of organization. In theory, you could use it to design the data flow in your application in whichever way you wanted. And yes, the operating word is "design", meaning that you needed to be decent at architecting software. And this was before .Net and before many C++ facilities that would make life easier (e.g., std::shared_ptr, or even boost::shared_ptr), when making a large scale application in C/C++ required some serious chops I was too young to have.

[^1]: https://learn.microsoft.com/en-us/windows/win32/winmsg/using...
tl;dr: imperative composes as strings; functional as DAGs
Remind us that we need a protocol as species to remove people from the power ASAP if they turn insane.
There’s a hand icon on mobile, and a mouse pointer on the desktop version actually…
US government collected about 4.4T. Out of that 25% went to paying JUST interest. Do you think this is not alarming? Massive amount of USA manufacturing now gone or on life support. Boeing? Tesla? The 10T spent in Afghan supposed to be ROI with the lithium mines there. Gone. Solyndra? Gone. Or how about Ukraine? Gone. Apple? Sales tanked 19% in China. Now we wait for Huawei 2nm next year. Then 2026 Taiwan gone. Possibly destruction of pacific carrier fleets as well with 100K drones swarm then. Look at gold prices. Used to be suppressed because of USA has secret paper gold traders for Feds and Treasury. As long as no physical deliveries and "trust me bro of Fort Knox", paper gold is just like USD, easily printed as needed. That loopholes closed recently because of massive Chinese physical gold deliveries from UK to China 100+ tons annually. This really spooked American Treasury. USA is on last leg now similar to last day of Rome just that instead of centuries, we will see that happen for USA within 10 years time. The only good thing is likely USA will split into multiple smaller countries as what happened to John Titor timeline or turn into Byzantium like western Rome. Worst, it will just be Great Britain into just Britain like scenario.
ML is a quite well adopted technology. iPhones has ML bulit in since about 2017. It has been more than 5 years.
I don't think the NPU is tiny, just much more power efficient than the GPU or CPU for the right kind of tasks.
Note also that there is an independent checker https://github.com/leanprover/lean4checker to ensure that you're not pulling any fancy tricks at the code level: that the compiled output, free of tactics, is in fact a proof.
Same species, different sizes: Rare evolution in action spotted in island bats
> It's not about a user

If your users are developers, then this mindset will inevitably lead to poor developer experience (DX). That is a stance that someone could take, but their software would be then only used in spite of the DX, not because of it. In general, this would lead to a more miserable experience. I don't think that's good, even if it's just a lot of small annoyances along the way.

Here's a Dylan Beattie talk that touches upon this very thing: https://youtu.be/BIkXid_pBiY?t=629 (specific timestamp to relevant bit)
I recently discovered a citizen effort to do just that

https://github.com/unitedstates
I think its trippy how I ran into your comment on this post. Its Ricky your cousin your dads wifes grandson
I hesitate to nitpick on you given your surname, but I haven't seen 中文 (or any other _文) referring to culture specifically, as opposed to language.

My understanding is that 文 (in this context) refers to the written language, whereas 語 and 語言 refers to the spoken language. Which is why we say 寫中文 instead of 寫中語. 語 and 文 often gets mixed up, but the nitty-picky-correct way should be what I described.

FWIW here in Hong Kong we have a term "兩文三語" which means two written (Chinese and English) and three spoken languages (Cantonese, Mandarin and English).
>Where's the line between gliding and falling when even a brick can act like a lifting body due to the extreme speeds?

Good point, and also not, but overall i would make the biggest distinction that one is a full ballistic object (reentry vehicle), and one is a gliding brick (shuttle) that makes s-turns to slow down, it's also a ballistic object but with much more freedom.

The Insane Engineering of Re-Entry

https://youtu.be/ivLX9o6Ayl8?t=1333
There is one way. US government can mint print any coin denomination they like. If US Mint print 10T usd coin for just special occasion and hand it over to Feds, all is good. I am waiting for this crazy idea to happen.
> adding features can only make it worse, not better.

There are exceptions, but software is usually part of a system, a social system. Successful software changes its environment, and in turn, the environment demands change from the software, which diligent maintainers attend to.

It follows that, in the general case, "no change in a long time" is a pretty good indicator that the software is either unsuccessful or abandoned. As I said, there are exceptions (gists might be one of them).
Running a few ESPHome projects, it's great for rescuing those which I lost motivation to write code for. The ability to do processing on-device as well as with Home Assistant is neat, but writing those procedural routines with YAML takes a little getting used to. The concepts used in the ESPHome system design are not completely intuitive.
Ehm, no.

The "handcuffed EV revolution" is due to management. In the west we was the best of the world in tech, than managers drop big research labs, the end of the cold war drop much public funded research and so on, all R&D goes for quick incremental evolution instead of long-term revolutions.

Chinese still do public R&D. Oh, yes, not exactly free, but still at state level, so public, something NO DAMN PRIVATE COMPANY can do, no matter how large it is.

It took same decades to fill the gap, but in the end they have better tech here and there and they are on par or just slightly sub par than us. Of course at a very inferior prices.

The result is the "neoliberal economically driven hyper-powerful society" turn out to be a distopic failure, a reactionary society unable to evolve, being able to sustain itself only a war after another until there are some potential war pray to spoil. Unfortunately once all the world or almost all turned to the same apparently successful row we end potential pray and those who keep same "old" position might eventually prevail.

Managers should not be in chief, they must be aside entrepreneurs, generic people who know a bit of tech, a bit of economy, and have a vision. A manager should be on one side, a technician on the other side and a communicating and individually powerful level-by-level hierarchy should be under them. Toyoda model is not modern Lean, modern Lean is a revised Ford model, already defeated. Both are just model to produce things, not to create new things.
It was funny to see the comment by that entitled fucker who triggered this (ayn-something on the linked GitHub issue), something along the lines of "You should quit open Source; get off GitHub!" So clearly showed that a whole generation has been deluded into equating the Open Source movement[1] with GitHub... The commercial, closed-source Web site GitHub.

Oh well, they already equate git itself with gitHub, so why not Open Source too.

[1]: Not to mention the Free Software movement -- no use mentioning it, since they've never heard of it.
For an article focused on light pollution, why waste the space on images of radio telescopes?
Theorem provers work like this: the axioms are input, then there is a program (using libraries) that transforms them, and the output of that program is the theorem.

If the runtime is correctly executing the program, then the theorem is proven from the axioms.

Importantly, as long as there is any program that outputs the theorem from the axioms, you have a proof. So even if your program doesn't do what you think it does, if it outputs the theorem, that doesn't matter.

So do you trust the runtime? Bit flip errors can be eliminated by running things multiple times. The more human proven statements the runtime executes correctly the more you believe it's implemented correctly. Importantly, all proofs done in lean increase the trust in the common runtime.

And: do you trust your ability to understand the formal theorem that is output. That's the question discussed elsewhere in this comment section in depth.
If they had, there would be more talk about "exciting new pathways" and the like.
> BTW I believe `-C` will disable some cache checking, caching is enabled by default

You're right, my memory has let me down.

> Do you have any pointers for the "load on tab" idea? I didn't turn up any good results in DDG and LLMs were just hallucinating.

The simplest implementation would be something like

bindkey ^I init_completions

init_completions () {
# ... init logic here ...

# rebind tab to complete
bindkey ^I complete-word
# actually do complete the initial request
zle complete-word
}

Edit: I see now you already figured it out, yeah that's exactly what I meant
I think a case can be made that the spam problem can be traced all the way back to Google buying Doubleclick.

Its really easy to spot the crap websites that are scaping content-creating websites ... because they monetize by adding ads.

If Google was _only_ selling ads on the search results page, then it could promote websites that are sans ads.

Instead, it is incentivised to push users to websites that contain ads, because it also makes money there.

And that means scraping other sites to slap your ads onto them can be very profitable for the scammers.
Maybe. But is it not equally likely that they looked at git(1) and did not like how it would change their workflow and that the license was incompatible with what they would like to see in base?
If they could control what kind of information can be spread in TikTok, I believe they don't care about whether the user data is leaking or not.
What did he used to do ? Your comment seems contradictory cutts seem to be on anti spam but your comment implies seo did not kill search . Is seo not part of spam?
> spammers link creation time distribution is widely differnt to natural link creation times

Yes, this is a statistical method. Guess what machine learning is and what it actually excels?
A Tesla costs $80k and lasts 10 years. Why are you saying $1200 for internet is too much and $600 isn’t?

Why do they even bother charging - just bundle it in with the headline price. It’s a tiny portion of the revenue, nobody is going to think “oh that $87,345 Tesla is too much I’ll go for the $86,145 one”
I am sure Intel will improve the shortcomings in the next generation, so it is a good start. But I wonder how this will compare with Qualcomm's new PC CPU (Snapdragon X Elite) which also has its own NPU.
Loongson CPUs have long abandoned MIPS, they are now using their own (MIPS-derived) ISA without the branch delay slots and then some. I'd wager that it is more like RISC-V than MIPS now, at least on the surface.
I love when watching things in Japanese you can tell they are talking in hyperpolite register because all the words are suddenly dozen-syllable tongue twisters.
More likely that they can’t buy it. Everyone else already has.
That Merced to Bakersfield line is characterizes as from nowhere to nowhere in How Big Projects Get Done. It’s one of the few negative examples in the book that stuck with me. It’s embarrassing.
When (if?) auto-driven cars become a thing I'd expect some people will want a giant monitor in their car if nothing else, so they can watch movies, play video games, tele-conference, etc....

Disney's "The Magic Highway" might be dystopian to some but the relaxing vehicle seems pretty cool to me

https://youtu.be/Vo4-rYNGEwE?t=199
UE translates shader graphs to HLSL - high level shading language, see:

https://dev.epicgames.com/community/learning/knowledge-base/...

Shadertoy needs GLSL - open gl shading language. Luckily, UE has a HLSL -> GLSL transpiler built in:

https://docs.unrealengine.com/4.27/en-US/ProgrammingAndScrip...

There are other HLSL transpilers: Microsoft's ShaderConductor, Unity's hlsl2glsl, Vulkan's vcc, etc.

To port your favorite Shadertoy examples back to UE, you can transpile GLSL to HLSL with ShaderTranspiler, glslcc, ShaderConductor, etc.

Disclaimer: I don't use UE or Shadertoy. In fact, this is my first exposure to GLSL/HLSL. My claims may be inaccurate.
I'm jist getting started with home automation and have a couple of ESP32 running tasmota.
How do they compare? Thr site explains how I can migrate bit not why or under which circumstances I should...
Yep, I've got the exact same problem. One would think there's enough demand to make it worth it.
> Even economy class plane seats have power outlets these days. Hopefully Intel will iterate on both hardware and software to expand NPU use cases going forward.

I can totally see myself doing inference on my phone, but arguably - this is not intel's territory.
Why'd it drop today? One supposes that instead of pressing shift+delete on their repo they click publish now so they get to write the headline that 2 big tech companies release small language models on the same day.
What? Flong is not a word alluding to some dirt sexual practice? For Pica's sake, where is my old internet? This is inchcredibly dissapoint.
> You seem to imply they are a higher rate of rich assholes, no?

It seems likely. But that's a detail, because I believe the more important effect is the contempt higher-class people can have towards lower-class people. Some of it may even come from cognitive dissonance. See, barring a few exceptions, one does not get rich just by working. One also has to exploit other people, to spoil them of a fraction of their added value. The richer you are the truer this gets, and then you have to find some way to look at yourself in the mirror despite that.

> actively suppressing education

I don't recall saying that. My exact words were: "I don't know about libraries specifically, but the idea that rich assholes would like to keep the education level of the general population below a threatening threshold is not conspiracy thinking to me, it's just obvious."

> especially when, as you say, they are the most likely to donate money to those causes.

I didn't say that either. My exact words were: "the largest contributor to pretty much anything has to be ludicrously rich. Because the only way to give that much, is to own even more."
I hope I can get one of their laptops before venture capital leads to enshittification.
The missing semester of your cs education

https://missing.csail.mit.edu/
You should give it a try. ESPHome is super convenient. Especially the fact that you can flash them from a browser initially and over the air after that
Kids are in the back and thus a screen in the back is what’s needed. An iPad or similar will do that, so a place to mount would be good.

By the time they are old enough to be in the front they have their own phone and headphones and care less about a mounted display than they do about a TV.
we've got techtakes at awful.systems, though it rarely goes in as hard as n-gate.
Yeah initial testing is looking promising
> The core feature that sets a modern blockchain ...

blockchain means many paradigms and implementations, just like databases have many paradigms and implementations, or democracy for that matter

What you are referring to is the "public, permissionless" blockchain variant. There are permissioned blockchains as well, like Hyperledger Fabric, that would form a very efficient system for use in government. The key factors I see here are

- the immutable ledger

- public transparency & audibility

- standardize transaction contracts

- efficiency of transfers between depts or gov't & citizen
> It hasn't changed in 15 years

Good. It works.

I use Apple rather than Google as I try to avoid Google as much as possible but it’s the same principle. I want long term stability in software, not new changes put in to earn a PM a promotion.
Requires nerves of steel to navigate Aliexpress.
Not the best time for testing OpenVINO at least, they plan to release NPU support in 2024.1 as I understand, current version 2024.0 has very limited NPU support if any.
I wouldn't call FP16 "FLOPS". Is anyone using them for non-AI workloads (e.g. compute)?