GoKawiil - Latest Tech News & Aggregated Headlines

You Can Still See Bright Fireballs During the Perseids Meteor Shower

cnet.com See Full Bio 2026-01-12 10:07:00

Skygazers rejoice, the summer isn't finished with delivering dazzling meteor showers. The last week of July saw dueling meteor showers taking over the sky, but the most popular meteor shower of the year won't hit its peak until next week. The Perseids meteor shower is about to give you a real light show, provided you're far enough away from light pollution to see it. Perseids are known for their bright fireballs and plentiful meteors. The show started on July 17, and will run through Aug. 23.

Topics: meteor meteors peak perseids shower

Shop Amazon

Why is it worth spending time on type theory? (2013)

news.ycombinator.com Unknown 2026-01-10 18:46:10

$\begingroup$ Type theory is to set theory what computable functions are to usual functions. It's a constructive setting for doing mathematics, so it allows to deal carefully with what can or can't be computed/decided (see intensionality vs. extensionality, or the different notions of reduction and conversion in $\lambda$-calculus). Furthermore, just like category theory, it gives a great insight on how certain mathematical objects are nothing but particular cases of a general construction, in

Topics: different like set theory type

Shop Amazon

Why is it worth spending time on type theory?

news.ycombinator.com Unknown 2026-01-11 00:46:10

$\begingroup$ Type theory is to set theory what computable functions are to usual functions. It's a constructive setting for doing mathematics, so it allows to deal carefully with what can or can't be computed/decided (see intensionality vs. extensionality, or the different notions of reduction and conversion in $\lambda$-calculus). Furthermore, just like category theory, it gives a great insight on how certain mathematical objects are nothing but particular cases of a general construction, in

Topics: different like set theory type

Shop Amazon

How to Watch One of the Most Dazzling Meteor Showers of the Year

gizmodo.com Ellyn Lapointe 2026-01-19 11:09:36

Skywatchers are in for a treat: The Perseid meteor shower—one of the brightest and most active of the year—is about to hit its peak, according to the American Meteor Society. The Perseids are an annual meteor shower that started in July, but astronomers expect the light show to be at its best between the evening hours of August 12 through to August 13. Famous for its typically high volume of swift, bright meteors, these burning space rocks leave long streaks of colorful light across the night s

Topics: august meteors moon perseids shower

Shop Amazon

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

news.ycombinator.com Unknown 2026-01-17 02:59:41

Fermat's Last Theorem An ongoing multi-author open source project to formalise a proof of Fermat's Last Theorem in the Lean theorem prover. Information about the project The project is currently being led by Kevin Buzzard. Until September 2029 it is being funded by grant EP/Y022904/1, awarded by the EPSRC. The project is hosted at Imperial College London. Kevin would like to extend many many thanks to both of these institutions for their ongoing support of this nonstandard research. General

Topics: fermat information project proof theorem

Shop Amazon

Look to the Sky: Bright Fireballs Appear During the Perseids Meteor Shower

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

Skygazers rejoice, the summer isn't finished with delivering meteor showers to feast your eyes on. Last week saw dueling meteor showers taking over the sky, but the most popular meteor shower of the year won't hit its peak until next week. The Perseids meteor shower is about to give you a real light show, provided you're far enough away from light pollution to see it. Perseids are known for their bright fireballs and plentiful meteors. The show started on July 17, and will run through Aug. 23.

Topics: meteor meteors peak perseids shower

Shop Amazon

Catch the Perseids Meteor Shower This Week, and See Bright Fireballs in the Skies

cnet.com See Full Bio 2026-01-25 05:15:03

Skygazers have had a lot to look at recently. A couple of dueling meteor showers graced the skies earlier this week, but if you missed that then you can still catch perhaps the most popular meteor shower of the year: the Perseids meteor shower. Perseids are known for their bright fireballs and plentiful meteors. The show started on July 17, and will run through Aug. 23. The reason the Perseids meteor shower is so popular is twofold. First, it takes place in the summer, so going outside and wat

Topics: meteor meteors perseids shower year

Shop Amazon

The math is haunted

news.ycombinator.com Unknown 2026-01-25 17:46:49

July 30, 2025 For the past few months, I’ve been writing a lot of Lean. Lean is a programming language, but it is mostly used by mathematicians. That is quite unusual! This is because Lean is designed to formalize mathematics. Lean lets mathematicians treat mathematics as code—break it into structures, theorems and proofs, import each other’s theorems, and put them on GitHub. The big idea is that eventually much of the humanity’s mathematical knowledge might be available as code—statically c

Topics: goal lean proof sorry theorem

Shop Amazon

The Math Is Haunted

news.ycombinator.com Unknown 2026-01-26 05:46:49

July 30, 2025 For the past few months, I’ve been writing a lot of Lean. Lean is a programming language, but it is mostly used by mathematicians. That is quite unusual! This is because Lean is designed to formalize mathematics. Lean lets mathematicians treat mathematics as code—break it into structures, theorems and proofs, import each other’s theorems, and put them on GitHub. The big idea is that eventually much of the humanity’s mathematical knowledge might be available as code—statically c

Topics: goal lean proof sorry theorem

Shop Amazon

You Can See 2 Meteor Showers at Once This Week. How to Catch a Glimpse

cnet.com See Full Bio 2026-02-03 02:02:03

While meteor showers happen all year, a rarer occurrence is having two meteor showers that peak at the same time. It'll happen this week, on Tuesday. The shooting star show comes courtesy of the Alpha Capricornids and Southern delta Aquariids meteor showers. The former is already happening and runs until Aug. 12, with a peak on Tuesday. Southern delta Aquariids will start on Monday, peaks early on Tuesday and runs until Aug. 12 as well. That means for one evening, the two meteor showers are pea

Topics: meteor meteors showers sky southern

Shop Amazon

You Can See Two Meteor Showers at Once In July's Night Sky. Here's How to Catch a Glimpse

cnet.com See Full Bio 2026-02-12 15:52:03

While you may not have ever seen one, meteor showers actually happen all year. In fact, they happen so often that they overlap for significant percentages of the year. There are two times when three meteor showers will be active in October, for example. But a rarer feat? Having two meteor showers that peak at the same time. It'll happen later this month, on July 29. The show will come courtesy of the Alpha Capricornids and Southern delta Aquariids meteor showers. The former began on Saturday an

Topics: meteor meteors showers sky southern

Shop Amazon

Radical New Theory Rewrites the Story of the Earliest Universe

gizmodo.com Gayoung Lee 2026-02-15 11:05:38

Following the Big Bang, our universe expanded at an exponential rate. According to this theory, known as cosmic inflation, the explosive growth produced tiny quantum fluctuations that later evolved into galaxies. Cosmic inflation neatly explains how our universe got so large and mostly homogenous, and that’s why it’s remained a strong theory in cosmology for decades. But it’s far from perfect. Cosmic inflation depends on certain theoretical assumptions that can get rather arbitrary—not ideal fo

Topics: inflation physicists said theory universe

Shop Amazon

Bright Fireballs in the Skies: Catch the Perseids Meteor Shower This Week

cnet.com See Full Bio 2026-02-16 05:54:03

Skygazers have a lot to look forward to over the next month. A couple of dueling meteor showers are gracing the skies later this month, and they will be joined by perhaps the most popular meteor shower of the year: the Perseids meteor shower. Perseids are known for their bright fireballs and plentiful meteors. The show started on July 17, and will run through Aug. 23. The reason the Perseids meteor shower is so popular is twofold. First, it takes place in the summer, so going outside and watch

Topics: meteor meteors perseids shower year

Shop Amazon

There's an Online Community That Believes the Internet Died in 2016. Here's How AI Fits Into the Picture

cnet.com See Full Bio 2026-02-16 08:00:00

It's no surprise that the rise of artificial intelligence is sparking debates among experts. Moreover, whether you use ChatGPT or Google Gemini, generative AI is increasingly being integrated into our daily lives. It's only fair to ask: Could AI take over the internet? Some members of the online community reckon it already has. This old online theory is on the rise again, and it all has to do with Shrimp Jesus. (Disclosure: Ziff Davis, CNET's parent company, in April filed a lawsuit against Open

Topics: ai dead internet online theory

Shop Amazon

The Hunt for a Fundamental Theory of Quantum Gravity

wired.com Charlie Wood 2026-02-16 06:00:00

The original version of this story appeared in Quanta Magazine. Two blind spots torture physicists: the birth of the universe and the center of a black hole. The former may feel like a moment in time and the latter a point in space, but in both cases the normally interwoven threads of space and time seem to stop short. These mysterious points are known as singularities. Singularities are predictions of Albert Einstein’s general theory of relativity. According to this theory, clumps of matter o

Topics: physicists singularities space theory time

Shop Amazon

2 Meteor Showers Are Peaking on the Same Night in July. How to Catch a Glimpse

cnet.com See Full Bio 2026-02-17 04:28:00

Meteor showers happen all year. They happen so often that they overlap for significant percentages of the year. There are two times when three meteor showers will be active in October, for example. But a rarer feat? Having two meteor showers that peak at the same time. It'll happen later this month, on July 29. The show will come courtesy of the Alpha Capricornids and Southern delta Aquariids meteor showers. The former began on Saturday and runs through Aug. 12, with a peak of July 29. Southern

Topics: meteor meteors showers sky southern

Shop Amazon

Two Meteor Showers Are Peaking on the Same Night in July. How to Catch a Glimpse

cnet.com See Full Bio 2026-02-17 10:28:05

Meteor showers happen all year. They happen so often that they overlap for significant percentages of the year. There are two times when three meteor showers will be active in October, for example. But a rarer feat? Having two meteor showers that peak at the same time. It'll happen later this month, on July 29. The show will come courtesy of the Alpha Capricornids and Southern delta Aquariids meteor showers. The former began on Saturday and runs through Aug. 12, with a peak of July 29. Southern

Topics: meteor meteors showers sky southern

Shop Amazon

Someone paid $5.3 million for a piece of Mars

engadget.com Unknown 2026-02-20 02:15:02

Add this to the list of "things that might be fun if you had a buttload of money": Someone forked over $5.3 million in a Sotheby's auction to own a piece of Mars. The Red Planet meteorite was discovered in 2023 in a remote area of the Sahara Desert in Niger. Martian meteorites of any size are incredibly rare. To get here, an asteroid first hits the Red Planet to eject material from its surface. (Sotheby's says there are only 19 Martian craters large enough to have spit out this one.) That chunk

Topics: martian meteorite million planet red

Shop Amazon

Rivian restarting work on its Georgia factory, emails show

techcrunch.com Sean O'Kane 2026-02-20 16:15:28

Rivian will resume prep-work on its planned Georgia factory in August and is still looking to break ground early next year, according to emails TechCrunch obtained through a public records request. The restarted effort comes months after the Biden administration’s Department of Energy approved a $6.6 billion meant to fund construction. Rivian has invested more than $80 million in the project as of June 20, 2025, up from $41 million in July 2024, according to a progress report submitted to the

Topics: factory georgia project rivian techcrunch

Shop Amazon

A Meteor Impact May Have Caused a Giant Landslide in the Grand Canyon

gizmodo.com Margherita Bassi 2026-02-21 06:30:00

Researchers have long puzzled over the presence of driftwood and lake sediments in Stanton’s Cave in the eastern Grand Canyon, whose mouth sits 150 feet (45.7 meters) above the river. How could the material possibly have reached that height? According to Karl Karlstrom, a geologist from the University of New Mexico, it would have had to be carried by flood levels ten times bigger than any seen in the past several thousand years. An international team of researchers proposes a surprising chain o

Topics: crater impact meteor river years

Shop Amazon

Look Up at Night and You May See 2 Meteor Showers at Once

cnet.com See Full Bio 2026-02-24 00:03:03

Even if you've never really seen one, meteor showers actually happen all year. In fact, they happen so often that they overlap for significant percentages of the year. There are two times when three meteor showers will be active in October, for example. But a rarer feat? Having two meteor showers that peak at the same time. It'll happen later this month, on July 29. The show will come courtesy of the Alpha Capricornids and Southern delta Aquariids meteor showers. The former began on Saturday an

Topics: meteor meteors showers sky southern

Shop Amazon

The Perseids Meteor Shower Brings Bright Fireballs to the Skies, Starting This Week

cnet.com See Full Bio 2026-02-25 21:21:03

Skygazers have a lot to look forward to over the next month. A couple of dueling meteor showers will grace the skies later in July, and they will be joined by perhaps the most popular meteor shower of the year. Perseids are known for their bright fireballs and plentiful meteors. The show starts on Thursday, July 17, and will run through Aug. 23. The reason the Perseids meteor shower is so popular is twofold. First, it takes place in the summer, so going outside and watching it is less uncomfort

Topics: meteor meteors perseids shower year

Shop Amazon

Biggest Martian Meteorite Ever Found Could Fetch $4 Million at Auction

gizmodo.com Ellyn Lapointe 2026-02-28 06:55:06

One lucky bidder will soon fork over millions of dollars to take home NWA 16788, a 54-pound (24-kilogram) Martian meteorite. This space rock, discovered in the Sahara Desert in 2023, is the largest chunk of the Red Planet ever found on Earth. Sotheby’s, a New York-based auction house, estimates the meteorite could fetch up to $4 million during its natural history sale on Wednesday, July 16. Bidding starts at a cool $1.9 million. Sotheby’s describes NWA 16788 as an “incredibly rare discovery” th

Topics: 16788 earth meteorite nwa sotheby

Shop Amazon

A Century of Quantum Mechanics

news.ycombinator.com Unknown 2026-02-25 17: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

How to Watch the Southern Delta Aquariids and Perseids Meteor Showers

wired.com Gretchen Rundorff 2026-03-01 21:00:00

If you want to get into stargazing in 2025, there’s no better place to start than viewing a meteor shower. Meteor showers, or shooting stars, happen when Earth’s orbital path crosses a path of debris left by a comet and that material burns up in the Earth’s atmosphere. Watching a meteor shower is one of the most accessible ways to engage with the night sky. The next showers of the year are the Southern Delta Aquariids—which peak for about a week at the end of July—and the Perseids—which will pe

Topics: meteor need radiant shower sky

Shop Amazon

New Study Flips Everything We Know About Addiction Upside Down

futurism.com Unknown 2026-03-02 15:05:30

Since the 1970s, countless experts and the US government have sold the public a simple explanation for drug addiction, now clinically called substance abuse disorder: the myth of the gateway drug. The gateway drug — usually cast as weed, alcohol, tobacco, or inhalants — refers to the theory that the earlier a kid starts using drugs, the more likely they are to get into the harder stuff later in life, like heroin or cocaine. Though the idea was pioneered as early as the 1930s, the policy term wa

Topics: brain drug drugs gateway theory

Shop Amazon

Look Up at Night and You May See Two Meteor Showers in July

cnet.com See Full Bio 2026-03-03 00:46:48

Meteor showers happen periodically all year. In fact, they happen so often that they overlap for significant percentages of the year. There are two times when three meteor showers will be active in October, for example. But a rarer feat is having two meteor showers that have their activity peak at the same time. The next time that's happening is on July 29. The show will come courtesy of the Alpha Capricornids and Southern delta Aquariids meteor showers. The former begins on July 12 and runs th

Topics: meteor meteors showers sky southern

Shop Amazon

Oh No, ‘Big Bang Theory’ Is Returning to Literally Destroy the Universe

gizmodo.com Cheryl Eddy 2026-03-07 23:50:45

You’d think io9—a site run by nerds—would enjoy a sitcom featuring a cast of nerd characters. Like, say, The Big Bang Theory, which ran on CBS for 12 seasons. But you’d be wrong: we loathed the show, especially for its often wrong-headed approach to geeky interests (remember how dirty it did Brian K. Vaughn and Fiona Staples’ wonderful comic Saga?), and we cheered when it finally wrapped up in 2019. But The Big Bang Theory obviously had a crap-ton of fans; you don’t get to 12 seasons and two sp

Topics: bang big characters stuart theory

Shop Amazon

‘Killer Bee’ Swarm Spotted Near Georgia, Raising Alarms

gizmodo.com Gayoung Lee 2026-03-13 06:50:08

A small county in Georgia may be facing a “killer bee” invasion. The Africanized bee is the common honeybee’s aggressive, lethal cousin. They look just like honeybees, but this hybrid between European and African honeybees is infamous among beekeepers for ganging up and attacking intruders—bee or human—earning them the nickname “killer bee.” Africanized bees arrived on U.S. soil in the 1990s and have since been spotted across parts of the southern U.S. But this latest sighting of so-called kil

Topics: africanized bee beekeepers bees georgia

Shop Amazon

David George from a16z on the future of going public at TechCrunch Disrupt 2025

techcrunch.com Techcrunch Events 2026-03-22 17:30:00

TechCrunch Disrupt 2025 is coming to Moscone West in San Francisco from October 27-29, bringing together 10,000+ startup and VC leaders to chart what’s next in tech. And on October 27, on the premier industry stage Going Public, David George of Andreessen Horowitz will take the mic for a fireside chat focused on one of the most important, and often misunderstood, decisions in a company’s lifecycle: when to go public. What to expect from this fireside chat In this conversation, George will unpa

Topics: 27 george growth public stage

Shop Amazon

Latest Tech News

You Can Still See Bright Fireballs During the Perseids Meteor Shower

Why is it worth spending time on type theory? (2013)

Why is it worth spending time on type theory?

How to Watch One of the Most Dazzling Meteor Showers of the Year

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Look to the Sky: Bright Fireballs Appear During the Perseids Meteor Shower

Catch the Perseids Meteor Shower This Week, and See Bright Fireballs in the Skies

The math is haunted

The Math Is Haunted

You Can See 2 Meteor Showers at Once This Week. How to Catch a Glimpse

You Can See Two Meteor Showers at Once In July's Night Sky. Here's How to Catch a Glimpse

Radical New Theory Rewrites the Story of the Earliest Universe

Bright Fireballs in the Skies: Catch the Perseids Meteor Shower This Week

There's an Online Community That Believes the Internet Died in 2016. Here's How AI Fits Into the Picture

The Hunt for a Fundamental Theory of Quantum Gravity

2 Meteor Showers Are Peaking on the Same Night in July. How to Catch a Glimpse

Two Meteor Showers Are Peaking on the Same Night in July. How to Catch a Glimpse

Someone paid $5.3 million for a piece of Mars

Rivian restarting work on its Georgia factory, emails show

A Meteor Impact May Have Caused a Giant Landslide in the Grand Canyon

Look Up at Night and You May See 2 Meteor Showers at Once

The Perseids Meteor Shower Brings Bright Fireballs to the Skies, Starting This Week

Biggest Martian Meteorite Ever Found Could Fetch $4 Million at Auction

A Century of Quantum Mechanics

How to Watch the Southern Delta Aquariids and Perseids Meteor Showers

New Study Flips Everything We Know About Addiction Upside Down

Look Up at Night and You May See Two Meteor Showers in July

Oh No, ‘Big Bang Theory’ Is Returning to Literally Destroy the Universe

‘Killer Bee’ Swarm Spotted Near Georgia, Raising Alarms

David George from a16z on the future of going public at TechCrunch Disrupt 2025

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising