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

GAO Slams Federal Agencies for Cybersecurity Failures

2025-08-06
GAO Slams Federal Agencies for Cybersecurity Failures

The Government Accountability Office (GAO) issued scathing reports criticizing three federal agencies—the General Services Administration (GSA), Environmental Protection Agency (EPA), and Department of Homeland Security (DHS)—for their CIOs' failure to implement cybersecurity recommendations. DHS has 43 outstanding recommendations, seven prioritized by GAO; EPA has 11; and GSA has 4. Common failures include inadequate cybersecurity event logging and IT portfolio reviews. The EPA faces additional issues with cloud software management, lacking documentation and service level agreements. DHS's Homeland Advanced Recognition Technology (HART) program remains plagued with problems, with all nine recommendations unimplemented. The GAO hopes newly appointed CIOs will address these shortcomings, and has brought the issues to Congress's attention.

Read more
(www.theregister.com)
Tech government accountability IT management

NASA Mourns Apollo 8's Jim Lovell

2025-08-09
NASA Mourns Apollo 8's Jim Lovell

NASA released a statement mourning the passing of Apollo 8 Command Module Pilot Jim Lovell, who died on August 7th. Lovell, a pioneering astronaut in both the Gemini and Apollo programs, was the first to orbit the Moon and famously led the crew of Apollo 13 to safety. NASA lauded his courage, calm under pressure, and inspiring legacy, highlighting his contributions to future Artemis missions.

Read more
(www.nasa.gov)
Tech Astronaut

Nvidia Unveils Granary: A Massive Multilingual Dataset for AI Translation

2025-08-24
Nvidia Unveils Granary: A Massive Multilingual Dataset for AI Translation

Nvidia announced Granary, a massive open-source multilingual audio dataset exceeding one million hours of audio, designed to boost AI translation for European languages. This dataset, developed in collaboration with Carnegie Mellon University and Fondazione Bruno Kessler, includes nearly all EU official languages plus Russian and Ukrainian, focusing on under-resourced languages. Accompanying Granary are two new models, Canary and Parakeet, optimized for accuracy and speed respectively. Granary significantly reduces the data needed for training, enabling more inclusive speech technologies.

Read more
(siliconangle.com)
AI AI Translation Multilingual Dataset

OpenAI's Stargate Data Center Project Delayed Amidst Tariff Uncertainty and Market Volatility

2025-05-13
OpenAI's Stargate Data Center Project Delayed Amidst Tariff Uncertainty and Market Volatility

OpenAI's ambitious Stargate data center project is facing delays due to economic uncertainty stemming from tariffs and growing market volatility. Cheaper AI services have made banks, private equity firms, and asset managers hesitant to invest in the project, which aims to raise up to $500 million for AI infrastructure. SoftBank, initially a major backer, hasn't finalized financing plans or engaged in detailed discussions with potential investors. Tariffs are expected to significantly increase data center construction costs, with estimates suggesting a 5-15% rise in overall build costs due to increased prices for server racks, cooling systems, and other components. Further complicating matters is a growing concern of overcapacity, as tech giants like Microsoft and Amazon adjust their data center strategies, potentially scaling back on construction projects.

Read more
(techcrunch.com)
Tech

Don't Use the Obsolete ISO/IEC 14977:1996 EBNF Specification!

2025-05-19

This essay strongly advises against using the ISO/IEC 14977:1996 EBNF specification due to its numerous flaws. The author details the specification's shortcomings, including its lack of support for Unicode characters, character ranges, and common regular expression syntax, as well as its cumbersome "one or more" notation. The author argues that the specification is difficult to understand, lacks readability, and is out of sync with modern software development practices. In contrast, the W3C's EBNF specification is presented as a more concise, user-friendly, and compatible alternative. The author also points out that blindly following ISO standards isn't always correct; choosing the most suitable tool is paramount, rather than being constrained by outdated standards.

Read more
(dwheeler.com)
Development

Record-Breaking Auction: Martian Meteorite and Dino Skeleton Fetch Millions

2025-07-19
Record-Breaking Auction: Martian Meteorite and Dino Skeleton Fetch Millions

A Sotheby's auction in New York saw a 54-pound Martian meteorite, NWA 16788, sell for over $5.3 million, setting a record for the most expensive meteorite ever sold. However, the real star was a rare juvenile Ceratosaurus nasicornis skeleton, which fetched a staggering $30.5 million after a fierce bidding war. This is only one of four known complete skeletons of this species, and the only known juvenile. The meteorite, discovered in the Sahara Desert, journeyed millions of miles through space before landing on Earth.

Read more
(apnews.com)
Tech meteorite auction dinosaur skeleton Sotheby's

NYC Congestion Pricing: 43K Fewer Cars in Manhattan's Core

2025-01-14

Data from the MTA shows Manhattan's congestion pricing initiative has yielded significant results in its first week. An average of 43,000 fewer vehicles entered the toll zone daily, a 7.5% reduction. While slightly below projections, this decrease has led to faster bus speeds (up to 40%) and improved traffic flow. The revenue will fund transit improvements, though the policy faces opposition from some congressmen. Transit advocates praise the immediate positive impacts.

Read more
(gothamist.com)
Tech Congestion Pricing Traffic NYC

Nintendo Admits Emulators Are Technically Legal, But Developers Still Tread Carefully

2025-01-16
Nintendo Admits Emulators Are Technically Legal, But Developers Still Tread Carefully

A top Nintendo executive admitted that emulators are technically legal. However, emulators that circumvent a console's technical protection measures, reproduce copyrighted programs, or direct users to pirated content are illegal. Nintendo's previous aggressive actions against several emulator projects may now be explained by this statement, highlighting their focus on protecting developers and copyrights.

Read more
(www.androidauthority.com)
Game Emulators

Type Predicate Generator: Speed and Type Safety Redefined

2025-01-24
Type Predicate Generator: Speed and Type Safety Redefined

This article delves into a comprehensive comparison of Type-Predicate-Generator against other runtime type checkers. Generator produces code that's over 100 times faster, boasts zero runtime dependencies, and generates strictly type-safe, readable, and modifiable TypeScript code without requiring a custom DSL. It outperforms other code generators in speed, even emitting unit tests, while avoiding `eval()` and providing a superior debugging experience. In short, Generator offers significant advantages in performance, type safety, and ease of use.

Read more
(github.com)
Development type checking

Cinder JIT: Efficient Type Representation Using Bitsets and Semilattices

2025-03-11
Cinder JIT: Efficient Type Representation Using Bitsets and Semilattices

The Cinder JIT compiler employs a clever type representation, treating types as sets (even lattices) and choosing a compact bitset representation. This article delves into how Cinder leverages bitsets and semilattice structures for efficient type information handling, covering basic type representation, type unions, and specialization. By encoding type information into bitsets, Cinder effectively represents type unions and allows for finer-grained type distinctions. Furthermore, Cinder introduces a specialization mechanism to track the specific value of individual objects, further improving compiler optimization efficiency. The article also discusses the Bottom type and details on generating the type lattice.

Read more
(bernsteinbear.com)
Development bitsets

Workflow Use: No-Code Automation for Deterministic Workflows

2025-05-16
Workflow Use: No-Code Automation for Deterministic Workflows

Workflow Use is a revolutionary project aiming to create deterministic, self-healing workflows by recording browser interactions. Users simply show the recorder the workflow, and the system automatically generates reusable automation scripts. Currently in early development, the project aims to enable computers to learn tasks once and execute them indefinitely without human intervention. Future plans include improving LLM fallback, implementing self-healing, and integrating with other tools.

Read more
(github.com)
Development

Become Each Other's Hypeman: The Positive Feedback Loop of Friendship

2025-05-24
Become Each Other's Hypeman: The Positive Feedback Loop of Friendship

This post explores the importance of 'rooting for your friends.' The author argues that genuinely celebrating friends' successes and offering active support fosters strong friendships and creates a positive feedback loop: mutual assistance leading to mutual growth. This is likened to a flywheel effect – your support boosts your friends, and they, in turn, help you. The post provides methods for identifying and becoming a 'hypeman' (someone who cheers for their friends), emphasizing the mutual benefit in friendship, and encouraging readers to reject jealousy and cultivate a supportive environment.

Read more
(josephthacker.com)
Misc positive mindset

Terence Tao on Solving Dynamic Systems

2025-01-29

Renowned mathematician Terence Tao shared his insights on solving problems in dynamic systems on Mathstodon. He highlighted the need to consider the complexity and evolution of such systems, requiring a multifaceted approach utilizing various mathematical tools and real-world context. His post sparked discussion among math enthusiasts, showcasing the ongoing exploration and innovation in the field.

Read more
(mathstodon.xyz)
Misc Dynamic Systems

The Origin of LLMs: ULMFit or GPT-1?

2025-03-30

This article delves into the mystery of the origin of Large Language Models (LLMs). The author revisits the development from ULMFit to GPT-1, providing a detailed analysis of the definition of an LLM. It argues that ULMFit might be the first LLM, fulfilling key criteria such as self-supervised training, next-word prediction, and easy adaptability to various text-based tasks. While GPT-1 is widely known for its Transformer architecture, ULMFit's contribution cannot be ignored. The article also explores the future trends of LLMs, predicting that the term 'LLM' will continue to be used, evolving with the model's capabilities and potentially encompassing multimodal processing.

Read more
(thundergolfer.com)
AI

Racket v8.17 Released: Performance Boosts and New Features

2025-05-17

Racket programming language version 8.17 is now available! This release boasts numerous improvements, including a slimmed-down DrRacket core package, Typed Racket support for treelists, an enhanced package manager, increased precision for numeric functions, and Windows terminal mouse event support. Additionally, the HTTP client, JSON handling, and Redex library have received optimizations. This update is a testament to the vibrant Racket community, with contributions from many developers.

Read more
(blog.racket-lang.org)
Development

Gentrace Raises $8M Series A to Revolutionize LLM Evaluation for AI Teams

2024-12-12
Gentrace Raises $8M Series A to Revolutionize LLM Evaluation for AI Teams

Gentrace, an LLM evaluation platform, announced an $8 million Series A funding round. Addressing challenges like siloed evaluation processes and poor team collaboration, Gentrace offers a collaborative testing environment. Teams can test directly through a user-friendly interface, eliminating the need for isolated evaluation code. Supporting model, code, and human evaluations, Gentrace provides experiment management, reporting, and debugging tools for efficient LLM development. Success stories from Webflow, Multiverse, and Quizlet highlight significant improvements in testing efficiency (e.g., a 40x increase).

Read more
(gentrace.ai)
AI LLM evaluation AI development team collaboration

Spotify's Shady Secret: Fake Artists and Inflated Play Counts Exposed

2024-12-21
Spotify's Shady Secret: Fake Artists and Inflated Play Counts Exposed

A year-long investigation reveals Spotify's deceptive practices. A program called "Perfect Fit Content" (PFC) involves partnerships with production companies to create and promote fake artists and tracks, artificially inflating play counts to reduce royalty costs and boost profits. These fake tracks, often ambient, classical, electronic, jazz, or lo-fi, are strategically placed in playlists designed for background listening. The Spotify CEO's significant stock sales around the time of the revelations further fueled controversy. This scandal raises serious concerns about transparency and fairness in the music industry, prompting calls for congressional investigation and a more transparent music streaming ecosystem.

Read more
(www.honest-broker.com)
Tech music streaming royalties

Overreliance on AI May Hinder Student Learning: A University of Tartu Study

2025-09-07
Overreliance on AI May Hinder Student Learning: A University of Tartu Study

A University of Tartu study reveals that excessive use of AI tools, such as ChatGPT, may negatively impact student academic performance. Researchers surveyed 231 computer science students, finding a correlation between frequent AI tool use for solving programming problems and lower grades. The study emphasizes that AI should be a learning aid, not a replacement for learning itself. Students need guidance to use AI tools effectively, preventing overreliance that could hinder the development of critical skills.

Read more
(phys.org)
Tech

Astronomical Seeing: The Unsung Hero (and Villain) of Astrophotography

2025-06-03
Astronomical Seeing: The Unsung Hero (and Villain) of Astrophotography

Even with perfect equipment and clear skies, atmospheric seeing can ruin your astrophotography. This article recounts a frustrating experience with poor seeing, then delves into how seeing affects different types of astrophotography (planetary, deep-sky, lunar). It explains how to measure seeing, predict optimal imaging times, and cope with poor conditions using techniques like lucky imaging. The article differentiates seeing from transparency and concludes with strategies for maximizing results despite less-than-ideal seeing, emphasizing the importance of target selection and adaptive techniques for capturing stunning cosmic images.

Read more
(astroimagery.com)
Tech seeing lucky imaging

Tree's JSON Output: A Cautionary Tale of Assumptions

2025-07-25
Tree's JSON Output: A Cautionary Tale of Assumptions

The 2.0 release of the `tree` command introduced the ability to output un-indented JSON via file descriptor 3 (Linux only). However, this initial implementation made a dangerous assumption about the user's environment, leading to widespread compatibility issues. Version 2.0.2 rectified this by requiring the `STDDATA_FD` environment variable to be set. This highlights the importance of avoiding assumptions about the user's environment in software development. The improved `tree` command now offers flexible structured data output via `STDDATA_FD`, easily processed with tools like nushell.

Read more
(rgbcu.be)
Development tree command

Kubernetes at 10: Reflections and a Vision for the Future

2025-06-19

This article reflects on the ten-year journey of Kubernetes, from its origins as Google's internal Borg system to its current status as a cornerstone of the cloud-native era. The author praises its successes in container orchestration, infrastructure management, and job scheduling, but also highlights shortcomings: YAML's limitations, etcd dependency, and Helm's package manager deficiencies. Proposals for Kubernetes 2.0 include replacing YAML with HCL, supporting alternative backends to etcd, and creating a native package manager for improved usability and security. Further suggestions involve defaulting to IPv6 and built-in IPSec for simplified network topology.

Read more
(matduggan.com)
Development Container Orchestration

Website Privacy Policy and Cookie Usage

2025-07-23

This website uses technologies like cookies to store and access device information for optimal user experience. Consent allows processing data such as browsing behavior or unique IDs. Withdrawing consent may affect features and functions. The website details the purposes of different types of technical storage or access, including necessary storage, storage for preferences, storage for statistical purposes, and storage for creating user profiles to deliver ads.

Read more
(i4is.org)
Misc

TikTok's US Fate Hangs in the Balance: A Final Ultimatum

2025-07-25
TikTok's US Fate Hangs in the Balance: A Final Ultimatum

The Trump administration vowed to save TikTok's US operations, but months of negotiations have yielded no deal with the Chinese government. Now, Trump's Commerce Secretary Lutnick warns that if China doesn't approve the latest deal—potentially resulting in a crippled US-only version—the US will soon shut down TikTok. The deal demands US control over TikTok's algorithm, a condition ByteDance seems unwilling to meet, unwilling to relinquish its core technology. TikTok's US future remains uncertain, caught in a high-stakes game of national security and commercial interests.

Read more
(arstechnica.com)
Tech

Reverse Engineering Apple's typedstream Format: Inside imessage-exporter

2025-02-03

This article details the reverse engineering of Apple's proprietary binary serialization protocol, typedstream, undertaken by the imessage-exporter project. Typedstream, used for storing iMessage data, is undocumented and not part of Apple's public APIs. By analyzing BLOB data in the iMessage database, the author identified patterns within the typedstream format, such as 0x84 marking the beginning of a data block with the subsequent byte indicating length, and 0x86 signifying the end of a block. Using these patterns, the author successfully deserialized the typedstream data, achieving cross-platform access to iMessage data.

Read more
(chrissardegna.com)
Development binary serialization

Lisp and Lambda Calculus: A Tale of Theory and Practice

2025-02-23

This article explores the relationship between Lisp and lambda calculus. John McCarthy, Lisp's creator, didn't fully grasp lambda calculus initially, yet borrowed its notation to create Lisp. Lisp isn't a direct implementation of lambda calculus but rather inspired by it, incorporating features of the IBM 704 hardware. The article delves into Lisp's early history, including the implementation of its evaluator EVAL and the connection between car/cdr operations and the IBM 704. Lambda calculus fundamentals are introduced, illustrated with a toy language called ΛΙΣΠ. Ultimately, the article reveals a fascinating, complex interplay between Lisp and lambda calculus, leaving much to explore in future installments.

Read more
(babbagefiles.xyz)
Development Programming Language History

TVA Submits Application for First US BWRX-300 SMR

2025-05-25
TVA Submits Application for First US BWRX-300 SMR

The Tennessee Valley Authority (TVA) has submitted an application to build a GE Vernova Hitachi Nuclear Energy BWRX-300 small modular reactor (SMR) at Clinch River, marking a significant milestone in US advanced nuclear technology development. This is the first US construction permit application for the BWRX-300, a smaller, more efficient and safer reactor design. TVA has invested in the design and is pursuing government funding, aiming to begin site preparation as early as 2026. The project highlights the growing interest in SMRs to meet increasing energy demands.

Read more
(www.world-nuclear-news.org)
Tech small modular reactor SMR

Solid-State Transformers: Revolutionizing Power Grids

2025-04-12
Solid-State Transformers: Revolutionizing Power Grids

Traditional transformers, while the backbone of power grids for over a century, are struggling to meet the demands of renewable energy, electric vehicles, and smarter grids. Solid-state transformers (SSTs) offer a compact, efficient, and intelligent solution, poised to revolutionize electricity distribution and management. Utilizing advanced power electronics and high-frequency transformers, SSTs achieve highly efficient voltage conversion and bidirectional power flow, offering features like voltage regulation, harmonic mitigation, and fault isolation. While currently more expensive, SSTs are showing promise in applications like EV charging and solar/wind integration, and are expected to become a crucial component of modern grids.

Read more
(www.powermag.com)
Tech Solid-State Transformer Power Electronics Smart Grid

C String Literal `const` Qualification: A Survey of Potential Impacts

2025-04-06
C String Literal `const` Qualification: A Survey of Potential Impacts

Martin Uecker has proposed changing the type of string literals in C to a const-qualified base type, mirroring C++. While compilers have long supported this (some even by default), this normative change could impact existing code. To gauge the impact, Uecker is seeking factual reports from developers on their experiences using compiler options for const qualification (e.g., GCC's -Wwrite-strings). The goal is to gather data on the ease of implementation, exposure of qualification bugs, and overall feasibility before proceeding with the proposal, prioritizing facts over opinions.

Read more
(gustedt.wordpress.com)
Development const qualifier code compatibility

Roblox's Lua Engine Evolution

2025-09-18
Roblox's Lua Engine Evolution

Since 2006, Roblox has used Lua 5.1 for game scripting. However, growing game complexity, team size, and internal codebase (over 1M lines of code by 2020) necessitated significant improvements to Lua's implementation and the language itself. These improvements focused on performance, ease of use, tooling, and the gradual introduction of a type system.

Read more
(luau.org)
Game
1 2 … 305 306 307 309 311 312 313 … 596 597