GoKawiil - Latest Tech News & Aggregated Headlines

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

news.ycombinator.com Unknown 2025-09-03 21:51:19

The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Paul Blain Levy for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 3

Topics: calculus computation levy push value

Shop Amazon

The Tandy Corporation

news.ycombinator.com Bradford Morgan White 2025-09-03 04:52:23

In 1919, a small leather company was founded in Fort Worth by David Lewis Tandy and Norton Hinckley. The Hinckley-Tandy Leather Company specialized in leather show laces, shoe soles, leather and rubber heels, and other shoe-findings. Tandy focused on sales and marketing while Hinckley managed the internal business operations and inventory. The company did well, bought a larger location in 1923 and expanded to Beaumont in 1927. The company scaled back during the Depression, but they survived. Ch

Topics: company french radio shack tandy

Shop Amazon

Windows Snipping Tool now lets you create animated GIF recordings

bleepingcomputer.com Unknown 2025-09-05 09:11:22

Microsoft announced that the Windows screenshot and screencast Snipping Tool utility is getting support for exporting animated GIF recordings. This new capability is rolling out to Windows 11 Insiders in the Canary and Dev Channels, who have updated the app to version 11.2505.21.0. "In this update, we are adding GIF export for screen recordings – designed to boost your productivity and turn quick captures into shareable moments," said Dave Grochocki, a Principal Product Manager Lead at Micros

Topics: gif screen screenshot snipping tool

Shop Amazon

This new Chrome feature has forever changed the way I shop online

androidauthority.com Unknown 2025-09-05 11:30:53

Ryan Haines / Android Authority As an avid runner in the middle of marathon training, I go through a lot of shoes — like, a lot of shoes. When averaging 50 miles per week, I can burn through a pair in a little over a month, and then it’s time to treat myself. That said, I’m not made of money. I can’t just run out and pay full price every time I need fresh foam under my feet. So, I have to be careful about looking for deals and spending wisely. And now, a new Chrome extension has made that easie

Topics: chrome google like price shoes

Shop Amazon

Harry Brearley, the creator of stainless steel (2016)

news.ycombinator.com Jonathan Waldman 2025-09-05 12:52:27

Sometime in 1882, a skinny, dark-haired, 11-year-old boy named Harry Brearley entered a steelworks for the first time. A shy kid—he was scared of the dark, and a picky eater—he was also curious, and the industrial revolution in Sheffield, England, offered much in the way of amusements. He enjoyed wandering around town—he later called himself a Sheffield Street Arab—watching road builders, bricklayers, painters, coal deliverers, butchers, and grinders. He was drawn especially to workshops; if he

Topics: brearley firth harry sheffield steel

Shop Amazon

Mechanical Watch: Exploded View

news.ycombinator.com Unknown 2025-09-05 14:56:44

Mechanical Watch: Exploded View In May 2022, someone posted to Hacker News Bartosz Ciechanowski's blog post explaining how mechanical watch movements work. Since then, his blog has been my absolute favorite corner of the Internet. His posts are not just well written and easy to follow, the accompanying interactive illustrations are magnificent. The first illustration in his blog post about mechanical watch movements allows you to "explode" a ticking mechanical movement and rotate it to inspe

Topics: fishing glue movement resin watch

Shop Amazon

Best Internet Providers in Nashville, Tennessee

cnet.com See Full Bio 2025-09-05 12:39:00

What is the best internet provider in Nashville? CNET's experts recommend AT&T Fiber as the best internet provider in Nashville, Tennessee. It isn't hard to see why. AT&T offers a range of internet plans with speeds ranging from 300Mbps to 5,000 megabits per second (5 gigabits per second). This makes it one of the top providers, ideal for busy households and businesses that need fast and reliable internet. But with speeds that high, you'll need to prepare to spend more than usual. That said, i

Topics: fiber internet nashville provider speeds

Shop Amazon

This Marshall Bluetooth speaker sounds better than audio systems that cost hundreds more

zdnet.com Jack Wallen 2025-09-05 13:31:53

ZDNET's key takeaways The Marshall Killburn III Bluetooth speaker is available on Amazon for $379. With rich, dynamic bass and a wide soundstage, you'll enjoy music of all genres with this speaker You might run into trouble pairing the speaker with the Marshall app (as I had). $379.99 at Amazon $379.99 at B&H Photo-Video $379.99 at Crutchfield more buying choices I'm quite familiar with the Marshall brand and its lineup of audio products. I have a Marshall amp that sounds brilliant (much bett

Topics: iii kilburn marshall sound speaker

Shop Amazon

Playdate Season 2 review: Shadowgate PD and CatchaDiablos

engadget.com Unknown 2025-09-05 09:30:20

Earlier in this Playdate season, I commented in a review that I "love a game that pisses me off a little." Well, I may have shot myself in the foot with that one. Week four of Playdate Season Two brings us not one game that got my blood boiling, but two. CatchaDiablos is a roguelike with a unique movement mechanic that is both pretty cool and absolutely infuriating: running in circles with the crank. Shadowgate PD, on the other hand, is a remade-for-Playdate version of the classic point-and-clic

Topics: catchadiablos game like really shadowgate

Shop Amazon

Captain Cook's missing ship found after sinking 250 years ago

news.ycombinator.com Unknown 2025-09-01 16:46:35

Your support helps us to tell the story Read more Support Now From reproductive rights to climate change to Big Tech, The Independent is on the ground when the story is developing. Whether it's investigating the financials of Elon Musk's pro-Trump PAC or producing our latest documentary, 'The A Word', which shines a light on the American women fighting for reproductive rights, we know how important it is to parse out the facts from the messaging. At such a critical moment in US history, we need

Topics: american image museum report ship

Shop Amazon

Sega mistakenly reveals sales numbers of popular games

news.ycombinator.com Sal Romano 2025-09-05 07:23:01

Total sales numbers for various SEGA and ATLUS titles including Like a Dragon: Infinite Wealth, Persona 3 Reload, Sonic Frontiers, Shin Megami Tensei V, and Persona 5 Royal were mistakenly revealed in a SEGA SAMMY Management Meeting 2025 presentation published on June 18. The sales numbers, which appear on page 25 of the presentation, are hidden behind a grey block. However, due to the way the PDF file is formatted, simply highlighting the page reveals the presence of text, which can be copied

Topics: megami persona sales shin tensei

Shop Amazon

Apple shareholders sue over Apple Intelligence and Siri delays

9to5mac.com Chance Miller 2025-09-06 03:03:26

Apple is continuing to face fallout from its Apple Intelligence rollout. As spotted by Reuters, Apple shareholders have sued Apple in a proposed class action securities fraud case for allegedly “downplaying how long it needed to integrate advanced artificial intelligence into its Siri voice assistant.” The lawsuit alleges that this misrepresentation negatively impacted iPhone sales and Apple’s stock price. In the lawsuit, Apple executives, including CEO Tim Cook, CFO Kevan Parekh, and former C

Topics: apple intelligence lawsuit shareholders siri

Shop Amazon

iOS 26 to let third-party apps build their own AirDrop alternative

9to5mac.com Marcus Mendes 2025-09-06 03:44:48

Apple’s tight grip on local wireless sharing is finally loosening, even if rather reactively. With iOS 26, developers are getting a new API that allows third-party apps to discover and connect nearby devices over Wi-Fi, without needing an internet connection. Here’s how it’ll work. Wi-Fi Aware As observed by iHelpBR, the core of this news boils down to Wi-Fi Aware, which will allow nearby devices to find each other and create a direct peer-to-peer connection over Wi-Fi, even when they’re not o

Topics: apple devices fi sharing wi

Shop Amazon

Minimal auto-differentiation engine in Rust

news.ycombinator.com Unknown 2025-09-05 20:53:34

To see all available qualifiers, see our documentation . Saved searches Use saved searches to filter your results more quickly We read every piece of feedback, and take your input very seriously. You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Topics: refresh reload session tab window

Shop Amazon

The best Apple deals you can shop ahead of Amazon Prime Day

theverge.com Sheena Vasani 2025-09-06 03:56:15

If you want to get a head start on back-to-school shopping — or upgrade your Apple gear — there are already some great deals worth exploring ahead of Amazon Prime Day. From earbuds and laptops to tablets, the early deals are already starting to trickle in. Prices might drop even further during Amazon’s four-day sales event, sure, but gadgets like the latest AirPods and iPad Air are already matching their all-time low, giving you a solid chance to save before the four-day shopping event officiall

Topics: amazon day deals event shopping

Shop Amazon

Latest Starship Explosion Drastically Decreases SpaceX's Chances of Reaching Mars Without Having to Wait Years

futurism.com Unknown 2025-09-06 06:22:31

"One of the toughest problems to solve." With tech billionaire Elon Musk out of the White House after his disastrous turn as a bureaucrat, he can now focus on more pressing subjects — such as his SpaceX Starship rockets that keep on exploding into fiery columns of fire, with the latest dramatic failure this past Wednesday in Texas, when the massive spacecraft hadn't even left the ground yet. This recent setback ratchets up the pressure on Musk even further, who faces a hard deadline and steep

Topics: journey mars musk spacex starship

Shop Amazon

A shark scientist reflects on Jaws at 50

arstechnica.com Unknown 2025-09-06 07:50:32

If you've been in the ocean, there's been a shark not that far from you, and it knew you were there, and you probably had no idea it was there and had a pleasant day in the water. The sharks that do bite people, they take a little bite and they go, what is that? And swim away. That can be real bad if it hits a major artery or if you're far from shore. Again, I don't want to minimize the real harm. But it is not a shark hunting you because it has a taste for human flesh. They don't have hands. Th

Topics: brody pictures shark universal water

Shop Amazon

Snap acquires Saturn, a social calendar app for high school and college students

techcrunch.com Aisha Malik 2025-09-06 11:04:31

Snap has acquired Saturn, a calendar app that helps students manage their school schedules and share them with others, the company confirmed to TechCrunch on Friday. The financial terms of the deal were not disclosed. Saturn will continue to operate as a standalone app. The news was first reported by Engadget. Snap says almost the entire Saturn team is joining Snap as part of the acquisition, with just under 30 full-time employees coming on board. Although Snap didn’t share much about its pla

Topics: saturn share snap techcrunch ventures

Shop Amazon

Check out Pixel’s new AI Mode home screen shortcut (Update: Rolling out widely)

androidauthority.com Unknown 2025-09-06 15:55:33

Mishaal Rahman / Android Authority TL;DR Pixel devices could soon receive a shortcut to Search’s AI Mode on the home screen. The shortcut will appear within the Pixel Launcher’s search widget and launch the Google app’s AI Mode interface. We’ve enabled it in Android 16 QPR1 beta to give you an early look. Update, June 20, 2025 (1:55 PM ET): After slowly getting started earlier this month, this week it appears that the new Pixel Launcher AI Mode shortcut is rolling out widely. Here’s the new

Topics: ai android mode pixel shortcut

Shop Amazon

Soundcore Waterproof Speaker Is Going for Peanuts, Anker Offers This Deal With Limited Stock

gizmodo.com Jason Coles 2025-09-06 15:10:10

A little bit of music goes a long way. Whether you’re working out and trying to push out one more set, you’re reading a book and want something instrumental in the background, or you’re just sitting and zoning out. Heck, even in the shower or bath, it’s nice just to listen to some tunes and relax a little bit. It just so happens we’ve got a great deal for that exact situation today. See at Amazon That’s because you can currently get this Soundcore Select 4 Go bluetooth shower speaker while it’

Topics: just little long means shower

Shop Amazon

SpaceX's String of Starship Failures Continues With Massive Rocket Explosion

cnet.com See Full Bio 2025-09-06 13:41:00

SpaceX's ongoing mission to prepare Starship spacecraft for trips to the moon and, eventually, Mars suffered a setback when a spacecraft exploded this week in South Texas. The explosion happened during what SpaceX called routine testing in preparation for Starship's 10th flight since 2023, which was expected to happen later this month. SpaceX uses a different rocket design to launch its Starlink internet satellites. On X, the space company wrote, "On Wednesday, June 18 at approximately 11 p.m

Topics: explosion post spacecraft spacex starship

Shop Amazon

‘Major Anomaly’ Behind Latest SpaceX Starship Explosion

wired.com Stephen Clark 2025-09-06 19:38:37

Musk wrote that the nitrogen COPV appears to have failed below its proof pressure, within conditions that should not have damaged the tank. "If further investigation confirms that this is what happened, it is the first time ever for this design," Musk added. Picking Up the Pieces Earlier Wednesday, just hours before the late-night explosion at Starbase, an advisory released by the Federal Aviation Administration showed SpaceX had set June 29 as a tentative launch date for the next Starship tes

Topics: flight rocket spacex starship test

Shop Amazon

4 ways Google Lens on Chrome magnifies my productivity - and how to use it

zdnet.com David Gewirtz 2025-09-06 23:13:00

Elyse Betters Picaro / ZDNET You may have noticed an odd little button that sometimes appears in your Chrome browser bar labeled "Google Lens." It's actually been there for a number of years now, although it doesn't always show up. But have you ever used it? Have you even given it a second thought? Or has it just become one more piece of digital clutter your brain edits out? We've covered Google Lens before on ZDNET. We've done so a number of times, in fact. But we've always covered it as a fe

Topics: google image lens screenshot zdnet

Shop Amazon

Open source can't coordinate?

news.ycombinator.com Unknown 2025-09-06 09:06:12

Open Source Can’t Coordinate I was taking a shower this morning, and was pondering yesterday’s problem, where I suspect that I have an outdated version of hotspot Linux profiler, but I can’t just go and download a fresh release from GitHub, because hotspot is a KDE app, and I use NixOS. And NixOS isn’t a problem — it’s a solution. Linux on desktop is a rickety tower of competing libraries, protocols and standards, which is always in an Escheresque sort of perpetual motion, taking off but simul

Topics: coordinate decade linux shift value

Shop Amazon

Minimal auto-differentiation engine in Rust (for educational purposes)

news.ycombinator.com Unknown 2025-09-06 21:53:34

To see all available qualifiers, see our documentation . Saved searches Use saved searches to filter your results more quickly We read every piece of feedback, and take your input very seriously. You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Topics: refresh reload session tab window

Shop Amazon

3 Best Thermal Brush, Tested and Reviewed by WIRED (2025)

wired.com Nena Farrell 2025-09-07 03:33:00

You've seen thermal brushes before, maybe touted as a blow-out brush or an infrared brush. The best thermal brush for you will recreate a blow-out type of look on your dry hair—different than a blow-dry brush, which is designed for wet hair but has a similar look. It reminds me of how I would use a curler in my youth to straighten while adding a little body to the roots and a little curl to the ends. If that's your preferred hairstyle too, then these are the devices for you. Thermal brushes use

Topics: best brush hair heat thermal

Shop Amazon

One UI 8 could give screenshots an HDR glow-up that was missing from betas

androidauthority.com Unknown 2025-09-07 02:36:59

Joe Maring / Android Authority TL;DR Samsung is testing HDR screenshot support for One UI 8 with its latest closed beta (ZYF7) release. The feature likely relies on Android 16’s embedded gain maps to show true HDR imagery when viewed correctly. HDR screenshots aren’t yet available in the One UI 8 Beta 2 release, but may arrive with future open betas or the stable release. Samsung will be bringing Android 16 to its devices with the release of One UI 8. The beta program is live for the Galaxy

Topics: beta hdr release screenshots ui

Shop Amazon

Show HN: Ts-SSH – SSH over Tailscale without running the daemon

news.ycombinator.com Unknown 2025-09-06 21:03:05

ts-ssh: Powerful Tailscale SSH/SCP CLI Tool A streamlined command-line SSH client and SCP utility that connects to your Tailscale network using tsnet . Features powerful multi-host operations, batch command execution, and real tmux integration - all without requiring the full Tailscale daemon. Perfect for DevOps teams who need fast, reliable SSH access across their Tailscale infrastructure. Features 🚀 Core SSH/SCP Functionality Userspace Tailscale connection using tsnet - no daemon required

Topics: command host ssh tailscale ts

Shop Amazon

This Marshall Bluetooth speaker sounds better than audio systems I've tested that cost twice the price

zdnet.com Jack Wallen 2025-09-07 11:28:00

ZDNET's key takeaways The Marshall Killburn III Bluetooth speaker is available on Amazon for $379. With rich, dynamic bass and a wide soundstage, you'll enjoy music of all genres with this speaker You might run into trouble pairing the speaker with the Marshall app (as I had). $379.99 at Amazon $379.99 at B&H Photo-Video $379.99 at Crutchfield more buying choices I'm quite familiar with the Marshall brand and its lineup of audio products. I have a Marshall amp that sounds brilliant (much bett

Topics: iii kilburn marshall sound speaker

Shop Amazon

Calorie restriction can help animals live longer. What about humans?

technologyreview.com Jessica Hamzelou 2025-09-07 18:00:00

But the full picture is not so simple. Weight loss isn’t always healthy and neither is restricting your calorie intake, especially if your BMI is low to begin with. Some scientists warn that, based on evidence in animals, it could negatively impact wound healing, metabolism and bone density. This week let’s take a closer look at the benefits—and risks—of caloric restriction. Eating less can make animals live longer. This remarkable finding has been published in scientific journals for the last

Topics: animals caloric published research restriction

Shop Amazon

Latest Tech News

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

The Tandy Corporation

Windows Snipping Tool now lets you create animated GIF recordings

This new Chrome feature has forever changed the way I shop online

Harry Brearley, the creator of stainless steel (2016)

Mechanical Watch: Exploded View

Best Internet Providers in Nashville, Tennessee

This Marshall Bluetooth speaker sounds better than audio systems that cost hundreds more

Playdate Season 2 review: Shadowgate PD and CatchaDiablos

Captain Cook's missing ship found after sinking 250 years ago

Sega mistakenly reveals sales numbers of popular games

Apple shareholders sue over Apple Intelligence and Siri delays

iOS 26 to let third-party apps build their own AirDrop alternative

Minimal auto-differentiation engine in Rust

The best Apple deals you can shop ahead of Amazon Prime Day

Latest Starship Explosion Drastically Decreases SpaceX's Chances of Reaching Mars Without Having to Wait Years

A shark scientist reflects on Jaws at 50

Snap acquires Saturn, a social calendar app for high school and college students

Check out Pixel’s new AI Mode home screen shortcut (Update: Rolling out widely)

Soundcore Waterproof Speaker Is Going for Peanuts, Anker Offers This Deal With Limited Stock

SpaceX's String of Starship Failures Continues With Massive Rocket Explosion

‘Major Anomaly’ Behind Latest SpaceX Starship Explosion

4 ways Google Lens on Chrome magnifies my productivity - and how to use it

Open source can't coordinate?

Minimal auto-differentiation engine in Rust (for educational purposes)

3 Best Thermal Brush, Tested and Reviewed by WIRED (2025)

One UI 8 could give screenshots an HDR glow-up that was missing from betas

Show HN: Ts-SSH – SSH over Tailscale without running the daemon

This Marshall Bluetooth speaker sounds better than audio systems I've tested that cost twice the price

Calorie restriction can help animals live longer. What about humans?

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising