GoKawiil - Latest Tech News & Aggregated Headlines

OCaml Programming: Correct and Efficient and Beautiful

news.ycombinator.com Michael R. Clarkson Et Al. 2026-01-06 05:18:38

OCaml Programming: Correct + Efficient + Beautiful# A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. A past title of this book was “Functional Programming in OCaml”. Spring 2025 Edition. Videos. There are over 200 YouTube videos embedded in this book. They can be watched independently of reading the book. Start with t

Topics: book functional michael ocaml programming

Shop Amazon

‘Star Trek: Strange New Worlds’ Gets Muppet Fever In Season 4

gizmodo.com James Whitbrook 2026-01-06 03:43:31

Star Trek: Strange New Worlds has done a lot of odd things in the course of its five-season mission. We’ve had musicals, fantasy episodes, full-on horror adventures, and even a murder mystery is on the horizon. Now, the show is boldly going in another kooky direction: a puppet episode. Announced today during Trek‘s blockbuster Hall H panel at San Diego Comic-Con, Jordan Canning (who directed season 2’s “Charades”, but perhaps more crucially here, also directed seven episodes of the Fraggle Rock

Topics: episode new paramount season strange

Shop Amazon

The ‘Star Wars’ Black Series Figure We’ve Been Waiting For Is Finally Here

gizmodo.com Germain Lussier 2026-01-06 04:15:20

For the past year, this is what has happened here on io9 every time Hasbro has announced a new figure for its Star Wars Black Series line. James Whitbrook: “Germain, Hasbro just dropped some new Black Series Images.” Germain Lussier: “Are any of them The Stranger from The Acolyte with a removable helmet revealing the face of Manny Jacinco?” Whitbrook: *Silence* “No, it is not.” Without exaggeration, we’ve had that conversation at least a dozen times since the release of The Acolyte last year,

Topics: black hasbro new series stranger

Shop Amazon

Today's NYT Strands Hints, Answers and Help for July 27 #511

cnet.com See Full Bio 2026-01-06 04:00:05

Looking for the most recent Strands answer? Click here for our daily Strands hints, as well as our daily answers and hints for The New York Times Mini Crossword, Wordle, Connections and Connections: Sports Edition puzzles. Today's NYT Strands puzzle is an awfully tough one. It has long answers and is hard to unscramble once you find them. If you need hints and answers, read on. I go into depth about the rules for Strands in this story. If you're looking for today's Wordle, Connections and Min

Topics: answers puzzle strands today words

Shop Amazon

Best Breast Pumps (2025): Wearable, Portable, Easy to Clean

wired.com Nena Farrell 2026-01-05 18:02:00

Honorable Mentions Elvie Pump for $550: The Elvie worked just fine, but it didn’t do anything cool enough to warrant such a high price tag. I saw the same results as I had with cheaper pumps, and it didn’t have as many cool features as the similarly priced Willow 3.0. The timer feature is nice, though, as are the fridge- and freezer-ready bottles attached to the wearable pump. Medela Pump In Style for $209: This famed pump has great strength and is easy to use, but it’s not portable. We are ex

Topics: breast milk pump pumps wearable

Shop Amazon

5G promised a revolution, but here’s what we actually got

androidauthority.com Unknown 2026-01-06 02:00:07

Robert Triggs / Android Authority Depending on where you live, you’ve likely had 5G in your pocket for at least a couple of years — or possibly close to half a decade. In any case, the wireless tech has certainly been around long enough to have had time to accomplish the numerous lofty promises that CEOs piped up to upsell us, which included everything from rejuvenating retail to traffic lights pushing updates to your car. While some of those promises might have come to pass, quite a lot of th

Topics: 5g coverage data speeds time

Shop Amazon

If you have 90 minutes to spare, play the cyberpunk horror game s.p.l.i.t

engadget.com Unknown 2026-01-06 00:00:33

s.p.l.i.t is the most badass typing game I’ve ever played. It’s actually more of a hacking simulator, cyberpunk thriller and puzzle experience than a typing game, but its core loop is bookended by sequences of high-intensity letter pecking with gruesome consequences — think Mavis Beacon as designed by Ted Kaczynski — and the final scenes have a way of searing themselves into your psyche. Not to mention, the whole thing takes place on a keyboard, no mouse or gamepad. So I guess it’s technically o

Topics: game hacking sarah typing way

Shop Amazon

Why I do programming

news.ycombinator.com Unknown 2026-01-05 16:57:20

This piece was inspired by this post by Aaron Boodman. I remember myself as a calm, quiet kid, happiest when I had a bunch of wires in my hands. My parents used to give them to me as toys along with a screwdriver and an old cassette player I could take apart and try to put back together. I was three years old. I didn’t know what I was doing, but I loved the feeling of exploring the insides of a machine, trying to understand how it works. In first grade, I was introduced to MS-DOS and Logo with

Topics: didn discovered life programming wanted

Shop Amazon

Instapaper Rakuten Kobo Integration

news.ycombinator.com Unknown 2026-01-02 09:48:17

We’re excited to announce a new integration that will bring Instapaper to all Rakuten Kobo eReaders. The integration will provide Kobo readers with a seamless way to save and read web articles directly on their Kobo eReaders. In close partnership with Kobo, we’re working diligently on the integration, and we’re aiming to launch at the end of this summer. The new Kobo Instapaper integration will replace Kobo’s previous integration with Pocket which shut down earlier this month. Since the Pocket

Topics: excited instapaper integration kobo pocket

Shop Amazon

The rise and fall of the Hanseatic League

news.ycombinator.com Agree Ahmed 2026-01-02 05:36:04

Today, we typically think of coalitions in the context of modern electoral politics. So it might be surprising that one of the greatest case studies in the history of coalitions is a community of medieval German merchants known as the Hansa. Starting as individual traveling traders, the Hansa built up coalitions for collective bargaining, collective action, and collective security. Through this process, they formed Northern Europe’s first ever long-distance trade network. Without corporate str

Topics: europe hansa merchants towns trade

Shop Amazon

Breaking the WASM/JS communication performance barrier

news.ycombinator.com Unknown 2026-01-02 04:11:31

In sledgehammer every operation is encoded as a sequence of bytes packed into an array. Every operation takes 1 byte plus whatever data is required for it. Each operation is encoded in a batch of four as a u32. Getting a number from an array buffer has a high constant cost, but getting a u32 instead of a u8 is not more expensive. Sledgehammer bindgen reads the u32 and then splits it into the 4 individual bytes. It will shuffle and pack the bytes into as few buckets as possible and try to inline

Topics: bytes getting operation reads u32

Shop Amazon

It Sure Sounds Like ‘Alien Vs. Predator’ May Return In the Future

gizmodo.com Germain Lussier 2026-01-06 05:00:23

So over here we’ve got new Alien movies and a new Alien TV show. And over there we’ve got new Predator movies expanding that universe. Then, in the upcoming Predator movie, a prominent character is made by Weyland-Yutani, a company at the center of the original Alien film, which also plays a large role in the new Alien movies and TV shows. What the heck is going on here? Friday at San Diego Comic-Con offered fans a rare opportunity to hear from two of the people primarily responsible for major

Topics: alien movies new predator trachtenberg

Shop Amazon

How to Watch Australia vs. British & Irish Lions From Anywhere: Stream 2nd Test Rugby Union Free

cnet.com See Full Bio 2026-01-05 20:00:00

After a gripping first encounter in Brisbane, Australia will be looking to keep their series hopes alive today as the hosts go in search of a vital win against the Lions in the second Test at Melbourne Cricket Ground. Below, we'll outline the best live TV streaming services to use to watch this match as it happens, wherever you are in the world, and how to use a VPN if the game isn't available where you are. The Lions claimed a one-sided 27-19 victory last weekend at Suncorp Stadium, in a matc

Topics: australia british lions streaming vpn

Shop Amazon

I'm Impressed by This $550 Phone's Camera and Screen, but the Trade-Offs Are Important

cnet.com See Full Bio 2026-01-05 21:00:00

CNET's key takeaways The Motorola Edge goes for $550, which is one of the lowest prices out there for a phone with such a bright screen and an impressive 3x telephoto camera The Edge's light weight and curved screen make it very pocketable It comes with only two years of software support and three years of security updates, which is very low for a phone that's over $500 When I tested the $550 Motorola Edge, I was surprised that it includes a telephoto camera at that price, and that it's

Topics: camera cnet edge motorola phone

Shop Amazon

Camera Champs Galaxy S25 Ultra and iPhone 16 Pro: Is It Even a Toss-Up Between the Two?

cnet.com See Full Bio 2026-01-05 23:00:13

Yes, you can justify getting a top-end phone for its camera quality alone, but which one is best? Until we see what the iPhone 17 Pro photo system might bring (I have some suggestions), I pitted the iPhone 16 Pro against the Samsung Galaxy S25 Ultra, which are both capable of capturing stunning photos. How do these mobile titans compare? To find out, I shot hundreds of photos using both phones in a variety of conditions to see which takes the best images. What's "best" often comes down to perso

Topics: cnet iphone lanxon s25 ultra

Shop Amazon

How to Watch Liverpool vs. AC Milan From Anywhere: Stream Pre-Season Friendly Soccer

cnet.com See Full Bio 2026-01-05 23:12:00

Liverpool's Premier League title defense preparations step up a gear today as the Reds begin their tour of Hong Kong and Japan with a tricky test against Serie A heavyweights AC Milan. Below, we'll outline the best live TV streaming services to watch this friendly match as it happens, wherever you are in the world. We'll also explain how to use a VPN if the match isn't available where you are, along with a full match list. The Reds have been one of the most active teams in the transfer window

Topics: liverpool paramount plus streaming vpn

Shop Amazon

Best Home Security Cameras for Apple HomeKit and Siri in 2025

cnet.com See Full Bio 2026-01-06 00:00:00

Today’s home security cameras come packed with features, not to mention testing out compatibility with the Apple Home app. We test in several different ways in our homes and CNET offices to really check out everything these cameras can down. Set up and camera quality As we set up cameras, we pay close attention to their design and how fragile or durable it is, as well as what features they have -- for example, how easy it is to change batteries or insert a microSD card. And, of course, we spen

Topics: app apple camera features like

Shop Amazon

Razer Pro Click V2 Vertical Review: A Hybrid Gaming Mouse

wired.com Henri Robbins 2026-01-06 02:00:00

Switching to a vertical mouse is a hard sell. Having to change how you use a mouse completely can be an intimidating task, especially with how unnatural the new hand position feels at first—you’re going entirely against the muscle memory you’ve spent years building up. One of the largest challenges to the switch is the initial loss of pointer accuracy. If you’re in an office setting, you may find yourself wandering around a bit or struggling to move your new mouse as quickly as you did before.

Topics: click mouse pro razer vertical

Shop Amazon

OnePlus Nord 5 review: selfie-centric midranger

theverge.com Dominic Preston 2026-01-06 00:30:00

The OnePlus Nord 5 does exactly what the company’s Nord phones have always done: deliver strong specs at a relatively low price. It’s one of the more powerful phones at this price point and should easily outstrip Samsung and Google’s more expensive alternatives. This is a function-over-form phone, one where the key selling points are a powerful processor and long battery life, which are the boring mainstays that tend to matter the most in midrange models like this. The problem for the Nord 5 is

Topics: better camera nord oneplus phone

Shop Amazon

Allianz Life says ‘majority’ of customers’ personal data stolen in cyberattack

techcrunch.com Zack Whittaker 2026-01-06 02:40:16

U.S. insurance giant Allianz Life has confirmed to TechCrunch that hackers stole the personal information of the “majority” of its customers, financial professionals, and employees during a mid-July data breach. When reached by TechCrunch, Allianz Life spokesperson Brett Weinberg confirmed the breach. “On July 16, 2025, a malicious threat actor gained access to a third-party, cloud-based CRM system used by Allianz Life,” referring to a customer relationship management (CRM) database containing

Topics: allianz company customers insurance life

Shop Amazon

My Pixel 9 Pro is removing all color and warmth from my photos, and I’m sick of it

androidauthority.com Unknown 2026-01-06 04:00:54

Rita El Khoury / Android Authority I have long been a proponent of the Pixel camera. From my Pixel 2 XL to the 4 XL, 5, 6 Pro, 7 Pro, 8 Pro, and 9 Pro XL, I’ve used a Pixel as my personal phone and my primary camera since 2017, taking over 10,000 photos in the process. For years, my Pixel phone’s camera was near flawless, at least compared to everything else on the market. It took clear, accurate, and well-detailed photos in every situation. Darkness or light, in movement or steady, up-close or

Topics: camera hdr photo pixel ultra

Shop Amazon

Turn any diagram image into an editable Draw.io file. No more redrawing

news.ycombinator.com Unknown 2026-01-05 23:36:27

Look, we know there are other tools out there. But we built this one because we needed it ourselves. Here's what makes our image to drawio converter different. It Actually Understands Diagrams Here's the thing - most tools just see shapes and lines. Our image to drawio converter sees diagrams. Feed it a whiteboard photo, and it knows that wobbly rectangle is meant to be a process box. Give it a screenshot, and it figures out which arrows connect to which shapes. We spent months training it on r

Topics: convert diagrams drawio image shapes

Shop Amazon

The Rise and Fall of the Hanseatic League

news.ycombinator.com Agree Ahmed 2026-01-02 11:36:04

Today, we typically think of coalitions in the context of modern electoral politics. So it might be surprising that one of the greatest case studies in the history of coalitions is a community of medieval German merchants known as the Hansa. Starting as individual traveling traders, the Hansa built up coalitions for collective bargaining, collective action, and collective security. Through this process, they formed Northern Europe’s first ever long-distance trade network. Without corporate str

Topics: europe hansa merchants towns trade

Shop Amazon

SAVE Student Loan Borrowers, You Have Only a Few Days Left Before Interest Restarts. Should You Move to IBR?

cnet.com See Full Bio 2026-01-06 00:30:03

Interest will restart for SAVE borrowers whose loans remain in a general forbearance on Aug. 1. Viva Tung/CNET If you're a student loan borrower enrolled in SAVE, you have about a week left to switch repayment plans before interest will begin accruing on your loans. But although interest payments will kick in, the change doesn't mean you have to switch repayment plans yet. Earlier this month, the Department of Education announced that on Aug. 1 interest would resume for the nearly 8 million bo

Topics: borrowers forbearance payments plan repayment

Shop Amazon

How to Watch Australia vs. British & Irish Lions From Anywhere: Stream 2nd Test Rugby Union for Free

cnet.com See Full Bio 2026-01-06 02:00:04

After a gripping first encounter in Brisbane, Australia will be looking to keep their series hopes alive today as the hosts go in search of a vital win against the Lions in the second Test at Melbourne Cricket Ground. Below, we'll outline the best live TV streaming services to use to watch this match as it happens, wherever you are in the world, and how to use a VPN if the game isn't available where you are. The Lions claimed a one-sided 19-27 victory last weekend at Suncorp Stadium, in a matc

Topics: australia british lions streaming vpn

Shop Amazon

Meta Debuts More Instagram Protections for Teen Users. Here's What's New

cnet.com See Full Bio 2026-01-06 04:00:00

Meta this week unveiled the latest efforts it's making to bolster the safety of teens and kids on its social media apps, with a particular focus on the teen-skewing Instagram. The company has touted these new features for Instagram in a blog post, most notably adding more information and warnings about accounts that teens might try to contact via direct messages. "We've added new safety features to DMs in Teen Accounts to give teens more context about the accounts they're messaging and help the

Topics: accounts instagram meta new post

Shop Amazon

Stackless Traversal (2018)

news.ycombinator.com Marshall Lochbaum 2026-01-05 16:28:51

Enlist (∊) is twice as fast in Dyalog 16.0 as it was in Dyalog 15.0. Pretty much across the board: ∊⍳100 is not going to be any faster, but whenever the argument is a nested array and the simple arrays it contains are reasonably small, there are huge performance improvements. How did we achieve the huge speedup? Constraints The usual way for a C programmer to write the traversal used in Enlist would be a simple recursive function: If the current array is simple, handle it, and if it is nested,

Topics: array pocket pointer pointers use

Shop Amazon

'The Fantastic Four: First Steps': Are There Post-Credits Scenes?

cnet.com See Full Bio 2026-01-05 20:00:03

Marvel's newest movie is here, and we have good and bad news. The good: You don't have to do any homework before seeing The Fantastic Four: First Steps, according to Marvel Studios president Kevin Feige. The bad: It's the last Marvel flick we're getting until 2026. More good: It has a super Rotten Tomatoes score. More bad: You'll miss out if you don't stick around to watch the credits. The Fantastic Four: First Steps premiered in theaters on Friday and kicks off Phase Six of the Marvel Cinemati

Topics: credits doom fantastic franklin marvel

Shop Amazon

SRAM Has No Chill: Exploiting Power Domain Separation to Steal On-Chip Secrets

news.ycombinator.com Jubayer Mahmod 2026-01-06 08:47:52

1 Introduction An increasingly connected world makes us dependent on computing devices that handle a wide range of security- and privacy-critical operations. We use smartphones and watches to manage bank transactions and store biometric information. On the industrial and government side, embedded devices monitor remote system operations and feed data critical to industrial processes and national defense. Physical access to these devices leads to a wide range of security exploits, including imper

Topics: boot data memory power sram

Shop Amazon

Starlink kept me connected to the Internet without fail—until Thursday

arstechnica.com Unknown 2026-01-06 14:17:23

A rare global interruption in the Starlink satellite Internet network knocked subscribers offline for more than two hours on Thursday, the longest widespread outage since SpaceX opened the service to consumers nearly five years ago. The outage affected civilian and military users, creating an inconvenience for many but cutting off a critical lifeline for those who rely on Starlink for military operations, health care, and other applications. Michael Nicolls, SpaceX's vice president of Starlink

Topics: military network operations outage starlink

Shop Amazon

Latest Tech News

OCaml Programming: Correct and Efficient and Beautiful

‘Star Trek: Strange New Worlds’ Gets Muppet Fever In Season 4

The ‘Star Wars’ Black Series Figure We’ve Been Waiting For Is Finally Here

Today's NYT Strands Hints, Answers and Help for July 27 #511

Best Breast Pumps (2025): Wearable, Portable, Easy to Clean

5G promised a revolution, but here’s what we actually got

If you have 90 minutes to spare, play the cyberpunk horror game s.p.l.i.t

Why I do programming

Instapaper Rakuten Kobo Integration

The rise and fall of the Hanseatic League

Breaking the WASM/JS communication performance barrier

It Sure Sounds Like ‘Alien Vs. Predator’ May Return In the Future

How to Watch Australia vs. British & Irish Lions From Anywhere: Stream 2nd Test Rugby Union Free

I'm Impressed by This $550 Phone's Camera and Screen, but the Trade-Offs Are Important

Camera Champs Galaxy S25 Ultra and iPhone 16 Pro: Is It Even a Toss-Up Between the Two?

How to Watch Liverpool vs. AC Milan From Anywhere: Stream Pre-Season Friendly Soccer

Best Home Security Cameras for Apple HomeKit and Siri in 2025

Razer Pro Click V2 Vertical Review: A Hybrid Gaming Mouse

OnePlus Nord 5 review: selfie-centric midranger

Allianz Life says ‘majority’ of customers’ personal data stolen in cyberattack

My Pixel 9 Pro is removing all color and warmth from my photos, and I’m sick of it

Turn any diagram image into an editable Draw.io file. No more redrawing

The Rise and Fall of the Hanseatic League

SAVE Student Loan Borrowers, You Have Only a Few Days Left Before Interest Restarts. Should You Move to IBR?

How to Watch Australia vs. British & Irish Lions From Anywhere: Stream 2nd Test Rugby Union for Free

Meta Debuts More Instagram Protections for Teen Users. Here's What's New

Stackless Traversal (2018)

'The Fantastic Four: First Steps': Are There Post-Credits Scenes?

SRAM Has No Chill: Exploiting Power Domain Separation to Steal On-Chip Secrets

Starlink kept me connected to the Internet without fail—until Thursday

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising