Latest Tech News

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

Filtered by: s_t Clear Filter

Coding error blamed after parts of Constitution disappear from US website

The Library of Congress today said a coding error resulted in deletion of parts of the US Constitution from Congress' website and promised a fix after many Internet users pointed out the missing sections this morning. "It has been brought to our attention that some sections of Article 1 are missing from the Constitution Annotated (constitution.congress.gov) website," the Library of Congress said today. "We've learned that this is due to a coding error. We have been working to correct this and e

Sections on habeas corpus and nobility titles were temporarily removed from Congress' US Constitution website

Key sections of the US Constitution were temporarily removed from Congress' website. Provisions including habeas corpus (due process) and the prohibition of nobility titles (like, say, King) vanished from the digital version of the document. They've since been restored. 404 Media first reported on the edits after users on Lemmy forums spotted them. There are many ways to read a copy of the US Constitution. But the Library of Congress' online version is one of the easiest to find. Alongside its

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

$\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

Why is it worth spending time on type theory?

$\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

Speedhunters was a car culture juggernaut

Get The Drive’s daily newsletter The latest car news, reviews, and features. Email address Sign Up Thank you! Terms of Service & Privacy Policy. Speedhunters, as we know it, is done for. The car photography site that shaped a generation’s automotive imagination went out with a whimper, not a bang, when publishing quietly froze in April. After I reported the news last week, past contributors flooded my inbox with notes as they sought to share their side of the story. Now that I’ve sat down with

Android may soon get its own version of Apple’s Hot Corners on Macs

Dhruv Bhutani / Android Authority TL;DR Google is developing a new ‘Action Corners’ feature for Android, which could be similar to ‘Hot Corners’ on macOS. This feature may allow users to trigger actions, like launching Recent apps or opening notifications, by moving the cursor to one of the four corners of the screen. The feature is not yet live but may be part of a broader push to make Android a more capable operating system for PCs. Shortcuts are crucial for saving time on any device, but

NASA explains how it keeps the Curiosity rover running, 13 years later

Thirteen years ago, the Curiosity rover landed on Mars, inside Gale crater in particular. It was originally sent to the red planet for a two-year mission, but it was extended indefinitely just a few months into its operations. The rover has several goals, most of which are meant to help scientists determine whether Mars could ever have supported life in the past. And while it's still very much operational and doing science, NASA has had to make adjustments and give it new capabilities to ensure

See 6 Planets Align in the Night Sky This August

On August 10, six planets—Mercury, Venus, Jupiter, Saturn, Uranus, and Neptune—will line up in an arc in the night sky. Four of these planets—Mercury, Venus, Jupiter, and Saturn—can be seen with the naked eye, while Uranus and Neptune will be visible through a very strong pair of skywatching binoculars or a backyard telescope. While August 10 marks the beginning of this planetary parade, these six planets will be visible until the final days of August, when Mercury sinks lower on the horizon an

Here’s an early look at Gboard’s Material 3 Expressive refresh (APK teardown)

Edgar Cervantes / Android Authority TL;DR Google is working on a Material 3 Expressive redesign for the Gboard app settings. The redesign features a card-style user interface and a rearranged settings menu with new descriptions. Gboard is one of those apps I cannot live without, so much so that I even install it on my iPhones (which sounds blasphemous, but it works great). On Android phones, Google is working to bring a Material 3 Expressive redesign for Gboard settings, so you can enjoy a co

I gave the AI arms and legs then it rejected me

An AI generated image of an AI using its hands to reject me. Very meta, I know I gave the AI arms and legs — then it rejected me 2025-07-03 In October 2024, Anthropic released "Claude Computer Use". It allows an AI to control a computer and for example copy data from a browser to a spreadsheet. It's a really cool feature and since I am the maintainer of a library that allows controlling a computer, I was curious to find out how they do it and learn from them. I didn't have time to look into i

Anthropic rejects the main developer of the library they use

An AI generated image of an AI using its hands to reject me. Very meta, I know I gave the AI arms and legs — then it rejected me 2025-07-03 In October 2024, Anthropic released "Claude Computer Use". It allows an AI to control a computer and for example copy data from a browser to a spreadsheet. It's a really cool feature and since I am the maintainer of a library that allows controlling a computer, I was curious to find out how they do it and learn from them. I didn't have time to look into i

Some people are defending Perplexity after Cloudflare ‘named and shamed’ it

When Cloudflare accused AI search engine Perplexity of stealthily scraping websites on Monday, while ignoring a site’s specific methods to block it, this wasn’t a clear-cut case of an AI web crawler gone wild. Many people came to Perplexity’s defense. They argued that Perplexity accessing sites in defiance of the website owner’s wishes, while controversial, is acceptable. And this is a controversy that will certainly grow as AI agents flood the internet: Should an agent accessing a website on b

The Future Beyond Meta Quest and Vision Pro Is Coming in Glasses Form. What Will VR Look Like Then?

Meta CEO Mark Zuckerberg recently declared that the gadget of the future is AI-infused glasses. Zuckerberg and Meta have been interested in these types of peripherals for years, but the focus has clearly been shifting lately from VR on our faces to glasses on our faces. Meta's not alone here. Apple sees a future in AR. Google does too. So does Samsung. The list of players goes on and on. As VR has shifted to mixed reality, and smart glasses promise augmented reality features to come, and AI evo

Amazon is bringing its Starlink alternative to Australia next year

Posts from this author will be added to your daily email digest and your homepage feed. Amazon’s unproven Project Kuiper satellites will be put to work next year, supplying internet access to rural Australians. The retail giant announced an agreement with Australia’s state-owned National Broadband Network Company (NBN Co) on Tuesday to provide satellite internet to more than 300,000 eligible customers across the country by mid-2026. “Australia’s vast geography presents unique connectivity chal

As a linguist, I want to find the words to measure chronic illness

Heather Hogan / The Sick Times Let me paint a scene that is all too familiar: I’m not feeling well (again), I go to the doctor (again), they take some blood (again; I turn my head away) and poke at me in whatever way my insurance company deems appropriate. The result is a long sheet of seemingly arbitrary numbers that indicate something about my metabolic processes and the resulting sensations, and I leave without much information aside from some variation of: “These tests tell me that your bo

Clojure Civitas – Publish Clojure Ideas and Explorations

Clojure Civitas Clojure Civitas makes it easy for you to publish Clojure ideas and explorations without the overhead of setting up a new project, blog, or repo. Whether you're sketching out a quick experiment or writing a deeper post, just fork this repo, create a namespace, write, commit and submit a pull request. This is your shared scratch space. Think. Code. Share. ⚡ No setup – Clone this repo, make a new namespace, start coding. ✍️ Write as you code – Capture notes, results, and ideas a

Perplexity is allegedly scraping websites it's not supposed to, again

Web crawlers deployed by Perplexity to scrape websites are allegedly skirting restrictions, according to a new report from Cloudflare. Specifically, the report claims that the company's bots appear to be "stealth crawling" sites by disguising their identity to get around robots.txt files and firewalls. Robots.txt is a simple file websites host that lets web crawlers know if they can scrape a websites' content or not. Perplexity's official web crawling bots are "PerplexityBot" and "Perplexity-Us

NASA's Lunar Trailblazer mission ends in disappointment

The Lunar Trailblazer mission to the moon officially ended on July 31, but it wasn't a complete journey. NASA said today that its teams lost contact with the satellite shortly after its launch several months prior. The NASA satellite was part of the IM-2 mission by Intuitive Machines, which took off from a SpaceX Falcon 9 rocket from Kennedy Space Center on February 26 at 7:16PM ET. The Lunar Trailblazer successfully separated from the rocket as planned about 48 minutes after launch. Operators

NASA's Curiosity picks up new skills

Instead, Curiosity and its younger sibling Perseverance each use their MMRTG nuclear power source, which relies on decaying plutonium pellets to create energy and recharge the rover’s batteries. Providing ample power for the rovers’ many science instruments, MMRTGs are known for their longevity (the twin Voyager spacecraft have relied on RTGs since 1977). But as the plutonium decays over time, it takes longer to recharge Curiosity’s batteries, leaving less energy for science each day. The team

Customizing tmux

I have been exploring some new tools here and there. When I started watching Primeagen, I took a note of several tools that he was using and advocating for. One of them was tmux. What is tmux?# tmux is a terminal multiplexer. What that means is you can have many terminals in one. According to tmux wiki: tmux is a program which runs in a terminal and allows multiple other terminal programs to be run inside it. Each program inside tmux gets its own terminal managed by tmux, which can be accesse

Topics: fg set status tmux window

Customizing tmux and making it less dreadful

I have been exploring some new tools here and there. When I started watching Primeagen, I took a note of several tools that he was using and advocating for. One of them was tmux. What is tmux?# tmux is a terminal multiplexer. What that means is you can have many terminals in one. According to tmux wiki: tmux is a program which runs in a terminal and allows multiple other terminal programs to be run inside it. Each program inside tmux gets its own terminal managed by tmux, which can be accesse

Topics: fg set status tmux window

Tesla awards Musk $29 billion in shares with prior pay package in limbo

Tesla CEO Elon Musk was awarded an interim pay package of 96 million shares of the company over the weekend. The shares would be worth about $29 billion. Tesla stock climbed about 2% Monday. The company said in a filing Sunday that the pay package would vest in two years as long as Musk continued as CEO or in another key executive position. The new award would be forfeited if the legal battle over his 2018 compensation ends with Musk being able to exercise the larger pay package, which was va

Disney Lorcana's Newest Super Rare Card Gives Your Aliens a Big Boost

I’m lucky here at CNET to get an early look at some of the new Disney Lorcana cards -- and sometimes, I get to share them with you. Disney Lorcana is one of the best card games available right now and one of my favorites to play with a group of friends when you're feeling a little tired of gaming. Every quarter, a new set is released, and with the last set, Reign of Jafar, in the rearview, we’re looking forward to the newest set, Fabled. Fabled, or set nine, includes a lot of reprinted cards fr

These are the best streaming services you aren’t watching

We all know how to find our favorite shows and blockbuster films on mainstream streaming services like Netflix, HBO Max, and Disney+. But even as streaming has opened the door to millions of hours of on-demand entertainment, it can still feel like there’s nothing fresh or exciting to watch anymore. If you agree, it’s time to check out some of the more niche streaming services available, where you can find remarkable content unlikely to be available elsewhere. This article breaks down the best

What’s Inside the Tiny Miracle Food Pouches That Can Save the Lives of Starving Gazans

Take a peanut-based paste packed with 500 calories and nearly 13 grams of protein. Store it in a 92-gram foil pouch, so it can be easily sucked by starving infants on the front line. No water or refrigeration is required, meaning it can be distributed in drought-hit areas and stored at ambient temperature for up to two years. Just a couple of daily sachets can lead to a 10 percent weight gain over six weeks, sustaining recovery from severe acute malnutrition for less than $60 per child. Saving a

So you want to parse a PDF?

Suppose you have an appetite for tilting at windmills. Let's say you love pain. Well then why not write a PDF parser today? The ideal world: how the specification should work Conceptually parsing a PDF is fairly simple: First, locate the version header comment at the start of the file Next you need to locate the pointer to the cross-reference Then you can find all object offsets Finally you locate and build the trailer dictionary which points to the catalog dicitionary Introduction to PDF

SAP is acquiring SmartRecruiters

In Brief SAP announced Friday that it has reached an agreement to acquire recruiting software company SmartRecruiters. In a press release, the European software giant said that SmartRecruiters “powerful, user-friendly interfaces and seamless workflows” will complement SAP’s existing HR tools. Muhammad Alam, the SAP executive board member who leads product and engineering, said in a statement that with this acquisition, “Customers will be able to manage the entire candidate lifecycle — from so