GoKawiil - Latest Tech News & Aggregated Headlines

Binding Application in Idris

news.ycombinator.com Andre Videla 2025-08-02 11:08:14

I’ve recently implemented binding application as a language feature in Idris. This feature allows writing types such as Dependent pairs in a more ergonomic way without relying on special compiler magic. Or rather, the compiler magic is made available to everyone. This post is a collection of uses for this feature. This feature is not publicly available yet, but I intend to make it available in the near future. What is it? Binding syntax and binding-application is an idea I had a couple of yea

Topics: binding orn predicate type xs

Shop Amazon

The underground cathedral protecting Tokyo from floods (2018)

news.ycombinator.com Unknown 2025-08-01 22:30:42

When one of these rivers overflows, the water falls to one of five enormous 70-meter tall cylindrical tanks spread across the Channel’s length. Each of these tanks is big enough to accommodate a space shuttle or the Statue of Liberty and they are interconnected through a 6.3km long network of underground tunnels. As the water approaches the Edo River, the ‘floodwater cathedral’ Tortajada visited reduces its flow, so the pumps can push it to the river.

Topics: 3km big river tanks water

Shop Amazon

A Century of Quantum Mechanics

news.ycombinator.com Unknown 2025-08-01 22:41:58

Lieber Pauli... Read the translation of the letter sent by Werner Heisenberg to Wolfgang Pauli on 9 July 1925. The original letter is preserved in CERN’s Wolfgang Pauli Archive. (Copyright: Heisenberg Society) Dear Pauli, If you believe that I read your letter laughing mockingly, then you are gravely mistaken; quite the contrary – since Helgoland, my views on mechanics have become more radical with each passing day, and it is my firm conviction that Bohr’s theory of the hydrogen atom, in its pre

Topics: heisenberg letter orbits pauli theory

Shop Amazon

These are the pros and cons of buying from Apple’s refurbished store: Is it worth it?

9to5mac.com Michael Burkhardt 2025-08-05 12:17:24

Apple has long offered a refurbished store on its website, where it sells recent generation products at a pretty sizable discount. Unlike other refurbished offerings, Apple guarantees a replaced outer shell, battery, and glass – ensuring no wear and tear. You also get a 1 year Apple warranty and the ability to add AppleCare if you’d like. That sounds great, but is it actually worth it? Well, it depends. We’ll be delving into Apple refurbished listings, and comparing it to other offerings on the

Topics: amazon apple pro products refurbished

Shop Amazon

The underground cathedral protecting Tokyo from floods

news.ycombinator.com Unknown 2025-08-02 03:30:42

When one of these rivers overflows, the water falls to one of five enormous 70-meter tall cylindrical tanks spread across the Channel’s length. Each of these tanks is big enough to accommodate a space shuttle or the Statue of Liberty and they are interconnected through a 6.3km long network of underground tunnels. As the water approaches the Edo River, the ‘floodwater cathedral’ Tortajada visited reduces its flow, so the pumps can push it to the river.

Topics: 3km big river tanks water

Shop Amazon

Elon Musk’s SpaceX might invest $2 billion in Musk’s xAI

techcrunch.com Anthony Ha 2025-08-05 13:12:17

In Brief One Elon Musk business might be making a big investment in another. According to a Wall Street Journal report that cites investors close to SpaceX, the company has agreed to invest $2 billion in Musk’s AI startup xAI. The investment would reportedly be part of the $5 billion equity raise (along with another $5 billion in debt) that Morgan Stanley announced at the end of June. This would be SpaceX’s first investment in xAI, and one of its biggest investments in another company. The WS

Topics: billion grok investment spacex xai

Shop Amazon

Jack Dorsey’s New App Just Hit a Very Embarrassing Snag

futurism.com Unknown 2025-08-05 06:30:15

Serial entrepreneur Jack Dorsey, who cofounded Twitter, Block, and Bluesky, has started yet another new app — and this one's got an embarrassing secret. As TechCrunch reports, Dorsey's new open source messaging app, Bitchat, is supposed to be decentralized, private, and secure. There's only one problem: the Bluetooth-based app, by the venture's admission, is probably lacking in that key regard. "This software has not received external security review and may contain vulnerabilities and does n

Topics: app bitchat radocea security techcrunch

Shop Amazon

Apple @ Work: Passkey portability is finally here in iOS 26 and macOS Tahoe 26

9to5mac.com Bradley C 2025-08-05 06:00:00

Apple @ Work is exclusively brought to you by Mosyle, the only Apple Unified Platform. Mosyle is the only solution that integrates in a single professional-grade platform all the solutions necessary to seamlessly and automatically deploy, manage & protect Apple devices at work. Over 45,000 organizations trust Mosyle to make millions of Apple devices work-ready with no effort and at an affordable cost. Request your EXTENDED TRIAL today and understand why Mosyle is everything you need to work with

Topics: apple devices mosyle portability work

Shop Amazon

Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++

news.ycombinator.com Unknown 2025-08-05 10:32:12

BinaryRPC 🧭 Motivation While working at my company, I had previously developed a WebSocket server prototype in Java. However, over time, we started to experience performance issues. This led me to turn to C++, a language that offers more speed and low-level system control. Through my research, I discovered that uWebSockets was one of the best options in terms of performance, so I began developing with this library. However, since uWebSockets is a very "core" library, I had to handle many deta

Topics: app binaryrpc session std string

Shop Amazon

A Wildlife Expert Reveals the Best Placement for Your Bird Feeder

cnet.com See Full Bio 2025-08-05 06:30:00

As a wellness writer and amateur birder, I appreciate the health benefits of being around birds. Studies show that birdwatching and hearing birdsong can positively impact our mental health, reducing symptoms of anxiety and depression, lowering stress levels and fostering a sense of connection with nature. Until recently, I lived in an apartment in the heart of a city. I had to actively seek out nature and the advantages of being surrounded by our avian friends. I now live in a house with a back

Topics: bird birds feeder feeders food

Shop Amazon

The best Amazon Prime Day deals you can still shop

theverge.com Brandt Ranj 2025-08-05 08:53:07

If you don’t need a robot vacuum that can sweep your baseboards or empty its own bin, theis on sale at Amazon and Walmart for $139.99 ($140 off), which is one of its better prices to date. The entry-level robovac isn’t the smartest option available, but it’s at least aware enough not to bump into walls or tumble over stairs. The 11S Max offers good carpet and hard surface cleaning with relative quietness, too, and its 600ml bin is roomy enough to go through several cleanings before it needs to b

Topics: 11s 139 140 99 bin

Shop Amazon

Nvidia's Jensen Huang sells more than $36 million in stock, catching up with Warren Buffett in net worth

cnbc.com Samantha Subin 2025-08-05 09:12:31

Jensen Huang, CEO of Nvidia, holds a motherboard as he speaks during the Viva Technology conference dedicated to innovation and startups at Porte de Versailles exhibition center in Paris, France, on June 11, 2025. Nvidia CEO Jensen Huang unloaded roughly $36.4 million worth of stock in the leading artificial intelligence chipmaker, according to a U.S. Securities and Exchange Commission filing. The sale, which totals 225,000 shares, comes as part of Huang's previously adopted plan in March to u

Topics: billion huang million nvidia worth

Shop Amazon

First malaria treatment for babies approved for use

news.ycombinator.com Unknown 2025-08-01 14:16:33

First malaria treatment for babies approved for use 4 days ago Share Save Dominic Hughes Global Health Correspondent Share Save Getty Images Malaria drugs for children do exist, but there are no treatments specifically for babies The first malaria treatment suitable for babies and very young children has been approved for use. It's expected to be rolled out in African countries within weeks. Until now there have been no approved malaria drugs specifically for babies. Instead they have been tr

Topics: approved babies children drugs malaria

Shop Amazon

Best Internet Providers in Indianapolis, Indiana

cnet.com See Full Bio 2025-08-05 06:55:00

What is the best internet provider in Indianapolis? CNET recommends AT&T Fiber as the best choice for internet in Indianapolis due to its fast speeds and overall availability. With speeds up to 5,000Mbps for $245 per month, residents looking for the best speeds shouldn't look elsewhere. However, if you end up outside the internet service provider's area, we recommend Spectrum's cable service as a fantastic alternative. For residents with smaller budgets who want to keep their costs low, we rec

Topics: indianapolis internet mobile service speeds

Shop Amazon

The best robot vacuum deals to pick up before Prime Day ends

theverge.com Sheena Vasani 2025-08-05 12:23:54

If you don’t need a robot vacuum that can sweep your baseboards or empty its own bin, theis on sale at Amazon and Walmart for $139.99 ($140 off), which is one of its better prices to date. The entry-level robovac isn’t the smartest option available, but it’s at least aware enough not to bump into walls or tumble over stairs. The 11S Max offers good carpet and hard surface cleaning with relative quietness, too, and its 600ml bin is roomy enough to go through several cleanings before it needs to b

Topics: 11s 139 140 99 bin

Shop Amazon

Robinhood is up 160% this year, but several obstacles are ahead

cnbc.com Mackenzie Sigalos 2025-08-05 17:18:37

Robinhood stock hit an all-time high Friday as the financial services platform continued to rip higher this year, along with bitcoin and other crypto stocks. Robinhood, up more than 160% in 2025, hit an intraday high above $101 before pulling back and closing slightly lower. The reversal came after a Bloomberg report that JPMorgan plans to start charging fintechs for access to customer bank data, a move that could raise costs across the industry. For fintech firms that rely on thin margins to

Topics: cost crypto customers high robinhood

Shop Amazon

Bitcoin flies to new all-time highs, briefly topping $118,000 as institutions pile into ETFs

cnbc.com Tanaya Macheel 2025-08-06 01:15:03

In this article BTC.CM= Follow your favorite stocks CREATE FREE ACCOUNT watch now Bitcoin extended its rally on Friday, rising to new records overnight after bitcoin ETFs saw their biggest day of inflows of the year. The price of the flagship cryptocurrency was last higher by 4% at $117,955.25, according to Coin Metrics. Earlier, it rose as high as $118,872.85. Ether rose 6%, crossing back above the $3,000 level for the first time since February. On Thursday, bitcoin ETFs logged their biggest

Topics: bitcoin etfs ether federal inflows

Shop Amazon

Dan Bongino Might Quit FBI as ‘Epstein Files’ Scandal Boils Over: Reports

gizmodo.com Matt Novak 2025-08-06 01:10:49

Dan Bongino, the deputy director of the FBI, didn’t show up to work on Friday and is thinking about resigning from the agency after clashing with Attorney General Pam Bondi about the so-called Epstein files, according to reports from Axios and CNN. Earlier this year, Bondi promised to release more information about the late pedophile Jeffrey Epstein, who was found dead in his jail cell in 2019, but the Attorney General declared this week that the case was closed and there would be no more disclo

Topics: bongino epstein fbi loomer trump

Shop Amazon

Exploits for pre-auth Fortinet FortiWeb RCE flaw released, patch now

bleepingcomputer.com Unknown 2025-08-06 05:41:39

Proof-of-concept exploits have been released for a critical SQLi vulnerability in Fortinet FortiWeb that can be used to achieve pre-authenticated remote code execution on vulnerable servers. FortiWeb is a web application firewall (WAF), which is used to protect web applications from malicious HTTP traffic and threats. The FortiWeb vulnerability has a 9.8/10 severity score and is tracked as CVE-2025-25257. Fortinet fixed it last week in FortiWeb 7.6.4, 7.4.8, 7.2.11, and 7.0.11 and later versio

Topics: code flaw fortiweb sql vulnerability

Shop Amazon

Startups Weekly: Still running

techcrunch.com Anna Heim 2025-08-06 03:05:00

Welcome to Startups Weekly — your weekly recap of everything you can’t miss from the world of startups. Want it in your inbox every Friday? Sign up here. This newsletter took a break for the Fourth of July, and maybe you did, too, but the news didn’t. Even the biggest startups are still running after more funding. To help you catch up, we’ve got the top startup stories from the week, plus some from the previous one. Most interesting startup stories from the week Image Credits:Haje Kamps / Tec

Topics: ai billion million startup techcrunch

Shop Amazon

Trump’s DOJ seems annoyed about having to approve T-Mobile’s latest merger

arstechnica.com Unknown 2025-08-06 13:52:23

The Department of Justice Antitrust Division issued an unusual statement yesterday about its decision to let T-Mobile complete an acquisition of US Cellular's wireless operations. Assistant Attorney General Gail Slater of the Justice Department's Antitrust Division, a Trump nominee who was confirmed by the Senate in March, said in a 900-word statement that the deal and two related transactions "will consolidate yet more spectrum in the Big 3's oligopoly, which controls more than 80 percent of t

Topics: cellular mobile said spectrum wireless

Shop Amazon

This 19-year-old’s space company just raised millions to keep satellites connected 24/7

techcrunch.com Jagmeet Singh 2025-08-06 10:12:21

Apolink, a Y Combinator-backed space-tech startup founded by a 19-year-old Indian-origin entrepreneur, has raised $4.3 million in an “oversubscribed” seed round at a $45 million post-money valuation to build a real-time connectivity network for satellites in low Earth orbit (LEO). The startup is tackling a persistent problem in space communications. Satellites frequently go offline during parts of their orbit due to dead zones — periods when they are not in the line of sight of a ground station

Topics: apolink batra orbit satellite satellites

Shop Amazon

Bitcoin surpasses $118K, its second all-time high in less than 24 hours

techcrunch.com Lauren Forristal 2025-08-06 11:57:04

Bitcoin achieved a new all-time high of $118,900 on Friday after exceeding its previous record, $113,822, on Thursday. At the time of this writing, Bitcoin’s price stands at around $117,400. This is a significant milestone for Bitcoin, as it highlights its resurgence, now higher than its low of around $76,000 in early April. It dropped to nearly $49,000 last August. Some analysts think that if it reaches $150,000, it’ll set off a buying frenzy. It’s important to note that Bitcoin, just like m

Topics: 000 bitcoin buying cryptocurrencies like

Shop Amazon

Medium’s CEO explains what it took to stop losing $2.6M monthly

techcrunch.com Sarah Perez 2025-08-06 13:32:53

Medium CEO Tony Stubblebine announced on Friday that the publishing platform has remained profitable since August of last year, when it first achieved this milestone. In a post, Stubblebine detailed what it took to achieve this goal, which involved a combination of product changes, an investor restructuring, renegotiated loans, unloading office space, layoffs, and other difficult cost-cutting measures. His post offers a deep dive into what it takes for a startup to achieve a turnaround and the

Topics: company investor investors medium stubblebine

Shop Amazon

Pa. House passes 'click-to-cancel' subscription bills

news.ycombinator.com Zack Hoopes 2025-08-06 17:19:13

The state House has passed a pair of bills aimed at tamping down on dubious subscription services — just as a federal court moved to throw out similar rules proposed by federal regulators. Earlier this month, the House approved a bill cracking down on so-called “negative option” agreements in which consumers are automatically enrolled in a service unless they opt out. This week, the chamber also cleared a second bill requiring that subscriptions or memberships made online must also be able to b

Topics: bills ciresi federal said state

Shop Amazon

FBI seize well-known Nintendo Switch game piracy site

engadget.com Unknown 2025-08-06 21:22:16

One of the most popular sites for Nintendo Switch piracy has been taken down as part of an ongoing FBI investigation. As reported by Kotaku , Nsw2u was known for hosting Switch ROMs, which users could download to play on a hacked Switch or PC emulator capable of running them. At the time of writing, when you enter the site’s URL you’ll see a notice confirming the seizure, which the FBI says is in accordance with a warrant issued by the United States District Court in Georgia. The notice also fe

Topics: fbi games illegal nintendo switch

Shop Amazon

Bitcoin surpasses $118K, its second all-time high, in less than 24 hours

techcrunch.com Lauren Forristal 2025-08-06 21:57:04

Bitcoin achieved a new all-time high of $118,900 on Friday after exceeding its previous record, $113,822, on Thursday. At the time of this writing, Bitcoin’s price stands at around $117,400. This is a significant milestone for Bitcoin, as it highlights its resurgence, now higher than its low of around $76,000 in early April. It dropped to nearly $49,000 last August. Some analysts think that if it reaches $150,000, it’ll set off a buying frenzy. It’s important to note that Bitcoin, just like m

Topics: 000 bitcoin buying cryptocurrencies like

Shop Amazon

Nvidia's Jensen Huang sells more than $36 million in stock, catches Warren Buffett in net worth

cnbc.com Samantha Subin 2025-08-07 01:13:50

Jensen Huang, CEO of Nvidia, holds a motherboard as he speaks during the Viva Technology conference dedicated to innovation and startups at Porte de Versailles exhibition center in Paris, France, on June 11, 2025. Nvidia CEO Jensen Huang unloaded roughly $36.4 million worth of stock in the leading artificial intelligence chipmaker, according to a U.S. Securities and Exchange Commission filing. The sale, which totals 225,000 shares, comes as part of Huang's previously adopted plan in March to u

Topics: billion huang million nvidia worth

Shop Amazon

CISA tags Citrix Bleed 2 as exploited, gives agencies a day to patch

bleepingcomputer.com Unknown 2025-08-07 01:45:57

The U.S. Cybersecurity & Infrastructure Security Agency has confirmed active exploitation of the CitrixBleed 2 vulnerability (CVE-2025-5777) in Citrix NetScaler ADC and Gateway and is giving federal agencies one day to apply fixes. Such a short deadline for installing the patches is unprecedented since CISA released the Known Exploited Vulnerabilities (KEV) catalog, showing the severity of the attacks exploiting the security issue. The agency added the flaw to its Known Exploited Vulnerabiliti

Topics: citrix citrixbleed cve exploitation vulnerability

Shop Amazon

YC-backed Apolink by 19-year-old bags $4.3M to build 24/7 connectivity for LEO satellites

techcrunch.com Jagmeet Singh 2025-08-07 01:12:21

Apolink, a Y Combinator-backed space-tech startup founded by a 19-year-old Indian-origin entrepreneur, has raised $4.3 million in an “oversubscribed” seed round at a $45 million post-money valuation to build a real-time connectivity network for satellites in low Earth orbit (LEO). The startup is tackling a persistent problem in space communications. Satellites frequently go offline during parts of their orbit due to dead zones — periods when they are not in the line of sight of a ground station

Topics: apolink batra orbit satellite satellites

Shop Amazon

Latest Tech News

Binding Application in Idris

The underground cathedral protecting Tokyo from floods (2018)

A Century of Quantum Mechanics

These are the pros and cons of buying from Apple’s refurbished store: Is it worth it?

The underground cathedral protecting Tokyo from floods

Elon Musk’s SpaceX might invest $2 billion in Musk’s xAI

Jack Dorsey’s New App Just Hit a Very Embarrassing Snag

Apple @ Work: Passkey portability is finally here in iOS 26 and macOS Tahoe 26

Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++

A Wildlife Expert Reveals the Best Placement for Your Bird Feeder

The best Amazon Prime Day deals you can still shop

Nvidia's Jensen Huang sells more than $36 million in stock, catching up with Warren Buffett in net worth

First malaria treatment for babies approved for use

Best Internet Providers in Indianapolis, Indiana

The best robot vacuum deals to pick up before Prime Day ends

Robinhood is up 160% this year, but several obstacles are ahead

Bitcoin flies to new all-time highs, briefly topping $118,000 as institutions pile into ETFs

Dan Bongino Might Quit FBI as ‘Epstein Files’ Scandal Boils Over: Reports

Exploits for pre-auth Fortinet FortiWeb RCE flaw released, patch now

Startups Weekly: Still running

Trump’s DOJ seems annoyed about having to approve T-Mobile’s latest merger

This 19-year-old’s space company just raised millions to keep satellites connected 24/7

Bitcoin surpasses $118K, its second all-time high in less than 24 hours

Medium’s CEO explains what it took to stop losing $2.6M monthly

Pa. House passes 'click-to-cancel' subscription bills

FBI seize well-known Nintendo Switch game piracy site

Bitcoin surpasses $118K, its second all-time high, in less than 24 hours

Nvidia's Jensen Huang sells more than $36 million in stock, catches Warren Buffett in net worth

CISA tags Citrix Bleed 2 as exploited, gives agencies a day to patch

YC-backed Apolink by 19-year-old bags $4.3M to build 24/7 connectivity for LEO satellites

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising