skysight-inc/HackerNews huggingface dataset:
Right, at the moment and that game changes all the time. However, we're talking share here where 5 out of top 10 are Nvidia (which also changes, yes - and not in favor of AMD but those "other" systems which are mostly under sanctions and can't buy Nvidia at scale). Top five accelerators / co-processors in TOP500 are Nvida per https://en.wikipedia.org/wiki/TOP500 . If you ask Nvidia they'll tell you 64-68% of TOP500 are Nvidia, but they count interconnect as well, not just GPU. Truth is somewhere down, probably within 1/3-1/2 area. It's really not hard to see AMD is putting up a fight, but against a giant. Nvidia outclassed AMD's sales in b2b as well as towards consumers by a big margin which is reflected both in revenue and ultimately market cap. Reason why that's so, since both are fabless, lies primarily within R&D Nvidia did execute on rather well - but that's just like my opinion, man. Everything else are facts.
Many of the supposed minor incidents aren't even real. Two recent examples that got a lot of attention were the mass shooting incident where a Cruise allegedly blocked first responders to a mass shooting (it didn't, the police later clarified), and a Waymo that supposedly blocked a bus and forced passengers to disembark (it was the other way around, the bus broke down and blocked the AV). Also, SF officials got caught misrepresenting safety numbers, and were called out by the state.

At this point I'm very skeptical of issues that get attention. There definitely have been legitimate problems, but it seems like they're rare enough that people would tolerate them, thus fake incidents need to be created. This cone thing also might backfire because now even when there's a real incapacitated AV people will speculate it was due to external mischief.
Most newspapers publish a PDF of their most recent front page. We make it easy to find those in the companion app.
Million Dollar Prize for Scholze and Stix
Her sign is more credible because it's backed by basically every scientific institution, not because she's an autistic Swede.
> CUDA [...] makes the common things easy

Only if the common thing does not include running on hardware of more than one vendor. Which is a pretty common requirement for any consumer software.
Wrong. Making it long and verbose with definition like changing any or vetoing any of the written bills render entire bill void and mandatory incarceration and execution by any Americans in state or out state with automatic full pardon and compensation of 28 million usd in 1994 currency worth. When you write something very verbose and long and with scary consequences, this kind of veto changing will not happen or if happen render useless as it creates immediate death threat to the lawmakers approving it. This is very similar to #2 which do implicit allow execution of anyone by miltia under consideration as enemy from within. This is why no one lawmakers dare to directly touch it.
Aluoch · Streamlit
I didn't think it was that vague. But if you're looking for ideas.

1. High quality LLM made free for commercial use.

2. LLM is used in many places as it is the best.

3. LLM is aligned to subtly promote the interests of the threat actor.

There is no 'compromise'. It is not hacking software, only wetware.

A concrete example...

LLM created by Advanced Persistent Threat (APT) is used in educational software aimed at kids. Over time as the kid interacts with it the LLM promotes a way of thought that either aligns with the APT or undermines the ideology of the society they are in. There is no moment that can be pointed to that says: "look they are trying to hack us!", but decades later you have adult members of a foreign society more open to your way of thinking.

i.e. Soft Power.
That display looks great actually, I've been looking for something similar to build a home dashboard. It is unfortunate that it does not have a touch screen; are there large e-ink screens (>15") that do? Alternatively, can Visionect displays be reprogrammed?
Why do RSS feeds need to be imported/exported as anything other than RSS feeds?

According to this thread, four out of five RSS apps on Linux Mint failed to import the OPML file, and the one that did was buggy:

https://news.ycombinator.com/item?id=36627431

Maybe I'm thick, but it bewilders me that someone wouldn't simply use RSS or Atom directly, instead of abusing OPML to mis-represent it (which is itself just as terribly designed as RSS, by the same person, Dave Winer -- don't even get me started).

Is this some kind of a masochistic corrupted data ingestion challenge from TikTok that I'm not aware of, akin to eating Tide Pods or washing your clothes in Campbell's Soup?

Does anyone even ever use OPML for outlines any more? Or is it like YAML's backflip, where its original name meant "Yet Another Markup Language" until somebody pointed out to their great surprise that it WASN'T actually a markup language, so they retroactively recursively renamed it "YAML Ain't Markup Language" on opposite day?

So does OPML no longer stand for "Outline Processor Markup Language" any more, but now stands for something else like "OPML Presents Mere Lists"?

What's wrong with exporting and importing RSS as RSS? Has its meaning also changed, flipping places with OPML, so it now means "RSS Serves Structures", so you use RSS for nested trees and OPML for flat lists now?

I suppose you could recursively encode outlines as nested RSS feeds inside the text content other RSS feeds as <![CDATA[ at each level, or since those can't be nested, exponentially doubling the number of escaped entities at each level.

I Wanna Be <![CDATA[ -- Sung to the tune of “I Wanna Be Sedated”, with apologies to The Ramones:

https://donhopkins.medium.com/i-wanna-be-cdata-3406e14d4f21
Typically chatbots that I interact with are just attempting to steer me back towards FAQs. I don’t need a different interface to search your documentation in an attempt to keep me on the cheap customer service path and away from the expensive customer service path.

Which isn’t to say they can’t be helpful. I’d much rather chat with a bot than call a person, if the bot is capable of doing the things I need. The thing is nobody seems willing to let the system actually do anything except escalate to a person, so why bother?
It’s no worse than any other electron app. Teams is fine man. It’s not perfect but you can do a lot through it and a lot of functionality is free.

Made perfect sense to switch to from Slack when it launched.
The Future of Online Radio
Even though you can find plenty of websites to listen to radio online, I've always found them very poor (UI/UX is terrible), and I doubt they have good coding practices - tech stack is many times outdated. We want to solve this and bring you a new way to listen to online radio for free, bringing new technologies and focusing on the user.

Please let us know what you think!
https://www.myradioglobal.com/
I’ll be so amazed if they don’t chop that off very early. Embrace Extend Extinguish
I'm in the process of migrating from Evernote to Joplin, doing a careful migration by individual notebooks (with a total of 19,959 notes in Evernote).
So far it has been reasonably painless; for example, I have a few Evernote features to work out how to manage, such as text searches on scanned images.
I had tried a number of other tools (Obsidian, Loqseq, Notion, Bear, Apple Notes) and Joplin seems to fit my use cases the best.
I don't know if it applies to your specific case, but I've successfully used the DB app to get money back. It's quite straightforward! But the option to apply is pretty obscure
While browsing around my synology, I found their own note taking app - synology notes. Export from evernote and import to notes took about five minutes and I've been using it ever since.

It looks and works almost the same so I didn't even notice much of a change.
Or better yet: https://neilmadden.blog/2021/10/27/multiple-input-macs/
Does your comment still ring true if you replace "snap" with "flatpak"?

(What I'm getting at is: why does it make sense for Canonical to define its own sandboxed application format when another one already exists?)
>Five years ago I joined the "green party" in my country wanting to make a difference with regards to climate change.

The green party of my country has successfully revitalized the coal industry, by getting rid of nuclear energy.

My "stage of grief" is that even in western countries only a minority cares. Outside of the west they regard it as an inevitable crisis where the only question is what you can do now to come out on top. Believing that climate change can be stopped by political activism (especially by a group of hypocrits) when the two largest popultion groups on earths clearly are not interested in stopping it, at best, extremely naive.
Ask HN: Recommendations on managing home server services?
Hey folks, for context I recently acquired a Wyse 5070 which uses 6W idle, and looking to replace an 2013 iMac as a home server (which idles at 36W!). So far so good.

I'm looking to install home servery stuff like shiori, plex, vpn server, syncthing, some homemade concoctions and am trying to decide between Portainer, Dokku, and Ansible.

Initially Portainer seemed to be the right tool for the job but with limited resources how many http and db services do I want to run concurrently on a 8GB RAM low power device? So the dokku concept of plugins appeals but I'd have to translate docker compose setups to a series of dokku steps. Ansible seems to be well supported as well and it can even manage portainer and dokku setups plus it makes the whole thing repeatable.

Also I might not have even mentioned your recommended tooling here. It's currently running ubuntu server and I've attached a 5TB disk for storage via USB.

Love to hear your thoughts!
I'm convinced Starbucks is paid off by SV to increase their prices so more things can be described as "just the price of a coffee".
FFmpeg has a lot of assembly language that can be added to:

https://blogs.gnome.org/rbultje/2017/07/14/writing-x86-simd-...
I wonder what superoptimizers like stoke and souper would do with this code.
Acceptance. I can't do much more as the blame lies far out of my everyday reach.

I try to focus on the positive things, like the fact that renewables are being rapidly deployed and that the global CO2 emissions have stabilized in the past 10 years.
"We are going down"

Really? That's no way to live man, cheer up. No one can predict the future, and doomsayers have always been around and will always be around. Sure: things might get hairy, but even then we will manage (or perhaps some of us will).

And if not: then not. Enjoy yourself in the meantime while doing the best you can in terms of being environmentally conscious
you think zuck changed his mind on this?
Since you ask, I think that "climate change" is the über-strawman. No one has argued "constant climate".

Good stewardship of the resources of creation is common sense; let our energies be directed at that.
Yeah, Malaysian is not a bad airline. Both of those losses were really bad luck that could have, and have, happened to any airline.

Not just saying that, I've flown with them twice over the last year and another booked in a few months. After SingAir and maybe Thai, I think they're among the best in the region.

LionAir and AirAsia, on the other hand, I wouldn't get on even if their tickets were free...
It terrifies me that they probably ran their numbers very carefully and realized that this feat of engineering was still cheaper than rewriting their platform using a more manageable tech stack.
I don't know Go's flavor of regex but is this correct parsing code: https://github.com/outcoldman/hackernews-personal-blogs/blob...

Are you taking care that if the <link> tag spans over multiple lines (linebreaks in between), you're still parsing it right?

You do seem to be resolving relative paths with:

feedUrl := matches[1]
if feedUrl[0] == '/' {
feedUrl = url + feedUrl
} else if !strings.HasPrefix(feedUrl, "http") {
feedUrl = url + "/" + feedUrl
}

So I think this is good. Just trying to see what could be breaking for the other users who are complaining their feed isn't listed.
>Have multiple subscriptions to carbon removal + climate lobbying groups, try to do my part where I can.

Lol.
Would this work with magic mirror?

https://magicmirror.builders/

If so I will order right away
I used to follow their progress but I unsubscribed from the mailing list due to donation request spam. There have been very few public updates in the past year. There is still some movement but it seems to be happening at a geologic pace from my perspective.
> If those companies using chat bots are failing to provide value, then they won't be competitive and they will go away.

The difficulty is, this is obscured to the customer.

Let's say I have a broadband account in a country with competitors I can choose between (eg the UK, where I can have BT or Virgin). I've already chosen the best package for me. I'm ringing up after six months of good service to fix my intermittent line drop.

The chat bot is terrible and I have to wait until the problem goes away on its own.

Unfortunately for me, I can't just guarantee that switching to the other service will make a difference, because chat bots are not core service. I can compare broadband options and pick the best, and I'm already on that. Now I have to gamble that some combination of:

(broadband option) + (customer service) is higher than the one I'm on.

Unfortunately for me, I have no way of checking this. There's every chance that I'll end up on a worse broadband option and a worse customer service option.
I agree for some of us, Greta is not doing good PR for this topic.
I like the more calm, scientific approach.
That being said i think that many people really don't care UNTIL it hurts them directly.

Until then i am on the Kepp calm and carry on boat, but i share my practices of ressourcefulness to others.
That starts with how i wash my hands over better planning my food logistics to reduce spoilage/waste to driving around unnecessarily.

I think small things multiplied by thousands of people go a long way and it's really the only thing i can do.
How much more work could possibly be required than writting the headline of the pitch? Moviepass raised ~$70mil, and peaked out around $300mil and trains are way cooler than cinemas so seed round should be around a B.
Ample Capacity and Monopoly Markets: The U.S. Space Launch Paradox
Just in case some people don’t get the joke: https://blog.duolingo.com/french-accent-marks-pronunciation/
To me it doesn’t seem to make sense to first claim that you can’t filter for salt in water, and then talk about semi permeable membranes and osmosis. Those membranes are filters for salt!
There are cheaper e-ink displays by Waveshare.
e.g. the WaveShare 13.3inch e-Paper e-Ink Display HAT For Raspberry Pi for 500€.
You can build a box to house the display and the Raspberry Pi for under 100€…
Add some scripts to download and display the news PDF and you can enjoy it for 1/4 of the price…
I'm not accepting it yet, but I'm working on dealing with the anger and sadness better. While it seems that not enough is changing fast enough, a lot is changing actually. The awareness is growing and getting louder. Stay positive, but don't confuse it with expectations in your mind.
The calm scientific approach has been failing to make a meaningful impact for the last couple decades. I am grateful that Greta gets people talking.
When do you plan re-run your crawler? HN users are updating that original HN discussion every minute as we speak! It'll be nice to get an updated list sometime today. Possible?

And yes, thanks for your work and sharing it!
For the sake of this argument, lets suppose you run a git server. Users $(ssh) into your host and are only allowed to execute the command $(git), for instance for submitting a copy of their repository. You think: It's fine, the user cannot mess up anything on this system since he is restricted to run git.

Allowing any user $(git) access is as powerful as providing the user a $(bash)

Suppose you've got a build pipeline. The pipeline executes $(zip) at some point. Executing zip is as powerful as providing any of the pipelines users a $(bash).
A very instructional post. I wish more people had such a level of mastery of GPU assembly and its effects, and would post such treatments on outsmarting NVIDIA's (or AMD's) optimizers.
Whats your angle/niche? Quickbooks, Salesforce and Gusto immediately come to mind, among many others. It's a mature market segment with a lot of competition.
They have to in France, on request.
Isn't This a Category Error?
Lisp has been criticized as a language that cannot handle all of the
type classes.

The essential claim, as I understand it, is that Lisp could
not handle type union, intersection, and negation. I've been slowly
working to better understand that criticism.

In this paper (p3) the author writes
( https://www.irif.fr/~gc/papers/set-theoretic-types-2022.pdf )
The more precise is a type the fewer functions
it types, the most precise type being one that, as
(¬false→false)&(false→true)
completely defines the semantics of a function.

While I agree with the first half of the sentence about
the precision of a type, it seems to me that "type" and
"semantics" are categorically different.

Trying to claim that types capture semantics seems to
extend an essentially mechanical process (typing) to an
essentially philosophical one (semantics).

So my question is, "Am I incorrect in claiming that types
and semantics are categorically different"? This matters
in the kind (pun) of work I'm trying to do, especially in
the struggle of defining specifications.

Like Godel, I keep struggling with self-referential and
self-modifying systems (self-reproducing robots being my
actual domain of research). Systems with these properties
have types and semantics that can "move" over time.

A self-modifying system (e.g a neural network) could start out
properly classifying inputs (e.g. cat vs dog) but over time add a
third "type" of "don't know" as more training occurs. That isn't a
temporal logic or fuzzy logic but more of a "morphing(?) logic".
Here time is not the subject of logic reasoning but the essence of the
mechanism of reasoning.

The game gets even worse as my neural nets can change
structure, get feedback from their own output as input,
split into and/or join with other nets, and accept their own
structure as input and output (similar to genetic algorithms).
The physical model is closer to yeast cells than neural nets.
( https://www.wiley.com/en-us/Yeast%3A+Molecular+and+Cell+Biology%2C+2nd+Edition-p-9783527332526 )
(Lest you think I'm joking, yeast can find optimal paths in graphs and
optimally solve mazes.)
All of this nonsense sits on self-modifying hardware (FPGAs).

Godel considered self-reference but not self-modification.
Might a system that can't currently solve a problem slowly
self-modify into one that could?
I'm fairly positive in believing the tech and government regulation are probably going to save us from the very worst of climate change.

My faith in humanity generally has been near fatally wounded by this experience though, so if any other big problem appears I can see us ending civilization rather than sorting it out.
Show HN: A minimal community forum with Discussions, Comments and Replies
Yes? I haven’t used cloudflare in years now.

99.9% of the time you literally don’t need their services.
Nice looking screen! Is there a way to run it without the subscription though? Or any alternative? The 32" was a bit too pricey for me, but the 13" was more wallet-friendly (899 EUR excl VAT)
Good. Using Twitter for mission critical messaging is just criminal negligence at this point.
Interesting, another project by Alexander Klöpping (coincidentally also OP). I guess this guy is the definition of serial entrepreneur. He's founded (and sold) Blendle, which is kinda related to this product, but before that he'd already started tons of companies. He's somewhat famous in the Netherlands as he's often invited to explain the newest tech stuff on TV.
> File exceeds maximum allowed number of subscriptions! Your file contains 659 out of 150 maximum allowed subscriptions for your plan.

Alright.. I'm gonna build my own RSS reader then.

Edit :
A kind of "decentralized" social media platform where we post on our respective personal blogs, and we may follow each other by using RSS subscriptions. If HN is one such platform, here's the chronological timeline : :https://gist.github.com/altilunium/c2fcbe1e23aeb1cb9564f2593...

While generating this list, I found at least 80 sites with inaccessible RSS link : https://gist.github.com/altilunium/8319dae345f701a2a1efd0152...
Would you mind explaining the unstated premise that basic research should in any way should be directly applied to solve real world problems?
Same URL, but in English :

https://www.service-public.fr/particuliers/vosdroits/F11601?...
Facebook changed their algorithm several years ago (2014?) to prioritize paid content over organic comments. This resulted in many companies being force to change how they communicated, as people who followed them were not guaranteed to receive critical information if posted on Facebook.

I guess the biggest difference is that Facebook has had almost 10 years to adjust the algorithm towards paid content, and have users becoming accustomed to the system.
> Calling those meals "failures" now would be saying that it was a mistake to enjoy that time with my family and friends, and it absolutely wasn't.

If gaining weight is the failure in this context, the mistake would likely be the excessive intake of food.
Time spent with friends and family would not be the mistake.
This might have come off a bit harsh.
Just doing some very quick benchmarks:
https://scarjit.github.io/cryptoBench/target/criterion/repor...

It's measureable, but in most applications i wouldn't optimize this part.
Helping people leave your App isn't the the top of most product manager's goals; even without the managment nightmare.
Utilising inherent network effects to aid discovery within your app is the top of most product manager's goals.
People keeping calm and carrying on is the reason we are in this mess. I'm feeling quite weirded out myself how most don't want to talk or understand much about it, just pretending it's not there.
Note that code-davinci-002, despite the confusing name, is the actual GPT-3.5 base model, which only does completions and does not have any mode collapse. And it is still available via Azure, as far as I can tell. Text-davinci-003 is a fine-tuned version of it.

More info:

https://platform.openai.com/docs/model-index-for-researchers
The decision is often inspired by two things
A) how near impossible it is to migrate the sheer amount of services and code without breaking something.
B) that often the needed performance is not needed is not having big jumps. So small but constant improvements are the way to go.
Why SpiffArena is the new standard in business process automation
We recently launched a preview release of SpiffArena at spiffdemo.org. This article provides details on its major features and the reason we believe it is a game changer.
To a first approximation, the increased share price of NVIDIA is because AI developers including OpenAI bought as many as NVIDIA can make.
I built a production app on top of OpenAI and yeah there are frequent errors and timeouts but you literally just have to add some code to account for these and it works fine...

For example exponential back off is the first step, then adding retrying on timeouts (we use streaming and if there are 30 seconds in between getting data back we retry the whole request - rare but happens), then fixing anything else that pops up

It is possible to have a stable production app on top of it

Just fix your code and stop expecting OpenAI to hold your hand
many years ago this was interesting. Nowadays, with the progress in deep models i m not sure if there is much to learn from c.elegans. What is this useful for? For high level cognition, it's much more fruitful to study how deep models do it. For low level brain diseases, c.elegans is too simplistic to tell us anything we dont already know