Top 30 stories from Hacker News. Top 10 include comment highlights. Compiled at 20:10 UTC.
485 points by starfallg · 102 comments
What HN said:
starfallg: Hi, I'm the creator of Bento. Just wanted to share a bit more about how I created it beyond what's in Github. The file contains more or less two sections. There is a plain block of JSON near the top of the file which is the slide data.
praveer13: This is amazing. I also think this will become more common. I feel there is a lot of software that can just be served locally via html/typescript/react etc and even have local state. There's just not been an economic incentive till now.
notpushkin: > Go to https://bento.page/guestbook/ to try out the live guestbook to experience share editing / collab. My M1 Mac froze in the end (had to hard-reboot), but that was so much fun! I guess there’s a reason Figma uses WASM and a custom renderer, though I guess your implementation...
georgeburdell: Hey just wanted to say I think this fills an extremely common niche in the corporate world. There are a couple of teams at my company who switched to some variant of fancy html/javascript and away from either cloud or desktop copies of off-the-shelf presentation or visualization...
363 points by DemiGuru · 365 comments
What HN said:
jhallenworld: I have a new LG TV, holy moly what a terrible user experience. Out of the box it requires you to create an LG account. PITA, but OK. Except I was supposed to set the location first, instead I set it after. So now you have the problem that you can not log into LG.
jacobgold: US residential proxies are the bane of the internet. They're the major source of social media manipulation and spam. Services can dramatically reduce abuse by blocking entire IP ranges based on country of origin, organization, or type (hosting providers).
12_throw_away: 42% of the apps on LG's platform have these quasi-malware SDKs in them? Seems kinda bad, whether it's due to negligence or just pure incompetence? You'd think there might be legal consequences for a corporation that lets their app store turn into a malware delivery system?
s1ncere: Stop hooking up your LG tv to any network
339 points by ksec · 433 comments
@iamjasonlevin Passkeys were invented by security engineers with zero understanding of the consumer brain. We had no way to argue its merits since no one understood what they are. As a result, we are now all asked to produce the magic fairy dust to login to apps.
What HN said:
gortok: I do not know how to use a Passkey in a way that won’t impede how I log in to systems. I’ve been in tech for 26 years, and I understand the Public/private key behind what a Passkey is.
66fm472tjy7: The comments here are interesting. It seems those who like passkeys/consider them simple are those who entrust all their credentials to proprietary cloud software vendors that will sync them to all their devices.
christina97: It’s quite the opposite. Passkeys are phenomenal for a lot of consumers. Based on this thread, it’s the engineers who understand authentication in the first place and have their own system (eg password manager) that are confused.
tossitawayplz: The first time I got asked by a site if I wanted to use a passkey I immediately googled what they were and... never really found the answer, not in the 5mins I devoted to being distracting from my task at hand anyway. "magic fairy dust to login to apps.
322 points by gmays · 152 comments
Here's a chat someone thought you'd want to see.
What HN said:
WarmWash: Math has some of the most insanely dense and impenetrable nomenclature. I can generally keep my head mostly above water or at least near the surface reading from most STEM fields, perhaps leaning on google/wikipedia a bit, but man, mathematics just so quickly decouples from all c...
napoleoncomplex: This is the second ChatGPT shared conversation I've seen today that is truly fascinating. The first one was someone proving another conjecture false by just repeatedly saying "keep going" to ChatGPT: https://x.com/DmitryRybin1/status/2079904005652893709 What a world we live in.
ecshafer: Terrance Tao's chatgpt conversation is really interesting for a variety of reasons: 1. The counter example wasn't just a brute force selection, the polynomial is structured in a very specific way that ends up getting the result. 2.
lukebuehler: It’s endlessly fascinating to read the AI transcript of an expert who really knows how to cut to the chase. It just shows how much you can potentially squeeze out of these models.
238 points by abelanger · 129 comments
A guide to preventing Postgres from toppling over.
What HN said:
frollogaston: This advice is good, but every startup I've worked with has run into lower hanging fruit than this even. Less scaling problems and more just organizational. Usually what fixes that is: 1. Don't use an ORM. 2. Use serial PKs, not meaningful fields (article mentions this). 3.
theallan: Should one of the first things you do with a database not be to have a backup strategy? I understand that HA would be a "nice to have" when first starting out, but surly if you have a production db, a backup and restore plan should be on a survival guide? Neither appear to be men...
ComputerGuru: Some comments and corrections: * Use uuidv7 not uuid in general (typically v4) * in addition to minimizing locked records, make sure your locks are ordered deterministically across all queries (eg by id asc, always) or you’ll deadlock (but postgres has a really good deadlock dete...
mjr00: Good article overall, some comments: > Use foreign keys with cascading deletes for low-volume tables, particularly where database consistency and correctness are important. Careful at higher volume.
220 points by zdw · 95 comments
Coming to a Panther Lake notebook near you!
What HN said:
Tepix: I believe Intel has a winner with the upcoming Crescent Island GPUs with up to 480GB of LPDDR5 memory. A lot of SMEs will need local AI with large open weights models (i.e. >1.5TB of VRAM), but they don't need a watercooled 8x Nvidia GB300 box.
rando1234: Amazing looking machine! $380 million a pop. Must surely be one of the most sophisticated machines humanity has ever built? A great achievement of European science and technology (ducks).
johndear223: I was just reading about this in a tech magazine, couple of startups also trying other techniques of interest, one of them using helium atoms for the lithography. This uses pretty close to x-ray wavelengths of light.
ginko: Is it so hard to explain what the term "High-NA" is supposed to mean at the start of your article?
213 points by badcryptobitch · 41 comments
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
What HN said:
danabramov: Lean is super cool. If you're curious how proof checking works (on the type system level), I wrote an article about that: https://overreacted.io/beyond-booleans/ Here's another article I wrote that gives some intuition about the role of axioms in Lean: https://overreacted.
mkw5053: If you like Lean, here are two more great, short books on proving things about your program (not with Lean, though): 1. https://mitpress.mit.edu/9780262527958/the-little-prover/ 2. https://mitpress.mit.
kccqzy: I think the explosion in the popularity of Lean probably means that tactic-based proofs have won. I wrote many proofs in college and on mere aesthetic grounds I avoided the use of theorem provers with tactics.
tantalor: The Natural Numbers Game is amazing, highly recommended. > In this game you recreate the natural numbers N from the Peano axioms, learning the basics about theorem proving in Lean. https://adam.math.hhu.de/
200 points by erikschoster · 78 comments
What HN said:
planb: I know many people agree but I can’t really follow this sentiment. I can still take pride in something I “made” with an LLM even if I did not write a single line of code for it.
avilay: I have been grappling with a similar sentiment for a while now. I hate to think of myself as a Luddite, but I love the act of writing code. A blank VS Code in front of me is a beautiful sight full of wonder and possibilities :-) Here is how I rationalize the two - the pride and s...
jterrys: In my opinion, the personal threshold of 'making' says more about the remnant era in which you were raised in rather than about the specificity of the act itself? Your grandparents lived in an era where it was common for men to build their own homes.
unshavedyak: I have a slightly different approach. I've done this as both a profession and a hobby for around 18 years now, and even these days i spend quite a bit of time "making" things i take pride in.
193 points by syrusakbary · 35 comments
Language model tokenization at GB/s. Contribute to marcelroed/gigatoken development by creating an account on GitHub.
What HN said:
maxdo: Interesting : Q: Did you just way over-optimize for a specific CPU and tokenizer? How is it so fast? No, I way over-optimized for every combination of these! The results are very consistent across CPUs (modern x86 and ARM), and across specific tokenizers.
onlyrealcuzzo: This is awesome, but tokenization is typically <0.1% of total inference time. Presumably there's a host of applications that just need to tokenize, though, and this would be great for those!
swiftcoder: So the question becomes, how many other parts of the inference pipeline have left 1000x optimization opportunities lying on the table?
0xnyn: I had to stare at that chart for a minute just to let the numbers sink in. It's genuinely mind-bending, incredible ship OP
160 points by surprisetalk · 150 comments
And why does the brain use creatine anyway?
What HN said:
olooney: Good discussion, but this conclusion: > I don’t know. Maybe a little. is not the right way to interpret the null result (insufficient evidence to reject null hypothesis that it has no effect) because the prior for supplements that people are trying to sell you is so low.
block_dagger: I have severe sleep apnea as well as insomnia. I may also be a multi-phasic sleeper. In any case my average sleep per night is ~3.5 hours with only ~1.5 hours of deep sleep. I use light therapy, CPAP, medications, etc but none of it solves my problems.
faangguyindia: Sometimes I stay up until 1–3 a.m. because I'm working on a problem that's so interesting I can't stop until I make progress. If I know I'm only going to get a few hours of sleep, I'll take 5–10 g of creatine, drink plenty of water, and go to bed.
John23832: Most people taking creatine just need to drink water. They drink more water using creatine. In reality, the water/hydration is doing the heaviest lift, not the creatine.
AI/ML
Other
Science
Security
Stories and comments sourced from Hacker News public API. Not affiliated with Y Combinator or Hacker News.