GoKawiil - Latest Tech News & Aggregated Headlines

Normal-order syntax-rules and proving the fix-point of call/cc

news.ycombinator.com Unknown 2025-09-22 15:41:15

Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc The presentation at the Workshop ``Daniel P. Friedman: A Celebration.'' December 4, 2004. Bloomington, IN Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc Repeated applications of call/cc , formally , formally Normal-order direct-style beta-normalizer as syntax-rules Use (2) to prove (1) A few less common examples The title of the talk, i

Topics: cc cps lambda norm stack

Shop Amazon

I got the highest score on ARC-AGI again swapping Python for English

news.ycombinator.com Jeremy Berman 2025-09-25 19:53:47

I think ARC-AGI is still the most important benchmark we have today. It’s surprising that LLMs can win the math olympiad but struggle with simple puzzles that humans can solve easily. This highlights a core limitation of current LLMs: they struggle to reason about things they weren't trained on. They struggle to generalize. But they are getting better, fast. Last December, I got first place on ARC-AGI v1 with a score of 53.6%. A lot has changed since then. Thinking models had just come out and

Topics: agi arc humans instructions reasoning

Shop Amazon

GNU Midnight Commander

news.ycombinator.com Yury V. Zaytsev 2025-09-25 21:54:06

Welcome to Midnight Commander GNU Midnight Commander (or mc ) is a visual, dual-pane file manager. It is released under the GNU General Public License and therefore qualifies as Free Software. Midnight Commander is a feature-rich, full-screen, text-mode application that allows you to copy, move, and delete files and entire directory trees, search for files, and execute commands in the subshell. Internal viewer, editor and diff viewer are included. mc uses versatile text interface libraries su

Topics: commander install mc midnight online

Shop Amazon

India’s Urban Company soars 58% above IPO price in year’s most subscribed offering

techcrunch.com Jagmeet Singh 2025-09-26 00:44:54

Urban Company, India’s largest home services platform, stormed onto the public markets on Wednesday, opening 58% above its issue price after delivering the country’s most subscribed IPO of the year. The Gurugram-based startup, which connects users to at-home services ranging from beauty treatments to appliance repair, debuted on the Mumbai-based National Stock Exchange at ₹162.25 per share (approximately $1.84), up from its IPO issue price of ₹103. The offering, which opened last week, was subs

Topics: company india largest services urban

Shop Amazon

Apple made a strap, now Google has a rope to dangle your Pixel from your wrist

androidauthority.com Unknown 2025-09-26 02:27:50

Google TL;DR The Google Rope Wristlet is a $7 polyester rope with a company logo that lets you dangle your Pixel from your wrist. You can actually use it with any phone, not just Pixels. The wristlet is available in three different dual-tone color options: Blue/Purple, Black/Gray, and Green/Yellow. Google has launched a new accessory targeted at Pixel phone users, and coincidentally, it comes right after Apple launched a similar one for iPhones. The new $7 Google Rope Wristlet is meant to at

Topics: apple google phone rope wristlet

Shop Amazon

Show HN: A PSX/DOS style 3D game written in Rust with a custom software renderer

news.ycombinator.com Unknown 2025-09-26 01:39:19

About A Scavenging Trip is a short and challenging simulation game were you are tasked with visiting an unknown planet, collect samples from its surface and leave in time. There are 3 missions with 3 difficulty levels each. A perfect speedrun through all difficulties should take around 10-15 minutes. A first playthrough might take 1-2 hours, especially because of the hardest difficulty. There is not a Save feature, as all missions are unlocked and there is not any kind of progression whatsoev

Topics: controls custom game missions supported

Shop Amazon

Wait4X allows you to wait for a port or a service to enter the requested state

news.ycombinator.com Unknown 2025-09-22 19:45:58

Wait4X Wait4X is a lightweight, zero-dependency tool to wait for services to be ready. Perfect for CI/CD, containers, and local development. 📑 Table of Contents Overview Wait4X helps you wait for services (databases, APIs, message queues, etc.) to be ready before your app or script continues. It's ideal for: CI/CD pipelines : Ensure dependencies are up before tests run : Ensure dependencies are up before tests run Containers & orchestration : Health check services before startup : Health c

Topics: check http localhost wait wait4x

Shop Amazon

StubHub to price IPO at $23.50, valuing company at $8.6 billion

cnbc.com Annie Palmer 2025-09-26 02:57:54

The StubHub logo is seen at its headquarters in San Francisco. Online ticket platform StubHub is pricing its IPO at $23.50, CNBC's Leslie Picker confirmed on Tuesday. The pricing comes at the midpoint of the expected range that the company gave last week. At $23.50, the pricing gives StubHub a valuation of $8.6 billion. StubHub will trade on the New York Stock Exchange under the symbol "STUB." The San Francisco-based company was co-founded by Eric Baker in 2000, and was acquired by eBay for $

Topics: billion company ipo million stubhub

Shop Amazon

CrowdStrike Infested With "Self-Replicating Worms"

futurism.com Unknown 2025-09-26 02:00:07

A year after a glitch at cybersecurity company CrowdStrike triggered a global computer outage affecting millions of computers, the software vendor is being forced to contain a new threat: a swarm of self-replicating worms. As first reported by investigative cybersecurity journalist Brian Krebs, CrowdStrike once again became the launchpad for a potentially debilitating security hazard when some 25 code packages were compromised by a novel strand of malware. Dubbed "Shai-Hulud," the malicious so

Topics: crowdstrike infected npm packages software

Shop Amazon

Google pokes a banana-shaped hole in Musk’s claims of Apple’s bias towards OpenAI

9to5mac.com Marcus Mendes 2025-09-26 02:15:08

A few weeks ago, a frustrated Elon Musk sued Apple, claiming that the company’s pro-OpenAI bias made it impossible for other AI companies to rise to the top of the App Store. This week, Google Gemini became the latest app to contradict his claims. When Musk first suggested that Apple’s ties to OpenAI were unfairly impacting App Store rankings, xAI had just made Grok 4 free for all users, and had just made a splash with the release of controversial AI companions. Despite an App Store ranking bu

Topics: app apple musk openai store

Shop Amazon

9to5Mac Daily: September 16, 2025 – iOS 26 now available

9to5mac.com Seth Kurkowski 2025-09-26 03:00:25

Listen to a recap of the top stories of the day from 9to5Mac. 9to5Mac Daily is available on iTunes and Apple’s Podcasts app, Stitcher, TuneIn, Google Play, or through our dedicated RSS feed for Overcast and other podcast players. Sponsored by iMazing: iMazing lets you back up, transfer, and manage your iPhone and iPad data like never before — including messages, photos, music, WhatsApp, voicemails, battery health, and more. No cloud required. Use code 9to5mac-20off to get 20% off, exclusively f

Topics: 9to5mac apple daily imazing podcast

Shop Amazon

YouTube Unveils New AI Tools for Crafting Shorts, More Upgrades for Creators

cnet.com See Full Bio 2025-09-26 01:36:42

YouTube on Tuesday unveiled a new batch of AI tools coming to Shorts and YouTube Studio, including expanding its feature that lets people detect AI videos using their facial likeness. The Google-owned tech giant revealed the upgrades at its creator-focused event, Made on YouTube, in New York. "Today's announcements are grounded in our belief that AI should be in service of human creation," YouTube CEO Neal Mohan said at Made on YouTube. "We're developing tools that give creators new ways to tel

Topics: ai new shorts studio youtube

Shop Amazon

Costco Recalls Prosecco That Could Shatter, Even Without Being Touched

cnet.com See Full Bio 2025-09-26 01:43:00

If you recently purchased a bottle of prosecco at Costco, check the brand immediately. The massive warehouse-club retail chain has issued a recall for certain bottles of its Kirkland Signature Prosecco Valdobbiadene, reporting that the bottles could shatter without even being touched. Costco sent a letter to customers who bought the product between April 25 and Aug. 25 this year in Iowa, Illinois, Indiana, Kentucky, Michigan, Minnesota, Missouri, North Dakota, Nebraska, Ohio, South Dakota and W

Topics: bottle bottles costco did letter

Shop Amazon

A record supply load won’t reach the International Space Station as scheduled

arstechnica.com Unknown 2025-09-26 03:13:28

A problem with the main engine on Northrop Grumman's Cygnus XL spacecraft will keep it from delivering 11,000 pounds of supplies and experiments to the International Space Station as scheduled on Wednesday. In a statement released Tuesday afternoon, NASA said ground teams are evaluating backup plans that might still allow the Cygnus spacecraft to reach the space station, just not on schedule. The problem arose early Tuesday when the spacecraft's main engine shut down earlier than expected durin

Topics: cygnus nasa space spacecraft station

Shop Amazon

Unstoppable Martial Arts Robot Can Take a Direct Dropkick Without Falling Down

futurism.com Unknown 2025-09-26 06:01:33

And It Gets Up Again "OK, should we start worrying?" A new viral video shows a kickboxing humanoid robot shrugging off a flying dropkick from a human being. "OK, should we start worrying?" one user asked on the r/singularity subreddit in response to the video. "It looks like it doesn't like falling," another user added. The research behind the stunt was conducted by scientists at the Active Intelligent Systems (ACT) Lab at the Southern University of Science and Technology (SUSTech) in Shenz

Topics: g1 humanoid robot test video

Shop Amazon

The "Most Hated" CSS Feature: Cos() and Sin()

news.ycombinator.com Juan Diego Rodríguez 2025-09-26 05:10:59

No feature is truly “the worst” in CSS, right? After all, it’s all based on opinion and personal experience, but if we had to reach a consensus, checking the State of CSS 2025 results would be a good starting point. I did exactly that, jumped into the awards section, and there I found it: the “Most Hated Feature,” a title no CSS should have bear… This shocks me, if I’m being honest. Are really trigonometric functions really that hated? I know “hated” is not the same as saying something is “wors

Topics: cos css li style var

Shop Amazon

LimeWire (Which Still Exists) Buys Fyre Festival (Which Never Did) on eBay

gizmodo.com Aj Dellinger 2025-09-26 05:15:34

Mix two internet touchstones together and what do you get? We’re going to find out. LimeWire, the peer-to-peer file-sharing network, announced that it won the rights to the Fyre Festival brand in an auction. The company indicated it has no plans to use the branding for a music festival, but rather bought up the name and likeness mostly for the memes. LimeWire said in a press release that it plans to “unveil a reimagined vision for Fyre — one that expands beyond the digital realm and taps into r

Topics: festival fyre limewire mcfarland peer

Shop Amazon

Best Robot Vacuums We've Tested (September 2025)

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

Each robot vacuum we consider for recommendation gets put through its paces in our test lab in Louisville, Kentucky. In addition to test floors where we run our controlled pickup tests, we monitor each robot vacuum in a special test room filled with mock furniture to gauge how well it navigates around common obstacles. Past that, we check each robot vacuum's ability to gobble up pet hair without getting clogged or leaving loose strands behind, we consider mopping capabilities, and we check to se

Topics: navigation robot room test vacuum

Shop Amazon

Microsoft, Nvidia other tech giants plan over $40 billion of new AI investments in UK

cnbc.com Ryan Browne 2025-09-26 11:44:08

LONDON — Microsoft said on Tuesday that it plans to invest $30 billion in the U.K. by 2028, as the company builds out its artificial intelligence infrastructure. The investment includes an additional $15.5 billion in capital expansion and $15.1 billion in its U.K. operations, Microsoft said. The company said the investment would enable it to build the U.K.'s "largest supercomputer," with more than 23,000 advanced graphics processing units (GPUs), in partnership with Nscale, a British cloud comp

Topics: billion investment microsoft said tuesday

Shop Amazon

AT&T is launching a digital bouncer to block unwanted calls

androidauthority.com Unknown 2025-09-26 11:09:03

Edgar Cervantes / Android Authority TL;DR AT&T is testing out an agentic AI tool that can identify and filter out robocallers. The “digital receptionist” screens calls to determine if the caller is human, how urgent the call is, and whether it meets your customized criteria before passing the call to you. If the caller won’t identify themselves, it’s a wrong number, or the call doesn’t meet your criteria, the receptionist will either disconnect or take a message. Are you tired of being bothe

Topics: ai caller digital receptionist tool

Shop Amazon

Epson’s new Lifestudio projectors put Google TV and Bose sound in one package

androidauthority.com Unknown 2025-09-26 11:36:02

Epson TL;DR Epson’s new Lifestudio lineup blends 3LCD projection, Bose audio, and built-in Google TV. Models range from the portable Pop ($679.99) to the Lifestudio Grand UST ($2,499.99) with 120-inch 4K PRO-UHD HDR10 projection. All projectors are available now with a two-year warranty, and accessories like stands and a karaoke mic are available to add on. Epson’s new Lifestudio line of portable projectors makes a compelling pitch. The series blends Epson’s latest 3LCD projection tech with

Topics: 99 built epson lifestudio pop

Shop Amazon

Peter Thiel’s Antichrist Lectures Met With Protestors Who Seem to Think He’s the Antichrist

gizmodo.com Lucas Ropek 2025-09-26 11:50:27

PayPal mafia OG Peter Thiel, whose data firm Palantir is currently assisting the Trump administration’s deportation machine, recently began taking time out of his day job (ghoulish billionaire defense contractor) to engage in some part-time work as a Christian evangelist spreading the word about the rise of the Antichrist. It’s been a bizarre sight, indeed, and this week, Thiel kicked things up a notch by launching the first of a four-part lecture series he’s doing about the Dark Lord. Thiel’s

Topics: antichrist christian like said thiel

Shop Amazon

The New iPhone Air Is Slim, but Your Chances of Dropping It Aren't. Don't Skimp on the Case

cnet.com Aashna Gheewalla 2025-09-26 10:07:00

We're all buzzing with excitement over Apple's iPhone 17 lineup, announced at the Apple Event 2025 on Sept. 9. You can now preorder a new iPhone, either the base iPhone 17, the new iPhone Air, the 17 Pro or the larger 17 Pro Max. As beautiful as a naked iPhone looks, protecting your new device is essential. Many of your favorite brands, like Otterbox, Burga, Casetify and more, have already released new cases for the upcoming iPhone 17 models. Even Apple has dropped its new line of cases, with s

Topics: 17 cases close iphone starting

Shop Amazon

US Tech Giants Race to Spend Billions in UK AI Push

wired.com Natasha Bernal 2025-09-26 11:30:00

Microsoft and Nvidia have unveiled plans to invest up to $45 billion dollars into the UK economy, in a move that will bolster the building of more data centers as well as research and development into artificial intelligence. The investment comes as US President Donald Trump travels to Britain, where he is expected to announce a US-UK tech deal alongside UK prime minister Keir Starmer. As part of the agreement, Microsoft has committed to invest $30 billion in AI infrastructure over the next fo

Topics: ai infrastructure nscale openai uk

Shop Amazon

Samsung's Health app might be getting an AI health coach - what we know

zdnet.com Nina Raemont 2025-09-26 15:32:37

Kerry Wan/ZDNET Follow ZDNET: Add us as a preferred source on Google. ZDNET's key takeaways Samsung's Health app appears to be getting an AI assistant. The assistant can answer health- and wellness-related questions. The AI health coach can't diagnose or treat medical conditions. Samsung has made major investments in its health technology, and that mission looks to be continuing with a new Health app. Samsung is rolling out an AI health coach called "Samsung Health Assistant," Android Auth

Topics: ai assistant health powered samsung

Shop Amazon

In Defense of C++

news.ycombinator.com Dayvi Schuster 2025-09-26 14:40:34

Dayvi Schuster 12 min read Tuesday, September 9, 2025 In Defense of C++ Why C++ remains a powerful and relevant programming language in today's tech landscape. The Reputation of C++ C++ has often and frequently been criticized for its complexity, steep learning curve, and most of all for its ability to allow the developers using it to not only shoot themselves in the foot, but to blow off their whole leg in the process. But do these criticisms hold up under scrutiny? Well, in this blog post,

Topics: code just language programming use

Shop Amazon

Today's NYT Strands Hints, Answers and Help for Sept. 17 #563

cnet.com See Full Bio 2025-09-26 15:00:03

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 a fun one. Hint: The words are paired, and once you find one, it's pretty easy to spot its match. 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, Connectio

Topics: hints puzzle strands today words

Shop Amazon

Today's Wordle Hints, Answer and Help for Sept. 17, #1551

cnet.com See Full Bio 2025-09-26 15:00:04

Gael Cooper CNET editor Gael Fashingbauer Cooper, a journalist and pop-culture junkie, is co-author of "Whatever Happened to Pudding Pops? The Lost Toys, Tastes and Trends of the '70s and '80s," as well as "The Totally Sweet '90s." She's been a journalist since 1989, working at Mpls.St.Paul Magazine, Twin Cities Sidewalk, the Minneapolis Star Tribune, and NBC News Digital. She's Gen X in birthdate, word and deed. If Marathon candy bars ever come back, she'll be first in line.

Topics: 1989 author cooper gael journalist

Shop Amazon

The New iPhone 17 Air Is Slim, but Your Chances of Dropping It Aren't. Don't Skimp on the Case

cnet.com Aashna Gheewalla 2025-09-26 15:07:00

We're all buzzing with excitement over Apple's iPhone 17 lineup, announced at the Apple Event 2025 on Sept. 9. You can now preorder a new iPhone, either the base iPhone 17, the new iPhone Air, the 17 Pro or the larger 17 Pro Max. As beautiful as a naked iPhone looks, protecting your new device is essential. Many of your favorite brands, like Otterbox, Burga, Casetify and more, have already released new cases for the upcoming iPhone 17 models. Even Apple has dropped its new line of cases, with s

Topics: 17 cases close iphone starting

Shop Amazon

Microsoft announces $30 billion investment in AI infrastructure, operations in UK

cnbc.com Ryan Browne 2025-09-26 19:36:59

LONDON — Microsoft said on Tuesday that it plans to invest $30 billion in artificial intelligence infrastructure in the U.K. by 2028. The investment includes an additional $15.5 billion in capital expansion and $15.1 billion in its U.K. operations, Microsoft said. The company said the investment would enable it to build the U.K.'s "largest supercomputer," with more than 23,000 advanced graphics processing units, in partnership with Nscale, a British cloud computing firm. The spending commitmen

Topics: billion investment said trump tuesday

Shop Amazon

Latest Tech News

Normal-order syntax-rules and proving the fix-point of call/cc

I got the highest score on ARC-AGI again swapping Python for English

GNU Midnight Commander

India’s Urban Company soars 58% above IPO price in year’s most subscribed offering

Apple made a strap, now Google has a rope to dangle your Pixel from your wrist

Show HN: A PSX/DOS style 3D game written in Rust with a custom software renderer

Wait4X allows you to wait for a port or a service to enter the requested state

StubHub to price IPO at $23.50, valuing company at $8.6 billion

CrowdStrike Infested With "Self-Replicating Worms"

Google pokes a banana-shaped hole in Musk’s claims of Apple’s bias towards OpenAI

9to5Mac Daily: September 16, 2025 – iOS 26 now available

YouTube Unveils New AI Tools for Crafting Shorts, More Upgrades for Creators

Costco Recalls Prosecco That Could Shatter, Even Without Being Touched

A record supply load won’t reach the International Space Station as scheduled

Unstoppable Martial Arts Robot Can Take a Direct Dropkick Without Falling Down

The "Most Hated" CSS Feature: Cos() and Sin()

LimeWire (Which Still Exists) Buys Fyre Festival (Which Never Did) on eBay

Best Robot Vacuums We've Tested (September 2025)

Microsoft, Nvidia other tech giants plan over $40 billion of new AI investments in UK

AT&T is launching a digital bouncer to block unwanted calls

Epson’s new Lifestudio projectors put Google TV and Bose sound in one package

Peter Thiel’s Antichrist Lectures Met With Protestors Who Seem to Think He’s the Antichrist

The New iPhone Air Is Slim, but Your Chances of Dropping It Aren't. Don't Skimp on the Case

US Tech Giants Race to Spend Billions in UK AI Push

Samsung's Health app might be getting an AI health coach - what we know

In Defense of C++

Today's NYT Strands Hints, Answers and Help for Sept. 17 #563

Today's Wordle Hints, Answer and Help for Sept. 17, #1551

The New iPhone 17 Air Is Slim, but Your Chances of Dropping It Aren't. Don't Skimp on the Case

Microsoft announces $30 billion investment in AI infrastructure, operations in UK

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising