GoKawiil - Latest Tech News & Aggregated Headlines

Poor child process management in Rust terminal apps leads to terminal corruption

news.ycombinator.com Nicolas Joseph 2025-12-21 09:05:04

When a terminal application that spawns child processes doesn't exit cleanly after a Ctrl+C , the user is left with a corrupted terminal. Instead of a clean prompt, you get garbled output and a non-functional shell. This post covers how to solve these issues, with examples from the Moose CLI (for the PR that fixed many of these issues, see here). In this post, you’ll read learnings from solving these issues in the Moose CLI— terminal application that manages multiple child processes, including

Topics: child cleanup process processes terminal

Shop Amazon

The math is haunted

news.ycombinator.com Unknown 2025-12-22 11:46:49

July 30, 2025 For the past few months, I’ve been writing a lot of Lean. Lean is a programming language, but it is mostly used by mathematicians. That is quite unusual! This is because Lean is designed to formalize mathematics. Lean lets mathematicians treat mathematics as code—break it into structures, theorems and proofs, import each other’s theorems, and put them on GitHub. The big idea is that eventually much of the humanity’s mathematical knowledge might be available as code—statically c

Topics: goal lean proof sorry theorem

Shop Amazon

ReproZip – reproducible experiments from command-line executions

news.ycombinator.com Unknown 2025-12-20 10:11:44

ReproZip ReproZip is a tool aimed at simplifying the process of creating reproducible experiments from command-line executions, a frequently-used common denominator in computational science. It tracks operating system calls and creates a package that contains all the binaries, files and dependencies required to run a given command on the author's computational environment (packing step). A reviewer can then extract the experiment in his environment to reproduce the results (unpacking step). Q

Topics: experiment install reprounzip reprozip use

Shop Amazon

The Pixel 10 Pro Fold dimensions tell a grim yet promising story

androidauthority.com Unknown 2025-12-22 11:30:23

Late last week, we got a sneak peek at the upcoming Pixel 10 series’ dimensions. While all phones in the line-up are getting heavier than their predecessors in the Pixel 9 series, it’s the Pixel 10 Pro Fold that jumped out to me, mostly because it’s eschewing the entire foldable industry’s trend right now. The Pixel 10 Pro Fold is slightly narrower than the 9 Pro Fold (while also sporting smaller bezels and a larger outer display), but it’s a little thicker when unfolded, even thicker when fold

Topics: 10 battery fold pixel pro

Shop Amazon

The Math Is Haunted

news.ycombinator.com Unknown 2025-12-22 23:46:49

July 30, 2025 For the past few months, I’ve been writing a lot of Lean. Lean is a programming language, but it is mostly used by mathematicians. That is quite unusual! This is because Lean is designed to formalize mathematics. Lean lets mathematicians treat mathematics as code—break it into structures, theorems and proofs, import each other’s theorems, and put them on GitHub. The big idea is that eventually much of the humanity’s mathematical knowledge might be available as code—statically c

Topics: goal lean proof sorry theorem

Shop Amazon

Google Pixel 11 rumors: Release date, codename, camera features, and everything else we know so far

androidauthority.com Unknown 2025-12-23 09:44:11

Ryan Haines / Android Authority Although we’re still waiting for the Google Pixel 10 series to launch, we already have substantial information about the Pixel 11 series. This is courtesy of a significant Google Chips division leak from the Android Authority team. Will the Pixel 11 bring noteworthy changes to Google’s lineup? The answer might be yes, though whether these changes are improvements will likely depend on individual preferences. Let’s explore the current Pixel 11 rumors and a short

Topics: 11 google pixel pro tensor

Shop Amazon

Drawing for the New Yorker

news.ycombinator.com Liza Donnelly 2025-12-23 09:27:56

Drawing cartoons is an odd profession, I must admit. But someone has to do it. The New Yorker magazine has run cartoons— or drawings, as they like to call them— since its inception 100 years ago. The editors knew how popular satirical art was, and considered it a crucial part of the nascent publication. Not just decoration; far from it. The art was more successful than the writing in that first year! A lot of the process of creating a drawing of this type involves doodling, a lot of observing,

Topics: drawing drew just lot process

Shop Amazon

Google Pixel 10 launch: What we expect to see at the Made by Google event on August 20

engadget.com Unknown 2025-12-23 15:30:37

After largely focusing Google I/O 2025 on the ways the company wants Gemini to change everything from searching the web to filmmaking, Google is finally ready to launch new hardware. The next Made by Google event is on the books for August 20, and Google has already confirmed what at least one of its new Pixel 10 phones will look like. Google remains as leak-prone as ever, so nearly all the new hardware the company is expected to announce has all ready been reported on in one form or another. W

Topics: 10 google new pixel pro

Shop Amazon

Show HN: An AI agent that learns your product and guides your users

news.ycombinator.com Unknown 2025-12-23 15:24:50

Hey HN! My name is Christian, and I’m the co-founder of https://frigade.ai . We’ve built a powerful AI agent that automatically learns how to use any web-based product, and in turn guides users directly in the UI, automatically generates documentation, and even takes actions on a user’s behalf. Think of it as Clippy from the old MS Office. But on steroids. And actually helpful. You can see the agent and tool-calling SDK in action here: https://www.youtube.com/watch?v=UPe0t3A1Vpg How is this di

Topics: agent ai just product user

Shop Amazon

Leak reveals Pixel 10 prices, and they’re exactly what we hoped for

androidauthority.com Unknown 2025-12-24 00:28:37

TL;DR The prices for the entire Google Pixel 10 series have leaked. It appears there won’t be any price increases this year. However, the Pixel 10 Pro XL may have a new starting price. A question we have long had about the Pixel 10 series is whether there will be a price hike. With the ongoing tariff situation, there seemed to be a good chance that we could see higher prices. Those fears may have been put to rest, however, after the most recent Pixel 10 leak. The prices of the entire Pixel 1

Topics: 10 cad pixel pro series

Shop Amazon

iOS 18.6 has important security fixes, here are the full details

9to5mac.com Ryan Christoffel 2025-12-22 21:58:13

Apple has just released iOS 18.6, the latest iPhone update for users. Though anyone hoping for big new features will have to wait for iOS 26 this fall, today’s new iOS 18.6 release does provide a host of important security fixes. Here are the full details. We all have our own reasons for installing iOS updates. For some, it’s compelling new features we want to try. For others, the need to stop our iPhone from bugging us with pop-up alerts. Whatever your reason, iOS 18.6 is recommended for all

Topics: generation inch ipad later pro

Shop Amazon

The Pixel 10 might finally add the magic of MagSafe to Android phones (if Google gets it right)

zdnet.com Kerry Wan 2025-12-24 00:22:00

Kerry Wan/ZDNET There's been no shortage of Pixel 10 leaks leading up to its expected August launch event -- even Google has taken part in it. But while all eyes are on external design and camera changes, the biggest feature upgrade with the next-gen Pixels may actually be hidden in plain sight. Qi2 certification I'm talking about Qi2 certification, the wireless charging standard introduced at CES more than two years ago that has yet to gain widespread market adoption due to material costs,

Topics: 10 charging pixel pro qi2

Shop Amazon

NordVPN joins the scam call fight on Android

androidauthority.com Unknown 2025-12-24 05:24:52

Andy Walker / Android Authority TL;DR NordVPN has launched a Scam Call Protection feature for Android users in the US. It flags suspicious numbers using metadata, without listening to or storing call content. The feature works on any Android device with the NordVPN app and Premium plan. Scam calls aren’t slowing down and are getting smarter in many cases. While most modern smartphones already do a decent job of flagging suspicious numbers, NordVPN thinks it can do better. The company has jus

Topics: android feature nordvpn protection scam

Shop Amazon

Deals: iPhone 16 Pro $498 off, M4 iPad Pro, Apple Pencil $59, Mac Studio $900 off, MacBooks, more

9to5mac.com Justin Kahn 2025-12-24 05:45:49

While we are still tracking a particularly notable $200 off across the M4 MacBook Air lineup with deals from $799, today’s 9to5Toys Lunch Break does have some fresh deals to scope out. Firstly, we are now tracking nearly $500 off the new list prices on iPhone 16 Pro units in Amazon renewed premium condition alongside a straight up $200 price drop on the 512GB M4 iPad Pro. Those offers also join the return of Amazon all-time low pricing on the Apple Pencil USB-C at $59 and a host of notable acces

Topics: amazon m4 macbook price pro

Shop Amazon

Skechers is making kids’ shoes with a hidden AirTag compartment

techcrunch.com Amanda Silberling 2025-12-24 05:13:18

Skechers introduced a line of kids’ sneakers that contain a hidden compartment where parents can slip in an Apple AirTag. Inside the heel of the shoe, a small insert can be lifted to reveal the compartment. Then, parents can track the location of their child — or, at least their child’s shoes. These shoes don’t come with an AirTag, and they don’t appear to be an actual collaboration with Apple, but rather, a third-party product that Skechers has developed on its own. The shoes were announced i

Topics: airtag airtags apple like products

Shop Amazon

M5 MacBook Pro could pose a big dilemma for upgrade decisions

9to5mac.com Ryan Christoffel 2025-12-24 10:50:54

If you’re interested in a new MacBook Pro, the current M4 model is an excellent option. But the M5 MacBook Pro will launch in the coming year too, and decisions about whether to upgrade could be a lot more complicated than usual. M5 vs M6 MacBook Pro: Two very different options For anyone expecting to upgrade their MacBook Pro in the coming year or so, Apple may have two very different options for you. The M5 MacBook Pro, which will launch either later this year or in early 2026, isn’t expect

Topics: apple design macbook model pro

Shop Amazon

The Pixel 10 may have the most significant charging feature of all Android phones (if Google gets it right)

zdnet.com Kerry Wan 2025-12-24 10:57:28

Kerry Wan/ZDNET There's been no shortage of Pixel 10 leaks leading up to its expected August launch event -- even Google has taken part in it. But while all eyes are on external design and camera changes, the biggest feature upgrade with the next-gen Pixels may actually be hidden in plain sight. I'm talking about Qi2 certification, the wireless charging standard introduced at CES more than two years ago that has yet to gain widespread market adoption due to material costs, lack of user demand,

Topics: 10 charging pixel pro qi2

Shop Amazon

Leak Reveals Colors for Entire iPhone 17 Lineup, Including a Bold Orange for the 17 Pro

gizmodo.com Raymond Wong 2025-12-24 10:15:58

Looks like the iPhone 17 Pro won’t come in sky blue after all. Long-time iPhone leaker Sonny Dickson has shared what he claims are dummy models for the entire iPhone 17 lineup expected to be announced in September. Notably, there’s a new non-boring orange color for iPhone 17 Pro and 17 Pro Max. God, please be real! As you can see in his X post, there’s an orange shade of the iPhone 17 Pro/17 Pro Max alongside the less flashy black, white, and navy blue. As I’ve said before, Apple desperately ne

Topics: 17 apple iphone orange pro

Shop Amazon

YouTube loosens profanity rules for monetized videos

techcrunch.com Ivan Mehta 2025-12-24 10:01:21

YouTube is tweaking its profanity-related rules to allow creators to monetize videos with swearing in them, provided the profanity is contained to the first seven seconds of the video. In November 2022, YouTube changed its rules so that creators who used swear words in the first 8-15 seconds would potentially be ineligible for any ad revenue. After much backlash, the company changed its rules again in March 2023 so that such videos would be eligible for limited ad revenue, unless they use profa

Topics: ad profanity rules videos youtube

Shop Amazon

State capacity and eight parking spaces

news.ycombinator.com Unknown 2025-12-24 06:37:39

Jul 29, 2025 politics government infrastructure seattle State Capacity and Eight Parking Spaces Ezra Klein and Derek Thompson’s book, Abundance, makes a compelling case that American government has systematically eroded its own capacity to build things. Through decades of well-intentioned regulations, environmental reviews, and bureaucratic processes, we’ve created a system that prioritizes blocking bad projects over enabling good ones. The result is a country that can’t build high-speed rail,

Topics: charging ev infrastructure project projects

Shop Amazon

Making Libcurl Work in WebAssembly

news.ycombinator.com Unknown 2025-12-24 15:09:27

29 Jul, 2025 TLDR: we explain how to make libcurl based applications work in webassembly without changes by tunneling all traffic over a websocket proxy. For a quick demo, check out https://github.com/r-wasm/ws-proxy Porting R to WebAssembly Webr is a port of the R language and its package ecosystem to WebAssembly. Many R packages rely on well-known C/C++ libraries to do the heavy lifting, and fortunately most of these libraries can be built with emscripten without too much trouble. However

Topics: https proxy server socks5 websockify

Shop Amazon

YouTube will no longer limit ads on videos that drop the f-bomb early

engadget.com Unknown 2025-12-24 20:45:19

YouTube has changed its ad guideline policy surrounding swear words, allowing creators a bit more freedom than before. In a video announcement, YouTube's head of monetization, Conor Kavanagh, said that videos containing stronger profanity such as f-bombs in the first seven seconds are now eligible for full monetization. In 2022, YouTube introduced a policy that would flag videos using profane language in the first several seconds as ineligible for advertising. It relaxed that rule a bit in 2023.

Topics: profanity strong video videos youtube

Shop Amazon

Galaxy S26 is dead, long live S26 Pro: Another leak points to Samsung’s flagship shakeup

androidauthority.com Unknown 2025-12-25 06:42:58

Ryan Haines / Android Authority TL;DR We previously found code evidence within One UI 8 suggesting that Samsung’s next flagship lineup could consist of the Galaxy S26 Pro, Galaxy S26 Edge, and Galaxy S26 Ultra. However, GSMA listings for the base Galaxy S26 contradicted this finding. Previously listed as “Galaxy S26,” updated GSMA listings were spotted for SM-S942, which now list the same model number as the “Galaxy S26 Pro.” This corroborates our previous finding and suggests that the Galaxy

Topics: galaxy model pro s26 samsung

Shop Amazon

Best iPhone 2025: I tested the top models and found the best options for you

zdnet.com Kerry Wan 2025-12-25 03:00:14

If you've been eyeing an Apple iPhone for your next big upgrade, how do you decide which one is best for you? With so many configurations and models available today, and the various software and feature implications that come with, the journey of choosing the right model has never been longer. For years, I've tested every iPhone released, including the large-sized iPhone 16 Pro Max and the budget-oriented iPhone 16e, gathering insights on what models resonate with what type of user. With iOS 26

Topics: 16 apple camera iphone pro

Shop Amazon

State Capacity and Eight Parking Spaces

news.ycombinator.com Unknown 2025-12-25 00:37:39

Jul 29, 2025 politics government infrastructure seattle State Capacity and Eight Parking Spaces Ezra Klein and Derek Thompson’s book, Abundance, makes a compelling case that American government has systematically eroded its own capacity to build things. Through decades of well-intentioned regulations, environmental reviews, and bureaucratic processes, we’ve created a system that prioritizes blocking bad projects over enabling good ones. The result is a country that can’t build high-speed rail,

Topics: charging ev infrastructure project projects

Shop Amazon

Rumors of the iPhone 17 Pro Give It a Movable Lens. We're Sifting Through Leaks and Claims

cnet.com See Full Bio 2025-12-25 04:00:00

Key takeaways: The rumored iPhone 17 Pro is expected to be released in early September. The Pro is rumored to be getting a scratch-resistant antireflective display. Colors could include black, silver, dark blue and orange. The new iPhone is likely just a couple of months away from release, and rumors about an iPhone 17 Pro have been ramping up. Although whispers about an ultrathin iPhone 17 Air have hogged a lot of the attention, the Pro models tend to include more upgraded features. In addi

Topics: 17 apple iphone max pro

Shop Amazon

Space Force bets on commercial entrants in $4B satcom contest

techcrunch.com Aria Alamalhodaei 2025-12-25 10:55:38

American warfighters need jam-proof communications, and the Space Force is planning to spend hundreds of millions to ensure they have them. As part of that effort, the service established the Protected Tactical Satcom program to build out secure battlefield communications via satellites. The Space Force has already awarded contracts to defense primes Boeing and Northrop Grumman to develop prototype payloads for satellites heading to far-away geostationary orbit. Now, the program is entering a

Topics: disrupt force program space startup

Shop Amazon

AI vs. AI: Prophet Security raises $30M to replace human analysts with autonomous defenders

venturebeat.com Michael Nuñez 2025-12-25 14:39:24

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now Prophet Security, a startup developing autonomous artificial intelligence systems for cybersecurity defense, announced Tuesday it has raised $30 million in Series A funding to accelerate what its founders describe as a fundamental shift from human-versus-human to “agent-versus-agent” warfare in cybersecurity. The Menlo Park-based company’s

Topics: ai company prophet security shah

Shop Amazon

This special Mail app toggle helps protect you from sketchy emails

9to5mac.com Michael Burkhardt 2025-12-25 15:39:54

9to5Mac is brought to you by Incogni: Protect your personal info from prying eyes. With Incogni, you can scrub your deeply sensitive information from data brokers across the web, including people search sites. Incogni limits your phone number, address, email, SSN, and more from circulating. Fight back against unwanted data brokers with a 30-day money back guarantee. A couple years ago, Apple introduced a new feature for Apple Mail users called Mail Privacy Protection. It isn’t on by default, th

Topics: apple email mail privacy protection

Shop Amazon

Stanford’s Department of Management Science and Engineering

news.ycombinator.com Sovann A. P. Linden 2025-12-25 10:25:00

This month, a series of Poets&Quants articles spotlighted growing discontent among MBA students at Stanford Graduate School of Business, raising questions about how well traditional management education is adapting to an AI-driven economy. While few doubt the GSB’s capacity to evolve — it has done so time and again — the more quietly transformative story lies just one quad away, inside the Huang Engineering Center. There, an often-overlooked graduate program is quietly outpacing expectations a

Topics: ms program stanford startup students

Shop Amazon

Latest Tech News

Poor child process management in Rust terminal apps leads to terminal corruption

The math is haunted

ReproZip – reproducible experiments from command-line executions

The Pixel 10 Pro Fold dimensions tell a grim yet promising story

The Math Is Haunted

Google Pixel 11 rumors: Release date, codename, camera features, and everything else we know so far

Drawing for the New Yorker

Google Pixel 10 launch: What we expect to see at the Made by Google event on August 20

Show HN: An AI agent that learns your product and guides your users

Leak reveals Pixel 10 prices, and they’re exactly what we hoped for

iOS 18.6 has important security fixes, here are the full details

The Pixel 10 might finally add the magic of MagSafe to Android phones (if Google gets it right)

NordVPN joins the scam call fight on Android

Deals: iPhone 16 Pro $498 off, M4 iPad Pro, Apple Pencil $59, Mac Studio $900 off, MacBooks, more

Skechers is making kids’ shoes with a hidden AirTag compartment

M5 MacBook Pro could pose a big dilemma for upgrade decisions

The Pixel 10 may have the most significant charging feature of all Android phones (if Google gets it right)

Leak Reveals Colors for Entire iPhone 17 Lineup, Including a Bold Orange for the 17 Pro

YouTube loosens profanity rules for monetized videos

State capacity and eight parking spaces

Making Libcurl Work in WebAssembly

YouTube will no longer limit ads on videos that drop the f-bomb early

Galaxy S26 is dead, long live S26 Pro: Another leak points to Samsung’s flagship shakeup

Best iPhone 2025: I tested the top models and found the best options for you

State Capacity and Eight Parking Spaces

Rumors of the iPhone 17 Pro Give It a Movable Lens. We're Sifting Through Leaks and Claims

Space Force bets on commercial entrants in $4B satcom contest

AI vs. AI: Prophet Security raises $30M to replace human analysts with autonomous defenders

This special Mail app toggle helps protect you from sketchy emails

Stanford’s Department of Management Science and Engineering

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising