GoKawiil - Latest Tech News & Aggregated Headlines

OCaml Programming: Correct and Efficient and Beautiful

news.ycombinator.com Michael R. Clarkson Et Al. 2025-12-27 11: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 2025-12-27 09: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

Why I do programming

news.ycombinator.com Unknown 2025-12-26 22: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

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

cnet.com See Full Bio 2025-12-27 05: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

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

news.ycombinator.com Unknown 2025-12-27 05: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

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

cnet.com See Full Bio 2025-12-27 10: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

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

news.ycombinator.com Jubayer Mahmod 2025-12-27 14: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

Skydance deal allows Trump’s FCC to “censor speech” and “silence dissent” on CBS

arstechnica.com Unknown 2025-12-29 05:20:34

The Federal Communications Commission has approved Skydance's $8 billion acquisition of Paramount, which owns CBS. But the agency's approval drew fiery dissent from the only Democratic commissioner, Anna Gomez, after requiring written commitments from Skydance that allow the government to influence editorial decisions at CBS. Gomez accused the FCC of "imposing never-before-seen controls over newsroom decisions and editorial judgment, in direct violation of the First Amendment and the law." Und

Topics: cbs fcc paramount skydance trump

Shop Amazon

How to use AppleCare One with the iPhone Upgrade Program

9to5mac.com Chance Miller 2025-12-29 10:42:03

Earlier this week, Apple announced an all-new AppleCare One subscription service. AppleCare One lets you get AppleCare coverage on up to three devices for $20 per month. Dan Moren at Six Colors got the answer to a something I’d been wondering: can AppleCare One coexist with the iPhone Upgrade Program? One of the nice benefits of the iPhone Upgrade Program is that you pay a single monthly fee to get a new iPhone each year and AppleCare coverage. Apple spokesperson Anna Mitchell confirmed to Si

Topics: apple applecare iphone program upgrade

Shop Amazon

Galaxy S25 FE leak reveals new colors, bad news for RAM and storage

androidauthority.com Unknown 2025-12-30 08:04:58

TL;DR The upcoming Samsung Galaxy S25 FE could have 8GB of RAM and 128GB or 256GB of internal storage. While these may be sufficient for most people right now, the specs aren’t very future-proof, especially given the pace of development of AI features. Samsung is expected to charge about $700 for the base variant of the Galaxy S25 FE, which makes these specs difficult to digest. Samsung is hard at work on its next launch, which is most likely the Galaxy S25 FE. We’ve seen several specs leak f

Topics: fe galaxy phone ram s25

Shop Amazon

FCC approves Skydance's $8 billion Paramount acquisition

engadget.com Unknown 2025-12-30 09:20:28

Regulators won't stand in the way of Skydance's Paramount acquisition. The Federal Communications Commission has approved the $8 billion purchase of Paramount Global and its subsidiaries, including the parent company of CBS Network. In a statement, FCC Chairman Brendan Carr said he welcomes "Skydance’s commitment to make significant changes at the once storied CBS broadcast network." Skydance, he said, has made written commitments to ensure that its "news and entertainment programming will embod

Topics: cbs fcc paramount said skydance

Shop Amazon

Paramount Has a $1.5 Billion ‘South Park’ Problem

wired.com Manisha Krishnan 2025-12-30 10:13:39

In an interview with Vanity Fair in September, South Park creators Trey Parker and Matt Stone all but swore off satirizing Donald Trump, with Parker noting, “I don’t know what more we could possibly say.” We found out what more they could say yesterday, in brutal fashion. The same day Paramount announced a five-year streaming deal with South Park, including 50 new episodes, the show’s 27th season premiere mercilessly mocked both President Trump and the network for capitulating to his demands, s

Topics: paramount park president south trump

Shop Amazon

Paramount-Skydance merger approved after companies agree to government speech demands

theverge.com Lauren Feiner 2025-12-30 10:57:14

is a senior policy reporter at The Verge, covering the intersection of Silicon Valley and Capitol Hill. She spent 5 years covering tech policy at CNBC, writing about antitrust, privacy, and content moderation reform. The Federal Communications Commission (FCC) has approved Skydance’s $8 billion purchase of CBS-owner Paramount after the companies agreed to end diversity, equity, and inclusion (DEI) programs but feature a “diversity of viewpoints from across the political and ideological spectrum

Topics: carr cbs fcc paramount skydance

Shop Amazon

There is no memory safety without thread safety

news.ycombinator.com Unknown 2026-01-01 00:35:39

There is no memory safety without thread safety Memory safety is all the rage these days. But what does the term even mean? That turns out to be harder to nail down than you may think. Typically, people use this term to refer to languages that make sure that there are no use-after-free or out-of-bounds memory accesses in the program. This is then often seen as distinct from other notions of safety such as thread safety, which refers to programs that do not have certain kinds of concurrency bugs

Topics: language memory program races safety

Shop Amazon

This Simple Bed Frame Took Me Less Than 5 Minutes to Put Together. Yes, I Timed It

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

CNET's key takeaways The Helix Madison bed frame, available in natural wood or white, is $929 for a queen before sales. It's straightforward to put together and requires no tools. That said, the frame is a little expensive and incompatible with headboards. My beautiful, four-poster bed frame broke a few months ago. Immediately afterward, as I was lying there, slowly sliding to the corner of my mattress that had plummeted to the ground (from a decent height, I might add), I cursed that antiq

Topics: bed frame helix madison ve

Shop Amazon

PSA: SQLite WAL checksums fail silently and may lose data

news.ycombinator.com Unknown 2026-01-01 05:48:04

PSA: SQLite WAL checksums fail silently and may lose data This is a follow-up post to my PSA: SQLite does not do checksums and PSA: Most databases do not do checksums by default. In the previous posts I mentioned that SQLite does not do checksums by default, but it has checksums in WAL mode. However, on checksum errors, instead of raising error, it drops all the subsequent frames. Even if they are not corrupt. This is not a bug; it’s intentional. SQLite WAL SQLite introduced WAL in 2010. It’s

Topics: checksum checksums frame sqlite wal

Shop Amazon

South Park to stream on Paramount+ after bidding war

feeds.bbci.co.uk Unknown 2026-01-01 23:14:14

South Park to stream on Paramount+ after bidding war 4 hours ago Share Save Osmond Chia Business reporter, BBC News Reporting from Singapore Share Save Comedy Central/Facebook The creators of South Park - Trey Parker and Matt Stone - have struck a deal for the long-running satirical cartoon to stream on Paramount+. Under the five-year deal, Paramount+ will show all 26 previous seasons of the cartoon and debut 50 new episodes starting this week. The move comes after a months-long bidding war a

Topics: comedy deal matt paramount streaming

Shop Amazon

Americans Are Obsessed With Watching Short Video Dramas From China

wired.com Zeyi Yang 2026-01-02 03:00:00

My partner recently confessed something to me about his screen-time habits: When he’s giggling at his phone, he’s often watching short English-language soap operas that have begun showing up on his social feeds. The plots are basic, the acting is exaggerated, and the performers are stereotypically good-looking, but the constant twists and turns keep him spellbound and wanting more. I knew exactly where these videos were coming from. It’s been four years since I first heard about the exploding p

Topics: dramas reelshort says short social

Shop Amazon

Vintage Macintosh Programming Book Library (2017)

news.ycombinator.com Unknown 2026-01-02 00:53:45

Vintage Macintosh Programming Book Library Nick R. was generous enough to send me his entire vintage Mac programming library to be destructively scanned and shared with the community. We've added a few of our own for a pretty huge collection (over 150) of vintage Mac programming related books. Enjoy! Thanks Nick!

Topics: library mac nick programming vintage

Shop Amazon

Tram Trains

news.ycombinator.com Benedict Springbett 2026-01-03 18:37:12

We’re hiring someone in London to help grow Works in Progress's audience and sell Stripe Press books (and, soon, Works in Progress magazine subscriptions). If this could be you, please apply here! Many cities face the following problem. They have railway lines that go where people live. But these railway lines end at the edge of the city center, and don’t go out the other side. For cities with this problem, the solution is through running. Terminating a train and turning it around takes a lot

Topics: center city railway trains tram

Shop Amazon

Meta updates safety features for teens. More than 600,000 accounts linked to predatory behavior

cnbc.com Zach Vallese 2026-01-04 21:00:01

Facebook and Instagram icons are seen displayed on an iPhone. Meta on Wednesday introduced new safety features for teen users, including enhanced direct messaging protections to prevent "exploitative content." Teens will now see more information about who they're chatting with, like when the Instagram account was created and other safety tips, to spot potential scammers. Teens will also be able to block and report accounts in a single action. "In June alone, they blocked accounts 1 million ti

Topics: accounts children instagram meta teens

Shop Amazon

Instagram adds new protections for accounts that primarily feature children

techcrunch.com Aisha Malik 2026-01-04 21:00:00

Meta is introducing additional safeguards for Instagram accounts run by adults that primarily feature children, the company announced on Wednesday. These accounts will automatically be placed into the app’s strictest message settings to prevent unwanted messages, and will have the platform’s “Hidden Words” feature enabled to filter offensive comments. The company is also rolling out new safety features for teen accounts. Accounts that will be placed into the new, stricter message settings inclu

Topics: accounts children instagram meta new

Shop Amazon

Mixture-of-recursions delivers 2x faster inference—Here’s how to implement it

venturebeat.com Ben Dickson 2026-01-04 20:05:33

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 Researchers at KAIST AI and Mila have introduced a new Transformer architecture that makes large language models (LLMs) more memory- and compute-efficient. The architecture, called Mixture-of-Recursions (MoR), significantly improves model accuracy and delivers higher throughput compared with vanilla transformers, even when constrained by th

Topics: computation model models mor parameter

Shop Amazon

More than you wanted to know about how Game Boy cartridges work

news.ycombinator.com Unknown 2026-01-05 14:17:38

More than you wanted to know about how Game Boy cartridges work By Allison Parrish I set out a while ago to make a Game Boy cartridge from scratch. This is not a novel goal; bootleg Game Boy cartridges have existed almost as long as the Game Boy itself has, and there are many third-party cartridges now available for purchase, or that have copyleft designs. But I wanted to know how Game Boy cartridges work. I was also excited to use the PIO functionality of the RP2040 microcontroller. Now, aft

Topics: address boy cartridge game ram

Shop Amazon

South Park Locks Into Paramount Plus With $1.5B Streaming Deal

cnet.com See Full Bio 2026-01-06 10:17:37

South Park fans have at least five more years of Cartman, Stan, Kyle and Kenny to look forward to. Trey Parker and Matt Stone, the creators of the long-running animated show South Park, have locked in a five-year deal to bring their show to the Paramount Plus streaming service and to give Paramount global streaming rights. As reported in the Los Angeles Times, the duo will keep making 10 episodes per year; this deal replaces the one that the franchise had with HBO Max and its parent company, W

Topics: deal paramount park south streaming

Shop Amazon

Telegram's crypto wallet goes live to its 87 million U.S. users

cnbc.com Mackenzie Sigalos 2026-01-07 00:00:01

Telegram users in the U.S. can now send, receive, and manage cryptocurrency directly inside the app — no downloads, extensions, or separate logins required. TON Wallet is built into Telegram's interface and is beginning its U.S. rollout this week. It is a self-custodial crypto wallet in which a user controls their own private keys. The service, developed by The Open Platform, which is known as TOP, and built on the TON blockchain, allows users to send stablecoins and other digital tokens to th

Topics: crypto platform telegram users wallet

Shop Amazon

Telegram’s crypto wallet launches in the US

techcrunch.com Amanda Silberling 2026-01-07 00:50:23

Telegram is expanding access to its crypto wallet for its 87 million users in the U.S. The TON wallet, named because it is built on the TON blockchain, is integrated directly into the Telegram app. By existing within the app, Telegram’s crypto wallet is supposed to form an easier onramp for new crypto users. Telegram has offered crypto wallets to international users since 2023, though it was unable to roll out in the US until now due to regulatory uncertainty. Telegram says more than 100 milli

Topics: crypto telegram ton users wallet

Shop Amazon

What Glasses Suit My Face: Shape, Skin Tone and More

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

Are you looking for new glasses during your annual glasses prescription and check-up, but aren't sure which frames truly suit you? You're not the only one. There are plenty of Reddit threads looking for advice on how to pick the right frames that truly complement your features. But with so many options available, we understand why it might be hard to choose something that matches your personal style. So, where do you start? Our guide is here to help by breaking down everything you need to know

Topics: angles face faces frames shaped

Shop Amazon

Erlang 28 on GRiSP Nano using only 16 MB

news.ycombinator.com Peer Stritzinger Gmbh 2026-01-07 09:40:15

Booting Erlang in 16 MB – A New Milestone for GRiSP Nano Last Monday (2 June) at Code BEAM Light Stockholm Peer opened his presentation with the question Can the BEAM fit into 16 MB? Two days later, the GRiSP Nano prototype answered with an Erlang shell prompt. That success rests on work we’ve carried out since mid-2024. The 16 MB Hardware Budget GRiSP Nano pairs an STM32U5 Cortex-M33 (3 MB internal SRAM) with 16 MB of OctoSPI DRAM. A micro-SD slot handles storage; 4 PMOD™ connectors expo

Topics: 16 free mb module ram

Shop Amazon

‘Futurama’ Season 13 Arrives in September as a Binge Release

gizmodo.com Cheryl Eddy 2026-01-08 20:05:43

Futurama is back! Again! This time, at least, we knew it was coming. The series, most recently revived by Hulu, returned after 10 years in 2023—and is now renewed up through season 14. Season 13 is the next to arrive, and now we know exactly when it’ll be hitting the streamer, with a new twist to its release to boot. Season 13 arrives September 15, and all 10 episodes will drop together. (Unless you prefer to watch on FXX, then you’ll get two episodes per week starting September 15.) This marks

Topics: 13 15 futurama season september

Shop Amazon

Latest Tech News

OCaml Programming: Correct and Efficient and Beautiful

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

Why I do programming

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

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

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

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

Skydance deal allows Trump’s FCC to “censor speech” and “silence dissent” on CBS

How to use AppleCare One with the iPhone Upgrade Program

Galaxy S25 FE leak reveals new colors, bad news for RAM and storage

FCC approves Skydance's $8 billion Paramount acquisition

Paramount Has a $1.5 Billion ‘South Park’ Problem

Paramount-Skydance merger approved after companies agree to government speech demands

There is no memory safety without thread safety

This Simple Bed Frame Took Me Less Than 5 Minutes to Put Together. Yes, I Timed It

PSA: SQLite WAL checksums fail silently and may lose data

South Park to stream on Paramount+ after bidding war

Americans Are Obsessed With Watching Short Video Dramas From China

Vintage Macintosh Programming Book Library (2017)

Tram Trains

Meta updates safety features for teens. More than 600,000 accounts linked to predatory behavior

Instagram adds new protections for accounts that primarily feature children

Mixture-of-recursions delivers 2x faster inference—Here’s how to implement it

More than you wanted to know about how Game Boy cartridges work

South Park Locks Into Paramount Plus With $1.5B Streaming Deal

Telegram's crypto wallet goes live to its 87 million U.S. users

Telegram’s crypto wallet launches in the US

What Glasses Suit My Face: Shape, Skin Tone and More

Erlang 28 on GRiSP Nano using only 16 MB

‘Futurama’ Season 13 Arrives in September as a Binge Release

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising