Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Trek and Electra Raise Bike Prices to Offset Tariffs

2025-04-18
Trek and Electra Raise Bike Prices to Offset Tariffs

Trek and Electra bicycle retailers received an email informing them of immediate price increases on most models due to a 10% tariff surcharge announced on April 2nd. Trek stated they minimized the impact on entry-level models and that the price increase includes backorders to avoid inventory rushes. Retailers will see increased inventory value and profit margins. Specialized Bicycles will separately list the 10% tariff surcharge on B2B invoices after May 1st.

Read more
(www.bicycleretailer.com)
Hardware bikes

AI Code Generation's Hallucinations: A New Software Supply Chain Threat

2025-04-12
AI Code Generation's Hallucinations: A New Software Supply Chain Threat

The rise of AI-powered code generation tools is revolutionizing software development, but also introducing new risks to the software supply chain. These tools sometimes 'hallucinate' nonexistent software packages, a vulnerability attackers are exploiting. They create malicious packages and upload them to registries like PyPI or npm. When the AI 'hallucinates' the name again, installing dependencies executes the malware. Studies show around 5.2% of commercial AI suggestions are non-existent packages, compared to 21.7% for open-source models. This 'hallucination' shows a bimodal pattern: some invented names reappear consistently, others vanish. This form of typosquatting, dubbed 'slopsquatting', requires developers to carefully vet AI-generated code. The Python Software Foundation is actively working to mitigate these risks.

Read more
(www.theregister.com)
Development

Formal Methods: Just Good Engineering Practice?

2025-01-10

Marc Brooker, an engineer at Amazon Web Services, argues in his TLA+ conference keynote that formal methods are not a costly overhead but a time and money saver for large-scale, distributed systems, or critical low-level systems. By reducing rework and the cost of change, formal design significantly improves software development efficiency. Not all software benefits; agile development is better suited for areas sensitive to changing user requirements, such as UIs or pricing logic. However, for large systems with well-defined requirements, formal methods effectively reduce bug rates and improve performance. Brooker recommends various tools, including specification languages like TLA+, P, and Alloy, model checkers, and verification-aware programming languages. He emphasizes that formal methods not only ensure correctness but also help explore optimization options, avoiding the difficult trade-off between correctness and performance.

Read more
(brooker.co.za)
Development formal methods

Harvard's HIV/AIDS Poster Archive: A Visual History of Public Health Messaging

2025-05-14

Harvard Library's digital archive of over 3,000 posters on the HIV/AIDS epidemic reveals the evolution of public health communication. Early posters prioritized simple, impactful visuals and a single, emotionally resonant message with a clear call to action (phone number, website, now QR code). Later campaigns diversified messaging for varied audiences, shifting from shame-based to positive and affirming approaches. Researchers emphasize co-creating messages with target audiences for better impact. The archive highlights the progress made with modern prevention and treatment (PrEP, antivirals), aiming to end HIV transmission and prevent further deaths, contrasting past limitations with current capabilities to eliminate new infections.

Read more
(news.harvard.edu)
Tech Health Communication

Ultra-Processed Foods: Health Risks and Policy Challenges

2025-09-05
Ultra-Processed Foods: Health Risks and Policy Challenges

The UN is set to discuss a proposal to eliminate trans fats, but experts urge clarification between industrially produced and naturally occurring trans fats to avoid harming nutritious foods. This sparks a broader debate on "ultra-processed foods," often high in sugar, salt, and saturated fat, linked to obesity and cardiovascular disease. While the NOVA classification system helps identify them, its limitations lie in focusing solely on processing, ignoring factors like palatability and calorie density. Therefore, clearer definitions and more precise policies are needed, balancing control over excessive industrial food production with ensuring sufficient and appropriate food for all.

Read more
(www.nature.com)
Tech trans fats

GIFs in 2025: AVIF, WebP, and Video Take Center Stage

2025-02-08
GIFs in 2025: AVIF, WebP, and Video Take Center Stage

This article updates a 2022 post on GIF alternatives. AV1 and animated AVIF are now supported across browsers (with Safari caveats). WebP remains a strong contender due to its size and wide browser support. JPEG-XL supports static images, but animated support is limited. The article also explores using the `` element, comparing AV1 and VP9 codecs, and highlighting media queries for responsive videos. While AVIF shows promise, current frame rate issues and browser bugs in Safari make a blanket recommendation difficult. The best choice depends on project needs and browser compatibility trade-offs.

Read more
(fullystacked.net)
Development image formats video codecs

My Biohacking Experience: Getting a Magnet Implant

2025-01-09

A biohacker recounts their experience getting a magnet implanted under their skin. Opting for the xG3 v2, they sought to experience both magnetic sensing and lifting capabilities. The procedure was straightforward, with healing involving minor swelling and bruising. Afterwards, they could sense magnetic fields, such as those from a laptop charger and microwave, and easily pick up small ferromagnetic objects like paperclips. They could also manipulate a virtual compass on their phone and even unlock their laptop. Despite some minor magnet migration, they're happy with the experience and plan future body modifications.

Read more
(vale.rocks)
Misc biohacking body modification magnet implant

Rwanda's Genocide Radio: Incitement Under the Guise of Free Speech

2025-06-07

A radio station, ostensibly aiming for "harmonious development in Rwandan society," was secretly funded by Hutu extremists. It demonized the Tutsi minority, fostering hate and violence, laying the groundwork for the genocide. Despite warnings from the Belgian ambassador and aid agencies, Western diplomats dismissed the station's dangerous rhetoric, viewing it as a joke. The US ambassador even argued that its euphemisms were open to interpretation, prioritizing 'freedom of speech' over preventing mass violence.

Read more
(rwandanstories.org)
Misc Rwandan Genocide Media Incitement International Responsibility

AWS Aurora DSQL: A Database Architecture Revolution from JVM to Rust

2025-05-27
AWS Aurora DSQL: A Database Architecture Revolution from JVM to Rust

AWS announced Aurora DSQL at re:Invent, and this post delves into its development journey. To tackle the challenge of horizontally scaling writes in traditional databases, the AWS team initially used JVM but encountered severe performance bottlenecks, especially tail latency issues caused by garbage collection. They ultimately decided to rewrite the data plane in Rust, which significantly improved performance and reduced tail latency. Furthermore, the team also migrated the control plane to Rust, avoiding the complexities of multiple languages. This project demonstrates that questioning existing solutions and experimenting with new technologies (even costly language migrations) can yield significant rewards.

Read more
(www.allthingsdistributed.com)
Development

Hosting.com Acquires Rocket.net: A WordPress Hosting Powerhouse Merges

2025-08-27
Hosting.com Acquires Rocket.net: A WordPress Hosting Powerhouse Merges

Fast-growing managed WordPress hosting company Rocket.net has been acquired by Hosting.com. This acquisition brings Rocket.net's robust SaaS platform and strong brand under Hosting.com's umbrella, while providing Rocket.net with access to significant capital and global reach. Rocket.net will continue to operate independently, with founder and CEO Ben Gabler appointed as Hosting.com's Chief Product Officer. The acquisition strengthens Hosting.com's capabilities and expands its reach to new regions including Mexico, UAE, and Australia. Both companies reaffirm their commitment to WordPress and open source.

Read more
(nerds.xyz)
Tech WordPress hosting

Google Analytics Security Risks: A CISO's Headache

2025-04-26
Google Analytics Security Risks: A CISO's Headache

CISOs need to carefully assess the risks associated with sharing data with third parties, particularly when using Google Analytics. The article highlights that Google Analytics can inadvertently collect sensitive data, such as personally identifiable information (PII) embedded in URLs (names, emails, birthdates, etc.) or form field values. To prevent this, CISOs must ensure that when configuring Google Analytics, all query parameters, form inputs, and dynamic page elements that could contain sensitive data are filtered out. Otherwise, this data could be tracked and collected by Google Analytics, posing significant security risks.

Read more
(www.csoonline.com)
Tech

The $100B AGI Definition Mess: Microsoft and OpenAI's Rift

2025-07-09
The $100B AGI Definition Mess: Microsoft and OpenAI's Rift

Microsoft and OpenAI are locked in a bitter dispute over the definition of AGI (Artificial General Intelligence), casting a shadow over their $13 billion contract. Some define AGI as an AI system generating $100 billion in profit, a purely arbitrary economic benchmark. The lack of a consensus definition hinders AI development, regulation, and discourse. The author suggests AGI should possess broad generalization capabilities, handling diverse tasks across domains, but the 'human-level' benchmark itself is problematic. This definitional clash highlights the conceptual ambiguity plaguing the AI field.

Read more
(arstechnica.com)
AI

NAB Show Reveals 10ns GPS-Synchronized ATSC 3.0 Timing

2025-04-13

At this year's NAB Show, a surprising discovery was made: a precise time synchronization technique using a u-blox GPS receiver and an ATSC 3.0 television signal, achieving a pulse synchronization of ±10 ns between the two. This experimental timing standard, called BPS (Broadcast Precision Synchronization), could be integrated into the US ATSC 3.0 rollout. Its significance lies in providing a reliable terrestrial backup to GPS, enhancing resistance to various jamming attempts, which is crucial for media, power grids, 5G communications, and more. Furthermore, the show also featured consumer-grade Intel motherboards with built-in PPS input/output connectors, highlighting the growing adoption of precise time synchronization technology.

Read more
(www.jeffgeerling.com)
Tech

A Surprising Enum Size Optimization in Rust

2025-04-10

The Rust compiler employs a clever memory optimization for enums, reducing their size and boosting performance. The article analyzes the in-memory representation of enums, revealing two optimization strategies: the 'niche optimization,' using invalid bit patterns for variants without payloads; and an optimization for nested enums, cleverly reusing the inner enum's memory layout to minimize the outer enum's size. Both strategies significantly reduce memory consumption, improving program efficiency.

Read more
(jpfennell.com)
Development

UNESCO Honors Poland's Polonaise: A Dance Through History

2025-04-18
UNESCO Honors Poland's Polonaise: A Dance Through History

Once banned under Russian rule, Poland's stately polonaise dance, a symbol of national spirit, has been inscribed on UNESCO's Intangible Cultural Heritage list. This 18th-century dance, performed at aristocratic balls and village celebrations alike, inspired composers like Bach and Chopin. Even during Poland's partitions, it fostered a sense of national identity. Today, it remains a significant part of national events, graduations, and weddings, representing cooperation, reconciliation, and equality. Its simple elegance continues to unite people, passed down through generations and performed in streets and schools alike, demonstrating its enduring power.

Read more
(apnews.com)
Misc Polonaise Intangible Cultural Heritage

Linguistics: Debunking the Myth of Inuit Snow Words

2025-05-20
Linguistics: Debunking the Myth of Inuit Snow Words

The long-standing claim that Inuit languages have numerous words for snow has been a subject of debate. A new study uses computational linguistics to not only confirm the richness of Inuit vocabulary for snow but also reveals similar patterns in other languages, such as Samoan for lava and Scots Gaelic for oatmeal. Researchers analyzed bilingual dictionaries of over 600 languages, finding that lexical preferences reflect a culture's prioritization of certain concepts. However, the study also highlights the limitations of dictionary data, suggesting future research should incorporate real-world language use for a more comprehensive understanding of the relationship between language and culture.

Read more
(www.scientificamerican.com)
Tech vocabulary

FreeBSD Says No to LLM-Generated Code

2025-09-04
FreeBSD Says No to LLM-Generated Code

The FreeBSD Project's latest quarterly report reveals a new policy in the works: a ban on code and documentation generated by large language models (LLMs). This aligns with similar stances taken by NetBSD and Gentoo Linux, reflecting concerns about the reliability and security of AI-generated code. The report also details other FreeBSD projects underway, including improvements to Wi-Fi, graphics, sound, and power management; restructuring the OS into pkg packages; and developing a web-based GUI for virtualization. Despite competition from Linux, FreeBSD remains actively developed, continuously improving its features and user experience.

Read more
(www.theregister.com)
Development

CosAE: A Novel Autoencoder for Super-Resolution Image Restoration using Fourier Series

2025-04-26

Researchers introduce CosAE, a novel autoencoder seamlessly integrating classic Fourier series with a feed-forward neural network. CosAE represents input images as 2D cosine time series, each defined by learnable frequency and Fourier coefficients. Unlike conventional autoencoders that lose detail in low-resolution bottlenecks, CosAE encodes frequency coefficients (amplitudes and phases) enabling extreme spatial compression (e.g., 64x downsampled feature maps) without detail loss upon decoding. Experiments on super-resolution and blind image restoration demonstrate state-of-the-art performance, highlighting CosAE's ability to learn a generalizable representation for image restoration.

Read more
(sifeiliu.net)
AI Image Restoration Autoencoder

Senior Devs Embrace AI Coding More Than Juniors: A Fastly Survey

2025-08-31
Senior Devs Embrace AI Coding More Than Juniors: A Fastly Survey

A recent Fastly survey of 791 US developers reveals a surprising trend: senior developers (10+ years experience) are more than twice as likely to use AI code generation tools like Copilot and generate over half their code with them, compared to junior developers. This isn't due to laziness, but rather the diverse responsibilities of senior roles. AI helps them prototype faster, though more time is needed for bug fixing. While most senior devs find AI boosts efficiency and enjoyment, juniors prefer traditional coding and are less concerned with energy consumption. The survey highlights the experience advantage in spotting AI-generated errors. Overall, AI coding tools are making the job more enjoyable for over 70% of all respondents.

Read more
(www.theregister.com)
Development code generation tools

Las Vegas Fights Heat with Trees

2025-06-10
Las Vegas Fights Heat with Trees

Following a record-breaking summer with over 500 heat-related deaths, Las Vegas is aggressively tackling climate change. The city, county, and local advocates are planting thousands of trees, particularly in the hottest neighborhoods, to mitigate the urban heat island effect. Studies show trees can significantly lower surrounding temperatures, by at least 10 degrees Fahrenheit. The effort focuses not only on the number of trees planted but also on strategic species selection and placement to maximize cooling impact while conserving water in the desert environment. Schools are also participating, educating the next generation about environmental responsibility.

Read more
(www.npr.org)
Tech urban heat island tree planting

Four-Day Workweek Boosts Employee Well-being and Productivity

2025-07-23
Four-Day Workweek Boosts Employee Well-being and Productivity

A six-month trial involving thousands of employees across multiple countries showed that a four-day workweek, without a pay cut, significantly improved worker well-being and productivity. Researchers found reduced burnout, increased job satisfaction, and fewer sleep problems. While those reducing their hours by eight or more saw the greatest benefits, even a five-hour reduction yielded positive results. Although the study had limitations (volunteer participation, smaller companies, English-speaking countries), it suggests that income-preserving four-day workweeks are a promising organizational intervention, particularly in light of advancements in AI and automation.

Read more
(www.theregister.com)
Tech employee well-being

Wireless Eavesdropping: Your Phone's Vibrations Could Be Giving Away Your Conversations

2025-08-13
Wireless Eavesdropping: Your Phone's Vibrations Could Be Giving Away Your Conversations

Researchers at Penn State University have discovered a new form of eavesdropping, "wireless tapping," which uses the tiny vibrations produced by a cellphone's earpiece to remotely decipher conversations. Using a millimeter-wave radar sensor and AI-powered speech recognition, they achieved partial transcriptions of conversations from up to three meters away, with around 60% accuracy. This research highlights future privacy risks and warns of potential threats. While currently limited in accuracy, the rapid advancement of AI could lead to its future use in malicious eavesdropping, posing significant privacy concerns.

Read more
(www.psu.edu)
Tech wireless eavesdropping

Nanotech Breakthrough: siRNA and Liposomes Team Up to Fight Deadly Fungal Infections

2025-04-13
Nanotech Breakthrough: siRNA and Liposomes Team Up to Fight Deadly Fungal Infections

Fungal infections are rising globally, and current antifungals are proving ineffective. Researchers from the University of Würzburg, Germany, have achieved a breakthrough, using nanotechnology to deliver small interfering RNAs (siRNAs) combined with Amphotericin B to specifically target the dangerous mold *Aspergillus fumigatus*. This approach silences crucial fungal genes, inhibiting growth and paving the way for new antifungal therapies. The study ingeniously combines RNA interference with optimized liposomal delivery, overcoming the challenge of siRNA penetrating the fungus's thick cell wall. This marks the first successful application of this technology against a human pathogenic fungus in infection models and utilized insect larvae, reducing mammalian animal testing. The results demonstrate significantly reduced fungal growth, offering a promising new weapon against the growing threat of drug-resistant fungal infections.

Read more
(phys.org)
Tech Nanotechnology RNA interference Antifungal

Deployment-Ready Sandboxed Browser Environments

2025-04-16
Deployment-Ready Sandboxed Browser Environments

Anthropic introduces innovative sandboxed Chrome browser environments, built on containers/Docker and Unikraft, providing ready-to-use browsers for agentic workflows needing internet access. These environments support Chrome DevTools frameworks (like Playwright and Puppeteer) and offer GUI access for visual monitoring and remote control. The Unikernel version boasts automated standby, state snapshotting, and extremely fast cold starts, ideal for applications requiring low-latency event handling. Additionally, Anthropic is hiring backend engineers to work on the future of AI infrastructure.

Read more
(github.com)
Development sandboxed browser

Itch.io Deindexes NSFW Games After Payment Processor Pressure

2025-07-26
Itch.io Deindexes NSFW Games After Payment Processor Pressure

Itch.io, an indie game marketplace, has deindexed all NSFW games following pressure from the anti-pornography group Collective Shout. Collective Shout targeted payment processors, threatening to cut off Itch.io's ability to process payments unless it removed the games. This has sparked controversy, affecting many developers, particularly those in the LGBTQ+, female, and BIPOC communities, whose games, even award-winning ones, were removed for covering sensitive topics like sex, mental health, or other triggering themes. The incident highlights the immense power payment processors wield over content moderation and their potential negative impact on creators.

Read more
(www.wired.com)
Game

Sweden Rethinks Tech-Heavy Education, Brings Back Books and Pencils

2025-01-15
Sweden Rethinks Tech-Heavy Education, Brings Back Books and Pencils

Concerns over declining basic skills among Swedish students have prompted a shift in the country's digital education strategy. Years of emphasizing tablets and digital tools in schools have come under scrutiny following a drop in reading scores. In response, the government is increasing investment in physical books and encouraging a return to traditional teaching methods like handwriting practice and quiet reading time. While some experts support this back-to-basics approach, others argue it's an overreaction, emphasizing that technology is just one factor in a complex educational ecosystem.

Read more
(apnews.com)
Tech Sweden

Undecidability: The Programmer's Pandora's Box

2025-05-28
Undecidability: The Programmer's Pandora's Box

This article provides a clear explanation of the concept of "undecidability" in computer science. Using accessible language and concrete examples (like determining if a number is the sum of two primes), the author explains decision problems and the role of Turing machines. The key takeaway is that undecidability doesn't mean it's impossible to tell if a program will halt, but rather that there's no universal algorithm to determine the halting behavior of all programs. This makes many problems (such as verifying program properties) require significant effort and may be unsolvable, highlighting the necessity of fields like formal verification and program analysis.

Read more
(buttondown.com)
Development

Government Tech Consultancy 18F Axed in White House Layoffs

2025-03-01
Government Tech Consultancy 18F Axed in White House Layoffs

The General Services Administration (GSA) eliminated 18F, a government technology consultancy, over the weekend. The agency, which assisted other government bodies with their technology, was deemed "non-critical" and approximately 90 employees were affected. This action is part of a broader White House-directed reduction in force across the government and aligns with a Trump administration memo calling for cuts to 'non-essential consulting' functions. 18F's contributions included work on the IRS's free tax filing system and redesigning the Justice Department's ADA website. The closure sparks concerns about government tech talent loss and policy shifts.

Read more
(www.nextgov.com)
Tech Tech Consultancy

Posse Comitatus Act Loopholes: How Federal Troops Circumvent the Law in Domestic Enforcement

2025-06-10
Posse Comitatus Act Loopholes: How Federal Troops Circumvent the Law in Domestic Enforcement

The Posse Comitatus Act restricts the use of federal troops in domestic law enforcement, but loopholes are being exploited. The article highlights issues with the D.C. National Guard and the deployment of National Guard troops under Title 32 status, allowing presidents to circumvent the law and use these forces for domestic law enforcement, threatening democracy and personal liberty. Reforms are proposed to clarify D.C. National Guard command, restrict cross-state deployments of state National Guards, and ensure that National Guard units under federal command are subject to the Act.

Read more
(www.brennancenter.org)
Tech Posse Comitatus Act Federal Troops Domestic Enforcement
1 2 … 77 78 79 81 83 84 85 … 596 597