Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: loop Clear Filter

A mushroom casket marks a first for ‘green burials’ in the US

is a senior science reporter covering energy and the environment with more than a decade of experience. She is also the host of Hell or High Water: When Disaster Hits Home , a podcast from Vox Media and Audible Originals. “I’m probably the only architect who created a final home,” Bob Hendrikx tells The Verge. Tombs and catacombs aside, Hendrikx might be the only one to make a final home using mushrooms. Hendrikx is the founder and CEO of Loop Biotech, a company that makes caskets out of mycel

My first verified imperative program

One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a simple example of what it can do, and compare it to similar tools. Guiding example We will use the following simple programming task as an example throughout the post: given a list of integers, determine if there are two integers at distinct positions in the list th

Topics: lean list loop seen true

The Ploopy Knob is an open-source control dial for your PC

is a senior reporter who’s been covering and reviewing the latest gadgets and tech since 2006, but has loved all things electronic since he was a kid. Ploopy has announced another desktop accessory called the Ploopy Knob that can function like a control dial for adjusting volume, scrolling documents, or scrubbing through media on a computer. The Canadian company isn’t exactly a household name like Logitech, but Ploopy’s open-source peripherals offer a lot of customizability, and like its mouse

The Loop Micro is my new favorite bicycle phone mount

is a deputy editor and Verge co-founder with a passion for human-centric cities, e-bikes, and life as a digital nomad. He’s been a tech journalist for 20 years. Bicycle phone mounts have been a regular part of my life in bike-obsessed Amsterdam ever since 2008, when I got my first phone with built-in GPS and turn-by-turn navigation. I’ve used dozens of mounts since, until they were either lost, broken, or stolen, or something better emerged. I could have saved a ton of money and annoyance had

Revisiting Knuth's “Premature Optimization” Paper

The most famous quote from Knuth’s paper “Structured Programming with go to Statements” is this: There is no doubt that the grail of efficiency leads to abuse. Programmers waste enormous amounts of time thinking about, or worrying about, the speed of noncritical parts of their programs, and these attempts at efficiency actually have a strong negative impact when debugging and maintenance are considered. We should forget about small efficiencies, say about 97% of the time: premature optimization

Revisiting Knuth's "Premature Optimization" Paper

The most famous quote from Knuth’s paper “Structured Programming with go to Statements” is this: There is no doubt that the grail of efficiency leads to abuse. Programmers waste enormous amounts of time thinking about, or worrying about, the speed of noncritical parts of their programs, and these attempts at efficiency actually have a strong negative impact when debugging and maintenance are considered. We should forget about small efficiencies, say about 97% of the time: premature optimization

Don't make the same Apple Watch mistake as me - this is the band I'm buying instead

The weak link! Adrian Kingsley-Hughes/ZDNET My Apple Watch Ultra 2 is, as of today, 626 days old, and apart from charging, it has been on my wrist pretty much continuously. It's accompanied me on many an adventure, been in several countries, found itself deep inside loads of car engine bays, been covered in dirt and mud, and it still looks like new. Regular readers will have seen it in countless photos here on ZDNET. Also: Why I replaced my Whoop band with this fitness strap (hint: there's no

Novoloop is making tons of upcycled plastic

Plastic has a recycling problem. Only about 9% of plastic gets recycled, and a majority of that waste comes from single use items like plastic grocery bags. It’s partly a design problem — they’re made to be discarded. But it’s also a technology problem because recycling such films isn’t easy, and the results usually aren’t great. Novoloop says it has developed a way to take those troublesome plastics and turn them into something other companies actually want to buy. The California-based startu

My Apple Watch band gave out before year two - and it could've been bad

The weak link! Adrian Kingsley-Hughes/ZDNET My Apple Watch Ultra 2 is, as of today, 626 days old, and apart from charging, it has been on my wrist pretty much continuously. It's accompanied me on many an adventure, been in several countries, found itself deep inside loads of car engine bays, been covered in dirt and mud, and it still looks like new. Regular readers will have seen it in countless photos here on ZDNET. But the other day, something broke, and while it wasn't serious, it could ha

Homotopy Equivalences

Previously: Fibrations and Cofibrations. In topology, we say that two shapes are the same if there is a homeomorphism– an invertible continuous map– between them. Continuity means that nothing is broken and nothing is glued together. This is how we can turn a coffe cup into a torus. A homeomorphism, however, won’t let us shrink a torus to a circle. So if we are only interested in how many holes the shapes have, we have to relax our notion of equivalence. Let’s go back to the definition of home