skysight-inc/HackerNews huggingface dataset:
>There are plenty of apps that I install from .deb files:

Which, again, is a terrible habit. Why you are using Chrome at all is truly confounding me

> it isn't intuitive it's a fail.

It shouldn't be intuitive, is is a terrible thing to do and basic UI design tells you that doing terrible things should be hard.

If you lack the technical competence to correctly install a package you should NOT be using that operating system.

>App distributors need to get on board and start shipping things that aren't Debian packages.

There is absolutely nothing wrong with Deb package. The issue is with you downloading and installing them, which for many reasons is a terrible idea.
It's a quaint anachronism, like afternoon tea and cricket, of the 1st, 2nd, 3rd, 4th, 5th, 6th richest nation on the planet.
Maintained by witless fools who's sole achievement in life was to marry a wealthy woman.
A mathematics degree will have some kind of 'transition to higher mathematics' course that you take your freshman or sophomore year. You meticulously work with sets, definitions/theorem/proofs in a simple setting, and especially adding 'structure' to sets with axioms.

In regards to the article, the course of this type that i took had frequent quizzes that required nothing but reproducing precise definitions or proofs we had learned. Of course the ideal would be for the student to be able to reproduce these from understanding. But in practice i was doing a lot of brute force memorization of definitions - i just hadn't internalized the language of mathematical logic well enough to reconstruct a concept's definition yet. however, it got my foot in the door and having those definitions in my head made the next courses easier, so if i retook that transition course a few years later on, i would not have needed to do so much memorization. i got better at learning those kinds of basic definitions.

So my answer to your question is yes to some extent - the memorization aspect of learning described in the article is useful for learning the first step to Math B as well. Also if you want to make another learning attempt, be sure and go back and start at that freshman/sophomore level transition course i was describing!
I have a 32 GB machine from work that is routinely nonfunctional due to running out of RAM. I have maybe 40 chrome tabs and vscode open. With almost nothing fancy 32 GB seems insufficient IMO
That is true but not whole story. I believe when people talk about PBR Textures they most often use PBR synonymously to "Principled Shader", "BSDF Shader" or "Disney Shader" (all meaning roughly the same thing).
How about we stop reinventing the fricken wheel every 3 years and let users adopt something? U2F keys were pretty danged good and they were easy to explain to my 70 year old parents "This is like your front door key to your house, it's a physical key to your Google account".
On further research: It's the Department of Labor's definition of "highly compensated employee" (https://www.dol.gov/agencies/whd/overtime/rulemaking/faqs), which is the "annualized weekly earnings of the 85th percentile of full-time salaried workers nationally". Not sure why they pick the 85th percentile specifically but it feels like a less arbitrary number.
> [Notice] Regarding Floorp's official Twitter account, Floorp's official Twitter account (
@Floorp_Browser
) was frozen, and although I filed an objection, it was impossible to revive it. Information about Floorp will be sent from this account (@Ablaze_MIRAI) and Misskey (@Floorp@misskey.io).
Hey, founder of Hanko.io here, we run passkeys.io. That behaviour is not intended. We've recently changed the demo to require authenticator attestation on passkey creation, that may have an impact on authenticator selection. But a quick test on my system (macOS, Chrome) resulted in the 1Password UI intercepting the "Create a passkey" flow - as expected. It would be awesome if you could help us understand why your experience is different.

With that being said, we are not happy with how password managers have implemented passkey intercepts, but ultimately that's a decision the user can make, as it can be disabled in the browser extension settings.
Ban? Nobody wants to ban it - the U.S. wants to OWN the data and have access to it
Most politics is off-topic for HN. Also, it typically leads to shouting matches, which are terrible discussions. It's not what HN aims for, and so political articles usually get flagged.

Arguably, this one is more on-topic than most politics. Also arguably, the discussion hasn't degenerated (yet). So, maybe flagged just because of politics, rather than because the discussion is awful.

By the way, flagging is done by users, not by the moderators. So it's us, not YC, that thinks this is problematic (or likely to become so).
I understand the preference to run models locally rather than in a rented space, but given the speed of development and the amount of money involved, you should have a clear reason why you need to run these models locally.

As far as I know, the most RAM you can get in a MacBook Pro (which is what you said you're shopping for) is 48G.* The base price for new one with that much unified RAM is around $4000.

The Mac Pro towers (not MacBook) have up to 192G unified RAM. The base price for that configuration is around $8600.

The smaller LLMs are getting quite good. A lightly quantized Llama-8B should comfortably run on a MacBook Pro with with 16G of RAM which you can get for around $2000. The money you save on a cheaper machine will go a very long way renting compute from a datacenter.

If you need to run locally, then high end Macs are excellent machines. Though at those prices you might get better value buying a second hand crypto-mining rig with multiple Nvidia 4090's.

EDIT: I was wrong about the MBP unified RAM. You can get an M3 Max with 128GB for around $4700.
>Of course we can thrive with less meat consumption or none. How is that even a question?

I have personally been helped by a diet of mostly meat (and frozen raspberries) which I stayed on for a few years. It helped me to stay somewhat productive while I slowly recovered from a complicated illness state.

These years I get most of my protein from beans and almonds, but those foods do subtle cumulative damage to my gut (even if I pre-soak, pressure-cook, then refry the beans and blanch, then toast the almonds) so once a year or so I take a break from them, and since I cannot handle eggs, grains or dairy protein, and since I seem to need a lot of protein, during the breaks I eat a lot of grass-fed lamb.

If I lost access to meat, I would be less healthy.
> There's a non-zero cost to seeking out new things, so the "special way you are wired" involves considering that cost to be worth it.

Sure, but my (perhaps incorrect?) assumption is that most people are doing that with something. For me, music is one of those somethings. For others, it isn't.

I have no data to support it beyond my personal anecdotes, but I believe that the majority of people are still seeking out exposure to new experiences in at least some hobbies or interests past the early 30s number given in the article. I would hazard a guess that that time might be when people become particularly more selective in the sort of new things they want to experience.
Later rounds can buy out early rounds.

For example: https://www.bloomberg.com/news/articles/2024-02-28/stripe-st...

Some VCs are OK with long-term ROIs, too.
I'm mostly a spectator in this, but as someone who hears day in and out about the "AI revolution" I'll point out that the number of places these things are being shoehorned into would greatly benefit from logical consistency, if not the ability to do simple math

Your phrase "next token prediction" is the whole of my heartburn with these stochastic parrots: they can pretend to be good talkers, but cannot walk the walk. It's like conducting interviews or code reviews all day every day when interacting with them: try and spot the lie. Exhausting
Hierarchical Navigable Small World (HNSW) algorithm
Between adblockers and YouTube Premium, I haven't seen an ad in ages. Ads are to me mythical creatures I hear about, mostly on HN (amusingly enough). One of these days I'll take a quick dive into a regular ad experience, like a sort of digital travel experience.
Why would you want to? Just create a new passkey on the other machine. If you're saving them in a password manager, just create a new entry, "Another Machine's Passkey."
The difference is extremely clear: Israel is viewed as a key US ally. We give them more foreign aid than any other nation. We got to bat for them very frequently, and almost all of our UN Vetos have been used preventing things from being said to them. The two countries are very connected. When Nigeria eg. does something, we don't rush to approve more weapons immediately.

The closest equivalent imo is South Africa, which the US government was similarly close with and people were Very Mad in almost the exact same way.

& Finally, I truly do not understand the viewpoint that we should give aid to Israel and not Ukraine. I can see the arguments for both or neither or for just Ukraine but this one's baffling. They are currently being invaded by a much bigger power. They are required to use the weapons they get purely defensively.
yes “structuring” is illegal. its not a “money laundering law”, perhaps a capital control. its unproductive to play into the idea that all movement of money is laundering and it isnt moving a discussion forward when the language is conflating everything.

I can see the categorization of "AML" - anti-money laundering law. I think then that the context hasn't been made clear, when we are discussing the actual criminal charge of money laundering, versus the criminal charge of structuring or avoiding a transaction reporting threshold.
Anneal autopsy: post-mortem reflections on a failed engineering software startup
AskReferral
In an era where networking is key to career advancement, askreferral.io emerges as a groundbreaking solution, revolutionizing the recruitment process. This innovative B2C software platform is designed to optimize the recruiting workflow for interviewers, candidates, and recruiters alike. By enabling users to reach out to their entire relevant network—including college alumni, past colleagues, and employees at applying companies—with a single click, askreferral.io significantly simplifies and streamlines the job search and hiring process.

Since its inception, askreferral.io has successfully implemented its product, amassing a growing user base and supporting job seekers in their quest for employment. Additionally, the platform has cultivated a vibrant community of over 125,000 LinkedIn followers, further extending its reach and impact within the job market.

The inspiration for askreferral.io was born out of a desire to assist individuals affected by the tech industry layoffs, particularly those in challenging visa situations. The platform’s ability to facilitate connections with potential referrers with just one click—providing essential details like resumes, coding profiles, LinkedIn profiles, and personalized pitch letters—has made it a lifeline for many seeking employment under tight deadlines.

In the next four years, askreferral.io aims to become the premier destination for candidates seeking jobs, referrals, and interview opportunities, as well as for recruiters in search of the most suitable candidates. The platform envisions a future where it serves as the ultimate resource for interview preparation, mentorship, and freelancer connections, revolutionizing the hiring process with zero-interview hiring for tech teams.

askreferral.io stands as a testament to innovation in the digital age, offering a more efficient and effective way to network, seek jobs, and recruit talent. As the platform continues to grow and evolve, it remains committed to its mission of simplifying the recruitment process, making it more accessible and rewarding for all involved.
Solar power is changing life deep in the Amazon
I suppose you're right. Sometimes I just can't help myself.
> A few centuries ago, philosophy was a knowledge.

It's still the love of knowledge to this day.

> Now that sciences and technology rule the knowledge field, philosophy's enthusiasts just claim that philosophy helps learning to think and widens one's spirit.

Science ( aka natural philosophy ), is just a small part of what we call knowledge.

> If that were true, I think philosophy would be a mandatory study to anyone interested in advanced scientific theories,

Science is a part of philosophy. When you get a PhD in physics for example, you get a doctorate in philosophy. It's just philosophy confined to the study of the natural world guided by empiricism. Certainly most scientists have studied some philosophy.

> Even so, most arts can claim the same: "grasp new ideas" and "open to fields of knowledge". In my case, I could say that for literature.

We can say philosophy is an art form centered around reason. Using the broader definition of art, everything is an art.
They don't handle paging well, they don't handle memory-mapped files well, they don't handle shared libraries well... Memory reporting tools are generally crap for non-experts, and pretty poor even for experts.
Unironically yes if they commit to volume. 10k isn't that many and certainly not enough to recoup big R&D expenses over. Ford sold 4.4M cars apparently.
> Why do people do that? Does it really increase engagement?

It's not for engagement, it's usually because they don't actually have a standard pricing. It signals that they don't want small, self-serve customers, they only want to serve enterprise customers who want to negotiate custom contracts.
Is that supposed to mean something? lots of people died for the Third Reich, but that doesn't validate it.
Can someone point me to an informative source for "packers"?

Searching "packers for your junk" or "penile implants" doesn't get me anything that sounds like it's what this comment is referring to.

Please and thank you.
Isn't Pieter Levels using AI to build is therapistAI app with pretty good results?

I'm sure it's not perfect, but from what I've seen and heard about it, it seems to be a good springboard for basic "therapy" but not REAL prescribed therapy of course.

Sounds like it is helpful as an entry level to 'therapy' and is only getting better.

Arguably maybe it's because Peter is not using ChatGPT for his model AI.
My wife has been sick all week and has to communicate over text because her voice has gone. We’ve been talking about making voice clones of ourselves for situations like this. Some people never regain their voices so preserving them before they lose it is super valuable.
Sounds like they don't have enough patches in.
In the face of bans, ByteDance tightens grip over US TikTok operations
First of all, the I in IRGC stands for Islamic and not Iran. In fact, neither their logo or any of their patches mentions the word IRAN.

As my beloved homeland is, imo, under effective coercive occupation of Islamist ideologues (there is not a even hint of godliness in that regime) it is preferred that you refer to the regime by its name IRI and not cast calumny on the beauty that is IRAN.
The default Debian installer includes non-free firmware nowadays, so there is basically no difference to ubuntu for that.
They already are. For lots of cars, a quick web search will get you instruction for how to disable the car's ability to phone home. As time goes on, I expect more and more cars will have such instructions.

That's pretty much my backup plan for when the day comes that even used cars include this stuff. But until then, it's easier for me to stick with used cars that don't require modification.
Turns out due process was invented for a reason.
overly complicated writing using just shell vs. programming language(s) designed for/more suited for task,

snarky: get a raise via get_arrays approach works nice if billing by hour, not so much if scripting system wide scripts.[0]

[0] : https://www.linux.org/threads/init-and-its-alternatives.9279...
The other flip side is we also keep things mapped into memory more often. So that tab you haven't opened in a while will have the media in it memory mapped. It won't actually be loaded in RAM. The mapping just allows it to be more easily loaded if you ever opened that tab again.

This leads to users with 'just enough knowledge to be dangerous' looking at total memory allocated and making outlandish claims. "My browser shows 4GB allocated when I open a single tab, you obviously need 128gb minimum for multiple tabs these days" they will say as they post from a mobile device with 256mb of RAM running the exact same browser and which would show the exact same allocation patterns if htop was as easy to access on a phone.

So we have this problem where various apps show outlandish ram usage to end users who just don't understand memory allocation. The apps will be snappy and responsive because memory mapping is a really efficient way to not load things like unused browser tabs into memory but they'll ignore the actual high performance and make ridiculous claims that you can't use chrome/safari/edge with 8GB of ram.

It's a bit of a losing battle. I've even seen tech sites post articles '8gb isn't enough!!' complete with a screenshot of 'memory allocated' rather than an actual deep dive into page misses and performance issues.

If those users actually ran the same memory usage tools on their phone they might be in for a shock. Chrome has the same allocation patterns on phones too and the phones don't have 8gb of ram. Because they simply never had a view that showed '4gb allocated' for a single tab on their phone they think mobile chrome is super special and doesn't need that while their perfectly performance 8gb laptop does.

It's super frustrating.
You can capture the whole scene in a single exposure. Handy for moving images.
I've heard and read Greece being compared to the Middle East as well, more than one time.
I like that app but until they add in templates, it's a no go for me. They are discussing it though (for 2.8.0), so maybe a future thing.

https://github.com/keepassxreboot/keepassxc/issues/8228
That's right, a crypto mixer that affords true privacy (except relative to the mixer itself) w/o additional controls (e.g., transaction limits comparable to practical limits on cash transactions) is definitely a money laundering enabling capability.

Whether one can conclude that the people running the crypto mixer are engaging in criminal activity will depend on the text of the relevant statutes, though I'm pretty sure those will be fairly airtight.
It's important that we marry viewpoints when looking at what we call "meaningful". I spend a lot of time right now with a 6/7 yr old. This child does not care about meaning. This child likes to solve arithmetic problems one after another. It's motivating -- it's like a game -- the kid gets them right and gets a thrill. Word problems? Well, the math ability is outstripping the reading ability right now so 2000 x 2000 x 2000 is way more fun than reading some stupid sentence about tulips.

I've spent plenty of time on math (PhD in algebraic geometry) and educating people, and for sure when I taught college freshmen and master's students I spent a lot of time challenging folks to engage their minds, spirits, and intellect. At the same time, we have to admit there is a stage of childhood where kids just love memorization and facts. Dino facts, shark facts, math facts, Pokemon facts, My Little Pony facts, whatever. Let's not force kids to reckon too much with meaning when they're in the facts for facts sake stage -- and once they've got their impressive facts list, they'll make sense of the meaning much more easily, as discussed in the article and here!
"Steroids" [0] are a very broad category of organic compounds, and it is a mistake to assume that the effects of steroids used for performance enhancing and bodybuilding —anabolic steroids, themselves still a broad category [1]— have anything to do with steroids in general and the specific clinical use cases that each of them may have.

Furthermore, the steroids that you are referring to are most likely corticosteroids [2], which are most certainly not prescribed to "boost your immune system" but rather to reduce the immune response when it is excessive, or even suppress it to treat autoimmune diseases.

Please don't assume that off-label anabolic steroid usage is somehow safe and healthy only because modern medicine uses completely different compounds which happen to share a portion of their chemical structure for treating specific medical issues.

[0] https://en.wikipedia.org/wiki/Steroid

[1] https://en.wikipedia.org/wiki/Anabolic_steroid

[2] https://en.wikipedia.org/wiki/Corticosteroid
I’ve been playing cyberpunk recently and I can’t help the feeing of “this is just our current world with more biotech.”
What is a Founders Associate?
That's fine. I wouldn't install the source Ubuntu the first month either, as others have mentioned issues in other threads.
From https://hacks.mozilla.org/2024/04/llamafiles-progress-four-m... it sounds like it's a very active "feeder fork", with jart doing a massive amount of cutting-edge work on CPU inference and slashing through the driver thicket, then upstreaming (some of?) it to llama.cpp. (I don't know enough to know if all of her work applies to the upstream.)

I don't follow the space enough to know how much work is going into llama.cpp, but from my naive outsider view, it sounds like llamafile is the place to be for "mere mortal" LLM usage. That's where they (ok, mostly she) care about those sorts of use cases.
The website is completely broken with Firefox. Search results do not appear on the screen - you must scroll down to see results. Clicking on the asset images does nothing so they cannot be downloaded.

When using Chrome the layout and interaction works, but even then browsing is a poor experience as only four items can be seen at once so lots of scrolling is needed.

Sheesh... modern web design is a disaster. This sort of collection could really use static pages with labels as links and small thumbnails showing at least 50 items per page.

[Edit] I recommend https://ambientcg.com/ instead as that site is much more responsive.
"Leftism is defined by a goal of communism or socialism"—but that is just communism. No other ideology seeks communism as a goal, and socialism is just a stepping stone to communism, or at least that is what they taught me in my Soviet high school.
I think there is another one, Math C that involves day-to-day mental arithmetic which I am terrible at despite being good at Math A and holding engineering degrees. There might also be another element of Math C which is a feel for numbers and lets you know if an estimate or the value staring at you on the calculator screen makes sense or if it is obviously wrong.

I tie my poor mental arithmetic skills partly to never properly learning multiplication tables, at least not all of them and perhaps something lacking in my brain which also means I have a terrible sense of direction.

Yet, when it comes to symbol manipulation where the numbers don't matter until the very end, then I am good at that.
Windows 11 will display a watermark if your PC does not support AI requirements
It's now possible, but for years the excuse was that MBCS encodings only supported characters up to 2 bytes.
In the rapidly evolving landscape of artificial intelligence (AI), we stand at a pivotal juncture where technological prowess intersects with ethical considerations. As AI systems become increasingly sophisticated and their decisions bear real-world consequences, the quest for transparency and explainability has taken center stage. This pursuit is not merely a matter of satiating intellectual curiosity; it is a fundamental prerequisite for fostering trust, accountability, and responsible AI development.