GoKawiil - Latest Tech News & Aggregated Headlines

OCaml as my primary language

news.ycombinator.com Xvw 2025-11-25 16:05:05

I started using the OCaml language regularly around 2012, and since then, my interest and enthusiasm for this language have only grown. It has become my preferred choice for almost all my personal projects, and it has also influenced my professional choices. Since 2014, I have been actively participating in public conferences dedicated to programming and software development, where I often express my enthusiasm for OCaml in ways that may be a bit over the top (but always passionate). This has ea

Topics: language languages module ocaml type

Shop Amazon

I chose OCaml as my primary language

news.ycombinator.com Xvw 2025-11-25 22:05:05

I started using the OCaml language regularly around 2012, and since then, my interest and enthusiasm for this language have only grown. It has become my preferred choice for almost all my personal projects, and it has also influenced my professional choices. Since 2014, I have been actively participating in public conferences dedicated to programming and software development, where I often express my enthusiasm for OCaml in ways that may be a bit over the top (but always passionate). This has ea

Topics: language languages module ocaml type

Shop Amazon

Spider-Man and Mortal Kombat 1 head up August's PS Plus Game Catalog additions

engadget.com Unknown 2025-11-26 03:27:58

Sony just announced some new additions to the PS Plus Game Catalog for August and it's a pretty beefy lineup. All of these titles will be ready to play on August 19. There's something here for just about everyone, so let's get started. Perhaps the biggest game of the bunch is Marvel's Spider-Man Remastered. This is the PS5 port of the PS4 hit, which upgrades the graphics and swaps out the actor playing Peter Parker. PS4 owners aren't being left out in the cold here, as Marvel’s Spider-Man: Game

Topics: 19 adventure august available game

Shop Amazon

Spike in Fortinet VPN brute-force attacks raises zero-day concerns

bleepingcomputer.com Unknown 2025-11-26 08:42:21

A massive spike in brute-force attacks targeted Fortinet SSL VPNs earlier this month, followed by a switch to FortiManager, marked a deliberate shift in targeting that has historically preceded new vulnerability disclosures. The campaign, detected by threat monitoring platform GreyNoise, manifested in two waves, on August 3 and August 5, with the second wave pivoting to FortiManager targeting with a different TCP signature. As GreyNoise previously reported, such spikes in deliberate scanning a

Topics: activity august brute fortinet greynoise

Shop Amazon

Comcast Debuts World Soccer Ticket Streaming Package

cnet.com See Full Bio 2025-11-26 17:00:06

Major League Soccer and the UEFA Super Cup games are afoot, and Comcast is aiming to score with its new World Soccer Ticket streaming package. The service, which is specifically for Xfinity customers, goes all-in on soccer and offers access to over 1,500 matches from the biggest leagues worldwide. It comes with a price tag of $85 a month, and customers can sign up now, the company announced on Wednesday. So, what comes with World Soccer Ticket? You can expect close to 60 channels (which include

Topics: comcast league soccer world xfinity

Shop Amazon

We went hands-on with Google Translate’s Duolingo rival ahead of its launch (APK teardown)

androidauthority.com Unknown 2025-11-27 11:00:05

TL;DR We managed to activate and use the Practice feature in Google Translate. This feature is effectively Google’s take on Duolingo and lets you practice a desired language. The feature currently lets you practice French or Spanish in a variety of preset scenarios, but you can also create your own lessons. Earlier this year, we discovered evidence that Google was working on a new Practice feature in Google Translate. This would allow people to (surprise) practice a desired language. Now, we’

Topics: feature google language practice translate

Shop Amazon

League of Legends is testing a new WASD control scheme, 16 years in

theverge.com Jay Peters 2025-11-28 08:03:55

is a news editor covering technology, gaming, and more. He joined The Verge in 2019 after nearly two years at Techmeme. Riot Games is going to slowly introduce a WASD-based control scheme to League of Legends, which previously relied on point and click controls. “We believe that offering WASD controls will provide a fresh yet familiar way to play for both new players and veterans of the Rift without changing what makes League, League,” Riot says. The company notes that WASD is “the most famili

Topics: control league play riot wasd

Shop Amazon

Krafton claims former Subnautica 2 devs ‘lost interest’ in developing game

theverge.com Ash Parrish 2025-11-28 12:14:45

is a reporter who covers the business, culture, and communities of video games, with a focus on marginalized gamers and the quirky, horny culture of video game communities. Posts from this author will be added to your daily email digest and your homepage feed. Krafton has fired another shot in its legal battle with former executives of Subnautica 2 studio Unknown Worlds, who filed a lawsuit last month, claiming the South Korean publisher undermined the game’s release to avoid paying them a bon

Topics: cleveland development game mcguire subnautica

Shop Amazon

Teen Influencer Stranded in Antarctica After Controversial Plane Landing

gizmodo.com Lucas Ropek 2025-11-28 17:00:23

An American teenager is currently stuck in Antarctica after illegally landing his single-engine airplane in Chilean territory. 19-year-old Ethan Guo, who was in the midst of navigating a trip around the world when he landed at the world’s southernmost pole, has been stuck in the icy region since June, according to the Associated Press. Upon landing, local officials charged Guo with providing them with “false flight plan information” and landing without authorization. Since then, he has been sta

Topics: associated cancer fly guo world

Shop Amazon

Riot is trying to make LoL more accessible by adding WASD controls

engadget.com Unknown 2025-11-28 22:05:49

Riot is making a major change to League of Legends after 16 years. It's adding the option to move around by using WASD controls instead of relying on a mouse to point and click, according to a video detailing the upcoming change . Paul Bellezza, an executive producer on the game, says this is an attempt to attract new players. "We found that a lot of new or returning players struggle a lot with League's controls early on," he said. "Click to move just isn't the sort of control scheme they're us

Topics: advertisement control controls league lot

Shop Amazon

James Gunn’s ‘Superman’ Flies Home This Week

gizmodo.com Germain Lussier 2025-11-28 21:50:59

James Gunn’s Superman was pushed out of the top five at the box office this past weekend, marking the beginning of the end of its box office run. It’s been a good one, with over $330 million in the U.S. so far and another $250 million worldwide. It’s the highest-grossing Superman film ever, domestically not adjusted for inflation, and now the journey takes its next step. Gunn took to social media Tuesday to announce his DC Universe film will be available on digital August 15. That’s this week.

Topics: featurette film gunn release superman

Shop Amazon

AI companion apps on track to pull in $120M in 2025

techcrunch.com Sarah Perez 2025-11-28 22:38:42

Demand for AI “companion” applications outside of bigger names, like ChatGPT and Grok, is growing. Of the 337 active and revenue-generating AI companion apps available worldwide, 128 were released in 2025 so far, according to new data provided to TechCrunch by app intelligence firm Appfigures. This subsection of the AI market on mobile has now generated $82 million during the first half of the year and is on track to pull in over $120 million by year-end, the firm’s analysis indicates. Unlike g

Topics: 2025 ai appfigures apps companion

Shop Amazon

In a world of vibe coding startups, Uno Platform is targeting enterprise developers

techcrunch.com Rebecca Szkutak 2025-11-29 03:00:00

Amid the rise of new AI-powered low code developer tools aimed at hobbyists and non-technical folks, Uno Platform is doubling down on enterprise developers instead. Montreal-based Uno Platform offers a suite of enterprise-grade tools for developers to build cross-platform .NET applications that can be supported on Android, Apple, Linux, and Windows systems. Users code an application once and Uno Platform makes it easy to ship other types of applications from the existing codebase. “If you’re c

Topics: disrupt enterprise platform tanguay uno

Shop Amazon

Salesforce’s new CoAct-1 agents don’t just point and click — they write code to accomplish tasks faster and with greater success rates

venturebeat.com Ben Dickson 2025-11-29 08:00:03

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 Salesforce and the University of Southern California have developed a new technique that gives computer-use agents the ability to execute code while navigating graphical user interfaces (GUIs), that is, writing scripts while also moving a cursor and/or clicking buttons on an application, combining the best of both approaches

Topics: agent agents coact gui tasks

Shop Amazon

US influencer stranded in Antarctica after landing plane without permission

news.ycombinator.com Unknown 2025-11-29 16:43:37

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 chilean flight fly guo

Shop Amazon

Reflecting on My Failure to Build a Billion-Dollar Company (2019)

news.ycombinator.com Unknown 2025-11-25 21:17:33

Feb 7, 2019 by Sahil Lavingia Reflecting on My Failure to Build a Billion-Dollar Company In 2011, I left my job as the second employee at Pinterest — before I vested any of my stock — to work on what I thought would be my life's work. I thought Gumroad would become a billion-dollar company, with hundreds of employees. It would IPO, and I would work on it until I died. Something like that. Needless to say, that didn't happen. Now, it may look like I am in an enviable position, running a prof

Topics: company creators didn gumroad product

Shop Amazon

Elon Musk Can’t Control His AI

gizmodo.com Luc Olinga 2025-11-30 08:23:50

With Grok, the months pass, but the story stays the same. The AI chatbot from xAI, Elon Musk’s artificial intelligence company, continues to stir controversy, putting its host platform, X, in an increasingly embarrassing position. Just weeks after a version of Grok was found to be praising Adolf Hitler, the new, supposedly more powerful “SuperGrok” found itself in hot water again on Monday, forcing X to briefly suspend the chatbot for what it vaguely described as “inappropriate posts.” Even El

Topics: ai august grok musk suspended

Shop Amazon

How to get AI to work in 22 languages

feeds.bbci.co.uk Unknown 2025-11-30 12:01:09

How to get AI to work in 22 languages 60 minutes ago Share Save Priti Gupta Technology Reporter Reporting from Mumbai Share Save Priti Gupta Translation tech has made work easier for Vineet Sawant Vineet Sawant has spent the last two years navigating the streets of Mumbai on a scooter as a delivery driver. "Being on the road is always very stressful and especially in cities like Mumbai," he says. But when he started out language barriers were an additional problem. His first language is Marat

Topics: ai india language languages says

Shop Amazon

Here’s How to Watch the Original Naked Gun Movies in Order in One Convenient Place

cnet.com See Full Bio 2025-11-30 21:15:00

The Naked Gun series was a staple in my household when I was growing up. I rented the movies so regularly that my parents gave me the trilogy on DVD for Christmas one year. So when a reboot, or legacy sequel, titled The Naked Gun was announced, I was excited. And apparently, I wasn't the only one -- according to Box Office Mojo, the film generated nearly $17 million at the box office domestically in its opening weekend. Plus, The Naked Gun 2025 has a whopping 90% critic rating and 76% audience s

Topics: gun movies naked paramount plus

Shop Amazon

Bcachefs to be removed from mainline Linux kernel

news.ycombinator.com Unknown 2025-12-01 03:09:50

* [GIT PULL] bcachefs changes for 6.17 @ 2025-07-28 15:14 Kent Overstreet 2025-08-05 21:19 ` Malte Schröder 2025-08-10 6:20 ` Gerhard Wiesinger 0 siblings, 2 replies; 39+ messages in thread From: Kent Overstreet @ 2025-07-28 15:14 UTC (permalink / raw) To: Linus Torvalds; +Cc: linux-bcachefs, linux-fsdevel, linux-kernel Schedule notes for users: I've been digging through the bug tracker and polling users to see what bugs are still outstanding, and - it's not much. So, the experimental label is c

Topics: bcachefs class convert fs guards

Shop Amazon

Blippo+ arrives on Nintendo Switch and PC in color September 23

engadget.com Unknown 2025-12-01 22:00:14

Blippo+, the zany cable TV simulator that debuted with Playdate's Season Two , now has its release date for Nintendo Switch and PC. It lands on September 23 and will be in color , unlike on Playdate. Blippo+ is expected to come to Mac this fall too. Blippo+ is kind of the perfect antidote to streaming fatigue if weird is your cup of tea. It has its own version of the endlessly scrolling TV Guide, The Electronic Program Guide (EPG), and a roster of peculiar programs to flip through. In the off-

Topics: blippo guide new playdate tv

Shop Amazon

Self-Guaranteeing Promises

news.ycombinator.com Steph Ango 2025-12-03 00:03:06

Companies break promises all the time. A self-guaranteeing promise does not require you to trust anyone. You can verify a self-guaranteeing promise yourself. File over app is a self-guaranteeing promise. If files are in your control, in an open format, you can use those files in another app at any time. Not an export. The exact same files. It’s good practice to test this with any self-proclaimed file-over-app app you use. “Stainless steel” is a self-guaranteeing promise. You can test it yourse

Topics: guaranteeing open promise self tool

Shop Amazon

GPT-OSS vs. Qwen3 and a detailed look how things evolved since GPT-2

news.ycombinator.com Sebastian Raschka 2025-12-02 10:06:07

OpenAI just released their new open-weight LLMs this week: gpt-oss-120b and gpt-oss-20b, their first open-weight models since GPT-2 in 2019. And yes, thanks to some clever optimizations, they can run locally (but more about this later). This is the first time since GPT-2 that OpenAI has shared a large, fully open-weight model. Earlier GPT models showed how the transformer architecture scales. The 2022 ChatGPT release then made these models mainstream by demonstrating concrete usefulness for wri

Topics: figure gpt model models oss

Shop Amazon

Basic Social Skills Guide

news.ycombinator.com Unknown 2025-12-03 03:19:01

The basic guide covers the core concepts of social interaction. It contains three sections made up of seventeen in-depth lessons, and it's 100% free. If you find the basic guide helpful, please share it with your friends or your favorite social skills forum. Also, don't forget to check out the member's guide once you finish reading the basic guide. Good luck, and enjoy improving your social skills! Think of Foundations as the introduction to the guide. It explains how to get the most out of th

Topics: body conversation friends guide social

Shop Amazon

Rod Fergusson leaves Blizzard after five years leading Diablo

engadget.com Unknown 2025-12-02 20:00:49

Rod Fergusson, the general manager of the Diablo franchise for the last five years, is leaving Blizzard. Fergusson announced the move on social media, but didn't say where he's going next. Before joining Blizzard in 2020 to lead Diablo , Fergusson was studio head at The Coalition, where he oversaw Gears of War. "After five years driving the Diablo franchise with four big launches, it’s time to step away from Blizzard/Microsoft, sword in hand, and see what’s next," Fergusson wrote in a post on B

Topics: blizzard diablo fergusson franchise gaming

Shop Amazon

An updated Siri that interacts with apps reportedly won't be here until next spring

engadget.com Unknown 2025-12-02 20:30:00

A Siri that does way more than just setting a timer or writing down a reminder may still be nearly a year away. According to Bloomberg's Mark Gurman, Apple plans to release an overhauled version of Siri in the spring, which will be enhanced by the new App Intents feature. Gurman reported that the upgraded Siri will handle more complex tasks within apps, like commenting on an Instagram post, adding an item to your cart in a shopping app or editing a specific photo and sending it afterwards. Afte

Topics: app apple apps gurman siri

Shop Amazon

Show HN: Bolt – A super-fast, statically-typed scripting language written in C

news.ycombinator.com Unknown 2025-12-02 18:53:09

⚡ Bolt A lightweight, lightning-fast, type-safe embeddable language for real-time applications. import print , error , Error from core import abs , epsilon from math // The return type of safe_divide is inferred to be `Error | number` fn safe_divide ( a : number , b : number ) { if abs ( b ) < epsilon { return error ( "Cannot divide by zero!" ) } return a / b } match let result = safe_divide ( 10 , 5 ) { is Error { // The type of result is narrowed in this branch! print ( "Failed to divide:" ,

Topics: bolt code embedding error language

Shop Amazon

An AI-first program synthesis framework built around a new programming language

news.ycombinator.com Unknown 2025-12-02 11:36:21

July 7, 2025 Volume 23, issue 3 PDF Unleashing the Power of End-User Programmable AI Creating an AI-first program Synthesis framework Erik Meijer As a demonstration of what can be accomplished with contemporary LLMs (large language models), this paper outlines the high-level design of an AI-first, program-synthesis framework built around a new programming language, Universalis, designed for knowledge workers to read, optimized for our neural computer (Automind; queue.acm.org) to execute,

Topics: ai language programming universalis user

Shop Amazon

Elon Musk Turns His AI Chatbot Into a Male Fantasy Engine

gizmodo.com Luc Olinga 2025-12-02 16:15:24

Elon Musk has always been the biggest hype man for his own companies. Whether it’s Tesla, SpaceX, or X (formerly Twitter), the world’s richest man personally takes to social media to promote new features, products, and ideas. His AI venture, xAI, is no exception. Over the past week, Musk has been flooding X with posts promoting Grok Imagine, the new image-and-video-generation feature in SuperGrok, the most advanced version of xAI’s Grok chatbot. But the images Musk chooses to showcase say as mu

Topics: ai august grok imagine musk

Shop Amazon

End-User Programmable AI

news.ycombinator.com Unknown 2025-12-02 17:36:21

July 7, 2025 Volume 23, issue 3 PDF Unleashing the Power of End-User Programmable AI Creating an AI-first program Synthesis framework Erik Meijer As a demonstration of what can be accomplished with contemporary LLMs (large language models), this paper outlines the high-level design of an AI-first, program-synthesis framework built around a new programming language, Universalis, designed for knowledge workers to read, optimized for our neural computer (Automind; queue.acm.org) to execute,

Topics: ai language programming universalis user

Shop Amazon

Latest Tech News

OCaml as my primary language

I chose OCaml as my primary language

Spider-Man and Mortal Kombat 1 head up August's PS Plus Game Catalog additions

Spike in Fortinet VPN brute-force attacks raises zero-day concerns

Comcast Debuts World Soccer Ticket Streaming Package

We went hands-on with Google Translate’s Duolingo rival ahead of its launch (APK teardown)

League of Legends is testing a new WASD control scheme, 16 years in

Krafton claims former Subnautica 2 devs ‘lost interest’ in developing game

Teen Influencer Stranded in Antarctica After Controversial Plane Landing

Riot is trying to make LoL more accessible by adding WASD controls

James Gunn’s ‘Superman’ Flies Home This Week

AI companion apps on track to pull in $120M in 2025

In a world of vibe coding startups, Uno Platform is targeting enterprise developers

Salesforce’s new CoAct-1 agents don’t just point and click — they write code to accomplish tasks faster and with greater success rates

US influencer stranded in Antarctica after landing plane without permission

Reflecting on My Failure to Build a Billion-Dollar Company (2019)

Elon Musk Can’t Control His AI

How to get AI to work in 22 languages

Here’s How to Watch the Original Naked Gun Movies in Order in One Convenient Place

Bcachefs to be removed from mainline Linux kernel

Blippo+ arrives on Nintendo Switch and PC in color September 23

Self-Guaranteeing Promises

GPT-OSS vs. Qwen3 and a detailed look how things evolved since GPT-2

Basic Social Skills Guide

Rod Fergusson leaves Blizzard after five years leading Diablo

An updated Siri that interacts with apps reportedly won't be here until next spring

Show HN: Bolt – A super-fast, statically-typed scripting language written in C

An AI-first program synthesis framework built around a new programming language

Elon Musk Turns His AI Chatbot Into a Male Fantasy Engine

End-User Programmable AI

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising