Publicaciones

Article URL: https://mainichi.jp/english/articles/20250425/p2g/00m/0bu/047000c

Comments URL: https://news.ycombinator.com/item?id=43800988

Points: 44

# Comments: 5

https://mainichi.jp/english/articles/20250425/p2g/00m/0bu/047000c

Article URL: https://www.cloudofoz.com/verlet-test/

Comments URL: https://news.ycombinator.com/item?id=43801179

Points: 100

# Comments: 4

https://www.cloudofoz.com/verlet-test/

Article URL: https://mastodon.online/@mastodonmigration/114399534536933573

Comments URL: https://news.ycombinator.com/item?id=43801461

Points: 17

# Comments: 4

https://mastodon.online/@mastodonmigration/114399534536933573

Article URL: https://www.chemistryworld.com/news/australian-who-ordered-radioactive-materials-over-the-internet-walks-away-from-court/4021306.article

Comments URL: https://news.ycombinator.com/item?id=43801439

Points: 36

# Comments: 12

https://www.chemistrywo

Article URL: https://www.ycombinator.com/companies/mobileboost/jobs/v6gPgiZ-founding-backend-platform-engineer-remote

Comments URL: https://news.ycombinator.com/item?id=43801500

Points: 0

# Comments: 0

https://www.ycombinator.com/companies/mobileboost/jobs/v6gPgiZ-founding-backend-platform-

Here are the answers for The New York Times Mini Crossword for April 26. https://www.cnet.com/tech/gaming/todays-nyt-mini-crossword-answers-for-saturday-april-26/#ftag=CADf328eec

Article URL: https://github.com/wh0am1-dev/adventure

Comments URL: https://news.ycombinator.com/item?id=43800222

Points: 20

# Comments: 6

https://github.com/wh0am1-dev/adventure

When you have a lot of aliases it can be difficult to remember how was the one you need named especially if you do not use it very often. You can also have files stored in a bin folder and look there to find the name. Another trick is to prepend your commands with a comma then type the comma and hit the Tab key to see only your own commands. There is an article about it somewhere on the Internet.

I needed something lightweight to always show me the available commands. Something to run with

Article URL: https://www.cnn.com/2025/04/25/tech/chan-zuckerberg-primary-school-closing/index.html

Comments URL: https://news.ycombinator.com/item?id=43801082

Points: 7

# Comments: 0

https://www.cnn.com/2025/04/25/tech/chan-zuckerberg-primary-school-closing/index.html

How to use ChatGPT to restore old photos.

https://www.techradar.com/computing/artificial-intelligence/i-tried-using-chatgpt-to-restore-old-photos-heres-how-to-really-do-it

Article URL: https://cacm.acm.org/practice/call-for-papers-cacm-practice-section/

Comments URL: https://news.ycombinator.com/item?id=43799306

Points: 10

# Comments: 0

https://cacm.acm.org/practice/call-for-papers-cacm-practice-section/

Article URL: https://newatlas.com/computers/smartphone-listening-conversations-ads-facebook/

Comments URL: https://news.ycombinator.com/item?id=43799802

Points: 48

# Comments: 26

https://newatlas.com/computers/smartphone-listening-conversations-ads-facebook/

Article URL: https://www.doliver.org/articles/rss-as-a-skill

Comments URL: https://news.ycombinator.com/item?id=43799697

Points: 21

# Comments: 5

https://www.doliver.org/articles/rss-as-a-skill

Article URL: https://lite.berkeley-humanoid.org/

Comments URL: https://news.ycombinator.com/item?id=43800002

Points: 37

# Comments: 1

https://lite.berkeley-humanoid.org/

Article URL: https://samj.substack.com/p/that-joke-isnt-funny-any-more

Comments URL: https://news.ycombinator.com/item?id=43799820

Points: 77

# Comments: 36

https://samj.substack.com/p/that-joke-isnt-funny-any-more

Article URL: https://www.scientificamerican.com/article/lofty-math-problem-called-hilberts-sixth-closer-to-being-solved/

Comments URL: https://news.ycombinator.com/item?id=43800153

Points: 23

# Comments: 0

https://www.scientificamerican.com/article/lofty-math-problem-called-hilberts-sixt

The speeds of AT&T's 5G fixed wireless service were significantly lower than advertised but it's still worth trying if your options are limited. https://www.cnet.com/home/internet/my-week-with-att-internet-air-heres-what-i-learned/#ftag=CADf328eec

Achieve quality sleep by understanding how your sleep cycles work. https://www.cnet.com/health/sleep/rem-vs-deep-sleep-heres-what-actually-happens-when-you-sleep/#ftag=CADf328eec

Enzo Maresca's men look to boost their Champions League qualification hopes with a win at Stamford Bridge. https://www.cnet.com/tech/services-and-software/premier-league-soccer-stream-chelsea-vs-everton-from-anywhere/#ftag=CADf328eec

A place in the final is up for grabs as the Eagles take on Unai Emery's men at Wembley. https://www.cnet.com/tech/services-and-software/watch-fa-cup-soccer-livestream-crystal-palace-vs-aston-villa-from-anywhere/#ftag=CADf328eec

The Elder Scrolls 4: Oblivion Remastered already reached 4 million players just a couple of days after launch.

https://www.windowscentral.com/gaming/xbox/the-elder-scrolls-4-oblivion-4-million-players

Article URL: https://www.washingtonpost.com/technology/2025/04/25/wikipedia-nonprofit-ed-martin-letter/

Comments URL: https://news.ycombinator.com/item?id=43799302

Points: 149

# Comments: 118

https://www.washingtonpost.com/technology/2025/04/25/wikipedia-nonprofit-ed-martin-letter/

Article URL: https://greekanalyst.substack.com/p/rockets-robots-and-supercars-made

Comments URL: https://news.ycombinator.com/item?id=43797750

Points: 8

# Comments: 1

https://greekanalyst.substack.com/p/rockets-robots-and-supercars-made

Article URL: https://tavianator.com/2025/configure.html

Comments URL: https://news.ycombinator.com/item?id=43799396

Points: 10

# Comments: 1

https://tavianator.com/2025/configure.html

Hints and answers for the NYT Connections: Sports Edition puzzle, No. 215, for Saturday, April 26. https://www.cnet.com/tech/gaming/todays-nyt-connections-sports-edition-hints-and-answers-for-april-26-215/#ftag=CADf328eec

Sesame's AI voice successfully mimics human speech almost perfectly.

https://www.techradar.com/computing/artificial-intelligence/the-ai-that-cried-aaaaaahhh

Your favorite AI chatbot might be having a bad day, and it's likely all your fault.

https://www.laptopmag.com/ai/chatgpt-gets-anxious-study

Nearly 10 years after the game's release, a Halo dev has given details about one of Halo 5's biggest controversies.

https://www.windowscentral.com/gaming/that-was-really-frustrating-for-us-on-the-dev-side-halo-dev-explains-how-one-of-the-xbox-series-biggest-controversies-came-to-be

After a couple years of having its open-source Llama AI model be just a part of its Connect conferences, Meta is breaking things out and hosting an entirely generative AI-focused developer conference called LlamaCon on April 29. The event is entirely virtual, and you'll be ab

Process large (e.g. 4GB+) data sets in a spreadsheet.

Load GB/32 million-row files in seconds and use them without any crashes using up to about 500GB RAM.

Load/edit in-place/split/merge/clean CSV/text files with up to 32 million rows and 1 million columns.

Use your Python functions as UDF formulas that can return to GS-Calc images and entire CSV files.

Use a set of statistical pivot data functions.

Solver functions virtually without limits for the number of variables.

Create and

Article URL: https://ddili.org/ders/d.en/

Comments URL: https://news.ycombinator.com/item?id=43798009

Points: 27

# Comments: 11

https://ddili.org/ders/d.en/

Article URL: https://www.ycombinator.com/companies/gym-class-by-irl-studios/jobs/7UKmLED-gameplay-animation-engineer-staff-principal

Comments URL: https://news.ycombinator.com/item?id=43798467

Points: 0

# Comments: 0

https://www.ycombinator.com/companies/gym-class-by-irl-stud

Article URL: https://www.nytimes.com/2025/04/16/insider/trump-musk-data-access.html

Comments URL: https://news.ycombinator.com/item?id=43798617

Points: 21

# Comments: 7

https://www.nytimes.com/2025/04/16/insider/trump-musk-data-access.html

Article URL: https://madebyoll.in/posts/world_emulation_via_dnn/

Comments URL: https://news.ycombinator.com/item?id=43798757

Points: 5

# Comments: 0

https://madebyoll.in/posts/world_emulation_via_dnn/

Article URL: https://docs.tscircuit.com/tutorials/building-led-matrix

Comments URL: https://news.ycombinator.com/item?id=43798832

Points: 15

# Comments: 1

https://docs.tscircuit.com/tutorials/building-led-matrix

Here's how to stream the pope's funeral very early Saturday, and what you can expect to see during the service. https://www.cnet.com/tech/services-and-software/pope-francis-funeral-how-to-stream-live-or-watch-the-replay/#ftag=CADf328eec

Switching off these features can deliver better battery life. https://www.cnet.com/tech/mobile/disable-these-3-ios-settings-to-extend-your-iphones-battery-life/#ftag=CADf328eec

You can remove titles you aren't reaching for. https://www.cnet.com/tech/services-and-software/your-disney-plus-continue-watching-row-is-messy-heres-how-to-fix-it/#ftag=CADf328eec

The crew of a haunted house attraction gets a deadly surprise when using a vacant hotel as a haunted attraction in this found footage flick streaming on Tubi. https://www.cnet.com/culture/entertainment/a-haunted-attraction-goes-terribly-wrong-in-this-free-found-footage-gem/#ftag=CADf328eec

Spoiler: It could be thousands of dollars, depending on the term. https://www.cnet.com/personal-finance/banking/heres-how-much-interest-youll-earn-by-depositing-10000-into-a-cd-now/#ftag=CADf328eec

Here are hints and answers for the NYT Strands puzzle No. 419 for April 26. https://www.cnet.com/tech/gaming/todays-nyt-strands-hints-answers-and-help-for-april-26-419/#ftag=CADf328eec

Here are hints and the answer for today's Wordle No. 1,407 for April 26. https://www.cnet.com/tech/gaming/todays-wordle-hints-answer-and-help-for-april-26-1407/#ftag=CADf328eec

Hints and answers for Connections for April 26, #685. https://www.cnet.com/tech/gaming/todays-nyt-connections-hints-answers-and-help-for-april-26-685/#ftag=CADf328eec

A series of reputable leaks this morning gave us a glimpse at what could be behind the ultra-thin chassis of the Galaxy S25 Edge.

https://www.laptopmag.com/phones/android-phones/samsung-galaxy-s25-edge-rumors-price-specs

The Oblivion Remaster is a massive success, but the new graphics are putting old PC hardware to the test. Here are six gaming PCs worth checking out.

https://www.windowscentral.com/gaming/pc-gaming/best-desktop-gaming-pc-oblivion-remastered

Xbox is sending some of its first-party franchises to PlayStation for the first time, but in a perfect world, what would Sony send in the other direction?

https://www.windowscentral.com/gaming/as-big-hitting-xbox-first-party-titles-head-to-playstation-5-which-games-would-you-like-to-see-head-the-other-way-weekend-discussion

Amazon Gaming Week 2025

https://www.windowscentral.com/amazon-gaming-week-2025

Boox, a company that makes E Ink gear ranging from

The Legend of Ochi feels like a film that shouldn't exist today. It's an original story, not an adaptation of an already popular book or comic. It's filled with complex puppetry and practical effects, something many films avoid because CG is simply easier to deal with. And it evokes some of the scarier children's films of the '80s and '90s, like the nightmare-inducing adaptation of Roald Dahl's The Witches.

According to Isaiah Saxon, the film's writer and director, it

The fashion-forward adventure Infinity Nikki is finally coming to Steam on April 29, complete with its iconic photo mode. The Steam version launches alongside a major update called Bubble Season that brings some new features to the game

Copilot, Microsoft's AI assistant, appears to be struggling to match its competition in terms of popularity. The number of people using Copilot has remained around 20 million weekly users for the last year, according to tech newsletter

Android tablet or foldable owners can now adjust the divider between Gmail's message list and conversation views. 9to5Google

Article URL: https://research.swtch.com/diffcover

Comments URL: https://news.ycombinator.com/item?id=43795090

Points: 14

# Comments: 0

https://research.swtch.com/diffcover

Article URL: https://arxiv.org/abs/2504.17192

Comments URL: https://news.ycombinator.com/item?id=43796419

Points: 29

# Comments: 1

https://arxiv.org/abs/2504.17192

Article URL: https://arxiv.org/abs/2504.11651

Comments URL: https://news.ycombinator.com/item?id=43796935

Points: 137

# Comments: 38

https://arxiv.org/abs/2504.11651

Article URL: https://curry-lang.org/

Comments URL: https://news.ycombinator.com/item?id=43797212

Points: 45

# Comments: 7

https://curry-lang.org/

This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of ri

Article URL: https://thelampmagazine.com/issues/issue-27/done-in-by-time

Comments URL: https://news.ycombinator.com/item?id=43797505

Points: 8

# Comments: 1

https://thelampmagazine.com/issues/issue-27/done-in-by-time

Article URL: https://longreads.com/2018/04/25/the-known-unknown-tales-of-the-yucca-man/

Comments URL: https://news.ycombinator.com/item?id=43797774

Points: 5

# Comments: 0

https://longreads.com/2018/04/25/the-known-unknown-tales-of-the-yucca-man/

“Meta profits, kids pay the price,” was the message delivered by dozens of grieving families at the doors of Meta’s Manhattan office on Thursday.

Forty-five families traveled from across the U.S. and as far as the United Kingdom to hold a vigil outside the East Village headquarters of Meta, the parent company of Facebook and Instagram. Holding photos of their children, they spoke about lives lost to cyberbullying, sextortion scams, and suicide-glorifying content—calling on Me

Skip your morning cup of coffee and take advantage of green's health benefits. Here's what experts are saying. https://www.cnet.com/health/nutrition/unlock-green-teas-hidden-benefits-for-focus-and-calm/#ftag=CADf328eec

Game Pass subscribers have two major new releases to choose from this weekend -- here's how to decide between them. https://www.cnet.com/tech/services-and-software/oblivion-or-clair-obscur-which-new-xbox-game-pass-rpg-should-you-play/#ftag=CADf328eec

MobLand stars Hardy, Helen Mirren and Pierce Brosnan. https://www.cnet.com/tech/services-and-software/mobland-release-schedule-when-to-watch-episode-5-of-the-tom-hardy-series/#ftag=CADf328eec

Working out can make your muscles bigger, both temporarily and permanently. Here, we explain what a muscle pump is and how it really works. https://www.cnet.com/health/fitness/what-muscle-pump-help-build-muscle-long-run/#ftag=CADf328eec

Prepare for the noise and nuisance of the upcoming cicada invasion. https://www.cnet.com/news/2025-cicada-brood-is-smaller-but-just-as-noisy-heres-how-to-survive-the-swarm/#ftag=CADf328eec

This high-protein snack provides the perfect crunch and is cheap to make. https://www.cnet.com/how-to/for-perfectly-crispy-chickpeas-from-your-air-fryer-try-this-easy-hack/#ftag=CADf328eec

Microsoft is also adding more intuitive search to Windows and shortcuts for summarizing and rewriting text. https://www.cnet.com/tech/services-and-software/copilot-plus-pcs-are-getting-that-ai-recall-feature-for-real-now/#ftag=CADf328eec

I kept waking up with tangled morning hair, so I tried a silk pillowcase. Here's proof of the difference it makes. https://www.cnet.com/health/sleep/i-swapped-my-cotton-pillowcase-for-silk-this-is-how-it-helped-my-bedhead/#ftag=CADf328eec

The latest meme around generative AI's hallucinations proves you can't lick a badger twice. https://www.cnet.com/tech/services-and-software/googles-ai-overviews-explain-made-up-idioms-with-confident-nonsense/#ftag=CADf328eec

WhatsApp has defended the rollout of its new Meta AI assistant, which has appeared as a permanent blue ring in the app for more users.

https://www.techradar.com/computing/websites-apps/whatsapp-says-forcing-blue-meta-ai-circle-on-everyone-is-a-good-thing-despite-fierce-backlash

No one has assumed responsibility for January 2025 breach that saw names, SSNs, and more stolen.

https://www.techradar.com/pro/security/almost-a-million-patients-hit-by-frederick-health-data-breach

Phison launches enterprise-grade SSD built for AI, reaching record read speeds and IOPS beyond typical consumer-grade hardware limits

https://www.techradar.com/pro/this-ssd-just-smashed-the-15-gbps-speed-barrier-to-become-the-fastest-ever-tested-but-you-wont-be-able-to-run-it-on-a-normal-pc

Research revealed the DPRK is using AI in its malicious campaign.

https://www.techradar.com/pro/security/north-korean-hackers-are-using-advanced-ai-tools-to-help-them-get-hired-at-western-firms

The Nintendo Switch 2 vs. Steam Deck is a tough choice for handheld gamers in 2025. Should you pick Nintendo's latest over Valve's popular handheld gaming PC?

https://www.laptopmag.com/gaming/nintendo-switch-2-vs-steam-deck

The AI Overviews in Google Search aim to distill down the knowledge of the web to answer your query in a few paragraphs. Now Google wants to do the same for YouTube videos. In an update this week, Google said YouTube Premium subscribers will begin to see a new video results carousel at the top [...]

The post Google’s controversial AI Overviews heading to YouTube search appeared first on

Earlier this week we learned from reports in South Korea that Samsung’s Galaxy S25 Edge is set to launch at an Unpacked Event on May 13 – now we have a window into the price. Thanks to Samsung’s own Canadian website we learned the Galaxy S25 Edge will start at $1,678.99 CAD for the 256GB [...]

The post Samsung leaked the Galaxy 25 Edge price and it’s encouraging news appeared first on

Microsoft is finally rolling out its controversial AI-based Copilot+ Recall feature to the public, after several missteps in bringing it to Windows 11. The feature, which is designed to be a photographic memory as it takes deeply searchable screenshots of your activity within apps across the operating system, has been blasted by security and privacy [...]

The post Copilot Recall finally rolli

First announced in May 2024, Microsoft's Recall feature for Windows 11 is now rolling out on Copilot+ PCs, alongside new Click To Do and AI-powered Search features.

https://www.windowscentral.com/software-apps/windows-11/windows-recall-general-availability-2025-copilot

An evidently-botched update makes The Elder Scrolls 4: Oblivion Remastered lose helpful settings on PC Game Pass.

https://www.windowscentral.com/gaming/pc-gaming/oblivion-remastered-pc-game-pass-botched-patch

Linux developers are discussing removing i486 and early i586 (Pentium) CPU support from the Linux kernel to unburden Linux developers.

https://www.tomshardware.com/pc-components/cpus/linux-developers-want-to-remove-i486-and-i586-pentium-cpu-support-to-unburden-kernel-developers

Motherboard partners are rolling out a new BIOS update for Ryzen 9000 CPUs, fixing a critical vulnerability that could allow hackers to run malicious microcode.

https://www.tomshardware.com/pc-components/motherboards/amd-patches-critical-zen-5-microcode-bug-partners-deliver-new-bios-with-agesa-1-2-0-3c

How much are you willing to pay for a better display?

https://www.tomshardware.com/laptops/macbook-air-vs-macbook-pro-2025

Microsoft's flagship Windows 11 AI feature, Recall, is launching to general availability today, along with other features, like Click to Do and Improved Windows Search, as part of an April non-security release.

https://www.tomshardware.com/software/windows/microsoft-launches-recall-to-windows-11-general-availability-click-to-do-and-improved-search-also-comin

TSMC claims N2 defect density is lower than N3 defect density two quarters before mass production starts, reveals N2 HVM time frame.

https://www.tomshardware.com/tech-industry/tsmc-discloses-n2-defect-density-lower-than-n3-at-the-same-stage-of-development