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

Symbolic Reference and Hardware Models in Python: A New Approach to Boosting Hardware Design Efficiency

2024-12-31

This article introduces a novel approach to hardware modeling using Python – symbolic models. Traditional hardware design workflows involve multiple models (behavioral, architectural, RTL, etc.) for verification, but debugging can be challenging for complex algorithms and data management. The author proposes using Python symbolic models, tracking data origins instead of the data itself, to simplify the debugging process. Using an image downscaler as an example, the article details the construction and comparison of reference and hardware symbolic models, showcasing the advantages of symbolic models in improving design efficiency and confidence, especially when dealing with complex data management and specification changes.

Read more
(tomverbeure.github.io)
Development hardware design symbolic models

API Platform Conference 2025: AI-Powered API Development Takes Center Stage

2025-07-09
API Platform Conference 2025: AI-Powered API Development Takes Center Stage

The API Platform Conference returns September 18th-19th, 2025, in Lille, France, and online! This two-day event showcases the latest trends, best practices, and case studies in API Platform and its ecosystem (PHP, Symfony, JavaScript, AI, FrankenPHP, performance, tools). Nearly 30 talks in English and French make it a must-attend for innovative companies, project leaders, and skilled developers. Developers, CTOs, and decision-makers specializing in these technologies are especially encouraged to attend. The call for papers is open until March 23rd, with final speakers announced from May 14th. Submit your pitch and be part of this special anniversary edition!

Read more
(www.php.net)
Development

Exploiting a Google Account Recovery Flaw: Brute-forcing Phone Numbers with IPv6 and BotGuard Tokens

2025-06-09
Exploiting a Google Account Recovery Flaw: Brute-forcing Phone Numbers with IPv6 and BotGuard Tokens

A security researcher discovered a vulnerability in Google's account recovery process, allowing attackers to brute-force phone numbers to gain access to user accounts. The vulnerability exploited the fact that the account recovery form still worked with JavaScript disabled, bypassing Google's rate limiting and CAPTCHAs using IPv6 IP rotation and BotGuard tokens. Attackers first obtain the target's name via Looker Studio, then use the password reset flow to get the phone number suffix. A custom program then uses proxies for brute-forcing, revealing the full phone number. Google has since patched the vulnerability.

Read more
(brutecat.com)
Tech account security

The College Tuition Myth: It's Cheaper Than You Think

2025-02-23
The College Tuition Myth: It's Cheaper Than You Think

Despite widespread belief that college tuition is skyrocketing, data reveals a different story. Since 2014, public four-year college tuition has actually fallen by 21% in real terms, while private college tuition is down 12% after adjusting for inflation. This is due to a peculiar pricing strategy: universities set a high sticker price, then offer substantial financial aid to low-income students, effectively subsidizing their education. This creates a huge gap between the published cost and the net price, with the public fixating on the inflated sticker price. While sticker prices continue to rise, net prices are falling, thanks to increased federal Pell Grants, rebounding state appropriations, and colleges offering more aid. With the number of 18-year-olds peaking this year before a long decline, competition for students will intensify, likely pushing net tuition further down. However, public perception remains skewed, leading many to miss out on higher education and eroding confidence in the system.

Read more
(www.theatlantic.com)
Misc higher education tuition financial aid

iNaturalist Opensources Parts of its Computer Vision Models

2025-09-02
iNaturalist Opensources Parts of its Computer Vision Models

iNaturalist has open-sourced a subset of its machine learning models, including "small" models trained on approximately 500 taxa, along with taxonomy files and a geographic model, suitable for on-device testing and other applications. The full species classification models remain private due to intellectual property and organizational policy. The post details installation and running instructions for MacOS, covering dependency installation, environment setup, performance optimization suggestions (including compiling TensorFlow and using pillow-simd), and provides performance benchmarks.

Read more
(github.com)
AI open-source models

Inria's Efficient Chain-Linking Algorithm: Elegance Under Memory Constraints (1980s)

2025-06-04
Inria's Efficient Chain-Linking Algorithm: Elegance Under Memory Constraints (1980s)

This article recounts the story of an efficient chain-linking algorithm developed at Inria in the 1980s, a time when memory was scarce. Developed by Gérard Giraudon's team, the algorithm cleverly addressed memory limitations, processing image contours using only three lines of memory. Now preserved by Software Heritage, this work showcases the innovative spirit of the era and offers a unique perspective on computer vision. Its efficiency remains remarkable even in today's memory-rich environment.

Read more
(www.softwareheritage.org)
Tech

800-Year-Old Kid's Doodles: A Glimpse into Medieval Childhood

2025-04-16
800-Year-Old Kid's Doodles: A Glimpse into Medieval Childhood

Soviet archaeological excavations unearthed birch bark sketches from medieval Novgorod, circa 1250 CE, created by a schoolboy named Onfim. His whimsical drawings—horses, soldiers, self-portraits—reveal the expressive capabilities of medieval children. Contrasting this are charcoal drawings found in a French iron mine, depicting child miners, a poignant reflection of their harsh reality. These discoveries offer a unique perspective on premodern childhood, highlighting its universality and diverse experiences across time and culture.

Read more
(resobscura.substack.com)
Misc Medieval children Art history Archaeological discovery

Fail-Safe AI Calls using OpenAI Library and Gemini API

2025-04-06

This article demonstrates a fail-safe approach to making AI calls using the OpenAI TS/JS library. The method allows for fallback to other OpenAI models if the Gemini API hits rate limits. A custom function allows developers to specify multiple AI models as alternatives, ensuring application stability and reliability. Type-safe structured output functions are also provided to simplify handling AI responses.

Read more
(sometechblog.com)
Development AI calls fail-safe mechanism

Harlem Blues: A White Musician's Journey into the Heart of Black Music

2025-05-02
Harlem Blues: A White Musician's Journey into the Heart of Black Music

In the 1980s, a young white musician in Harlem, NYC, transcends racial divides and forges a deep musical partnership with a legendary bluesman known only as "Satan." The author recounts his journey, from chance encounters at outdoor jazz concerts to jamming in local bars, culminating in a long-lasting duo with "Satan," playing blues on the streets of Harlem. This experience shattered preconceived notions and revealed the unifying power of music across racial lines, offering a powerful message of connection and healing.

Read more
(theamericanscholar.org)
Misc race

Verizon CEO on 5G ROI, Network Building, and the Future

2025-04-21
Verizon CEO on 5G ROI, Network Building, and the Future

Verizon Consumer CEO Sowmyanarayan Sampath sits down with The Verge to discuss Verizon’s 5G investments, network operations, and future strategies. He details the actual return on investment from 5G, highlighting the importance of network capacity and 5G’s role in handling the explosion of mobile data. He also touches on Verizon’s attempts and lessons learned in content and application integration, and his views on net neutrality and government regulation. Sampath shares his unique decision-making framework and Verizon’s strategies for addressing market changes and customer needs, such as the three-year price lock plan. The conversation also covers the fiber network Fios’s construction plans, OpenRAN technology, and the outlook for future 5G applications.

Read more
(www.theverge.com)
Tech Network Infrastructure

Waymo Robotaxis: Significantly Safer Than Human Drivers

2025-01-05
Waymo Robotaxis: Significantly Safer Than Human Drivers

Swiss Re, a global reinsurer, analyzed data from Waymo's autonomous driving program and found that Waymo robotaxis are substantially safer than human-driven vehicles, even those equipped with advanced driver-assistance systems (ADAS). Across 25.3 million fully autonomous miles, Waymo's system showed an 88% reduction in property damage claims and a 92% reduction in bodily injury claims compared to the expected rates for human drivers. This significant safety improvement surpasses even the benefits offered by modern ADAS features. The research highlights the potential of autonomous vehicles to create safer roads.

Read more
(cleantechnica.com)
Tech autonomous vehicles road safety

The SaaS Pricing Revolution: From Per-Seat to Pay-as-You-Go, Driven by AI

2025-04-24
The SaaS Pricing Revolution: From Per-Seat to Pay-as-You-Go, Driven by AI

The rise of AI, particularly computationally intensive reasoning models, is reshaping the SaaS business model. High AI inference costs are forcing SaaS companies to shift from traditional per-seat licensing to usage-based, pay-as-you-go pricing. This isn't just a pricing experiment; it's an economic necessity for some to manage the cost of running AI-powered services. Companies like Bolt.new have already adopted token-based pricing, aligning revenue with actual usage. Established players like ServiceNow are using hybrid models, combining base seat licenses with pay-per-use AI credits. This shift may lead to revenue volatility but better reflects product value and attracts investors. However, variable costs for customers and revenue fluctuations for providers are downsides. The future of this model depends on whether AI compute costs decrease.

Read more
(www.businessinsider.com)
Tech Pricing Models

MLB to Implement Automated Ball-Strike Challenge System in 2026

2025-09-24
MLB to Implement Automated Ball-Strike Challenge System in 2026

Major League Baseball (MLB) will introduce an automated ball-strike challenge system in the 2026 season. Following years of testing in the minor leagues, the system will allow each team two challenges per game. Hitters, pitchers, and catchers can initiate challenges by tapping their head. Successful challenges, shown on stadium videoboards, allow teams to retain their challenge. The technology is similar to tennis' line-calling system, using 12 cameras to track the ball. While not unanimously supported, the system passed with the backing of MLB owners who hold a majority on the committee. The aim is to reduce disputes and ejections related to ball-strike calls while maintaining the umpire's role.

Read more
(www.espn.com)
Game robot umpire

Trump Admin's Massive Immigration Database Raises Privacy Fears

2025-04-27
Trump Admin's Massive Immigration Database Raises Privacy Fears

The Trump administration's Department of Government Efficiency (DOGE), in collaboration with Palantir, is building a massive database integrating sensitive data from various federal agencies to expedite immigration enforcement and deportations. This aims to create "target lists" for quick identification and removal of undocumented immigrants. However, the plan has sparked significant privacy concerns and legal challenges. Democratic lawmakers accuse DOGE of unlawfully exploiting Americans' personal data and question the database's accuracy and security. Former Homeland Security officials also express concerns about Palantir's capabilities, suggesting it might be insufficient for the complex logistical planning involved. The database's development is ongoing, and its future impact remains uncertain.

Read more
(www.cnn.com)
Tech

Solving Decentralized Social Media's URI Problem

2025-04-21
Solving Decentralized Social Media's URI Problem

This essay explores user experience issues stemming from URI schemes in decentralized social media platforms like the Fediverse and Bluesky. Sharing links across instances often leads to problems like inability to comment or like posts. The author proposes a solution: new URI schemes (e.g., `fedi:` or `at:`). These would allow operating systems or browsers to directly invoke relevant apps based on the scheme, resolving link sharing, client compatibility, and post migration issues. While browser support for custom schemes is limited, this approach promises to greatly improve user experience in decentralized social media and warrants further investigation.

Read more
(www.tbray.org)
Tech URI schemes

Blue Origin's NS-32 Mission: Six Passengers Experience Space

2025-06-01
Blue Origin's NS-32 Mission: Six Passengers Experience Space

On May 31, Blue Origin successfully launched its New Shepard rocket on the NS-32 mission, sending six passengers, including New Zealand's first space tourist, Mark Rocket, into space. The flight lasted approximately three minutes, during which passengers experienced weightlessness and breathtaking views of Earth. The diverse crew included a lawyer, entrepreneurs, educators, and an aerospace executive, all hailing from various countries and united by their passion for space. This flight marked Blue Origin's 12th human spaceflight and showcases the company's continued growth in the space tourism sector.

Read more
(www.space.com)
Tech Human Spaceflight

Snapchat's Internal Emails Reveal 10,000+ Monthly Sextortion Reports

2025-04-17
Snapchat's Internal Emails Reveal 10,000+ Monthly Sextortion Reports

Internal Snap Inc. emails revealed that the company receives approximately 10,000 sextortion reports monthly—a figure likely representing only a fraction of the problem. This article investigates Snapchat's impact on teenagers, examining court cases and internal documents detailing widespread harm. These include addictive design, drug and gun sales, CSAM, sextortion, offline sexual assault, and cyberbullying. Snap insiders acknowledge these issues but demonstrate slow responses and ineffective mitigation. The article calls for Snap to implement design changes to protect its young users.

Read more
(www.afterbabel.com)
Tech sextortion teen safety

SignalSDR Pro: A Raspberry Pi-Sized High-Performance Software-Defined Radio

2025-01-02
SignalSDR Pro: A Raspberry Pi-Sized High-Performance Software-Defined Radio

Signalens is launching the SignalSDR Pro, a high-performance software-defined radio (SDR) with a Raspberry Pi-like form factor. Based on the Analog Devices AD9361 transceiver and AMD Zynq 7020 FPGA, it boasts a 70MHz to 6GHz frequency range and features Gigabit Ethernet and USB 3.0 connectivity. A 40-pin GPIO header allows for external hardware integration, and compatibility with other SDR platforms like ADALM-PLUTO and USRP B210 is achieved through simple jumper changes and microSD card swaps. The package includes a metal enclosure for passive cooling, multiple antennas (including GPS), cables, and SIM cards.

Read more
(www.hackster.io)
Hardware Software Defined Radio

OpenAI Eyes Chrome Acquisition: An AI-First Browser in the Works?

2025-04-23
OpenAI Eyes Chrome Acquisition: An AI-First Browser in the Works?

OpenAI has signaled its interest in acquiring Chrome should Google be forced to sell. This follows OpenAI's hiring of former Google developers and its reported exploration of building a Chromium-based browser. Acquiring Chrome would grant OpenAI immediate access to billions of users and a significant market share, allowing for seamless integration of ChatGPT and other AI tools into a revolutionary 'AI-first' browsing experience. The influx of user data would also be invaluable for training more powerful AI models. While Google claims Chrome is unsustainable independently, its substantial search advertising revenue suggests otherwise. If a sale is mandated, OpenAI's substantial resources could position it to reshape the future of browsing.

Read more
(arstechnica.com)
Tech AI Browser

GrapheneOS's Hardened Malloc: A Deep Dive into its Security Enhancements

2025-09-24
GrapheneOS's Hardened Malloc: A Deep Dive into its Security Enhancements

GrapheneOS's hardened memory allocator, Hardened Malloc, employs multiple techniques to combat memory corruption vulnerabilities. It leverages ARM's Memory Tagging Extension (MTE) to detect out-of-bounds reads and writes, and use-after-free vulnerabilities. For devices lacking MTE support, Hardened Malloc utilizes canaries and randomly sized guard pages for enhanced security. Its unique double quarantine mechanism, using random replacement and FIFO queues, significantly increases the difficulty of use-after-free exploits. Hardened Malloc's clean design facilitates auditing and maintenance, providing GrapheneOS with a superior level of security.

Read more
(www.synacktiv.com)
Development Memory Security

Microsoft at 50: A Look Back at Peaks and Valleys

2025-04-11
Microsoft at 50: A Look Back at Peaks and Valleys

As Microsoft celebrates its 50th anniversary, The Register polled readers on the company's history. Windows Server 2000 emerged as a favorite, praised for its stability and ease of use. Conversely, Windows 8 and its successors received criticism for their user interfaces. The Nokia acquisition and subsequent Windows Phone failure were also highlighted as missteps. While achievements like the cloud pivot and Office suite were acknowledged, the overall sentiment suggests Microsoft's best days may be behind it. The company's future direction with AI remains uncertain.

Read more
(www.theregister.com)
Tech Operating Systems

Unsure Calculator: Taming Uncertainty in Everyday Calculations

2025-04-15
Unsure Calculator: Taming Uncertainty in Everyday Calculations

Filip Hracek introduces an uncertainty calculator that simplifies statistical reasoning by allowing input of numerical ranges (e.g., 4~6, representing a 95% confidence interval). Using a Monte Carlo method, the calculator handles basic arithmetic, powers, roots, and trigonometric functions, providing probability distributions and percentiles for a more comprehensive analysis. Illustrated with examples like a family's financial decision-making process and the Drake equation, the article showcases its practicality while acknowledging limitations such as slow computation and a rudimentary user interface. The calculator empowers users to make informed decisions despite inherent uncertainties.

Read more
(filiph.github.io)
Development uncertainty calculation Monte Carlo method

The 512x342 Mystery: Why the Original Mac Had That Resolution

2025-05-27
The 512x342 Mystery: Why the Original Mac Had That Resolution

Why did the original Macintosh use a non-standard 512x342 resolution instead of the more common 512x384? This article delves into the reasons, revealing it wasn't simply a matter of technical limitations. The 128KB memory constraint, the CPU resource usage for a 60Hz refresh rate, and the pursuit of square pixels for optimal graphics and printing all played a role. This showcases Apple's masterful trade-offs in the original Mac's design, balancing performance, usability, and cost to achieve a surprisingly impressive product for its time.

Read more
(512pixels.net)
Hardware Apple History

Beat Saber's Secret: Instructed Motion in VR Game Design

2025-05-02
Beat Saber's Secret: Instructed Motion in VR Game Design

Beat Saber's success isn't solely due to music and rhythm; its core lies in the design concept of 'Instructed Motion.' The article argues that scoring isn't based on precise timing, but on the breadth and accuracy of player movements. This isn't limited to music games; the VR combat game Until You Fall exemplifies this, guiding players through specific defensive and offensive motions to enhance immersion and control game intensity and player feeling.

Read more
(www.roadtovr.com)
Game VR game design game mechanics

Simplifying Ethereum: A Path to a More Robust and Secure Protocol

2025-05-14

This article explores the necessity and methods for simplifying the Ethereum protocol. The author argues that simplification enhances security, reduces development costs, and fosters community participation. The article proposes achieving this goal by simplifying both the consensus layer (e.g., using 3-slot finality) and the execution layer (e.g., replacing the EVM with RISC-V). Furthermore, it suggests sharing components such as erasure codes, serialization formats, and tree structures to further reduce protocol complexity. The ultimate goal is to make Ethereum's critical code as simple as Bitcoin's, enhancing its long-term maintainability and security.

Read more
(vitalik.eth.limo)
Development Protocol Simplification Blockchain Security

AI Winter: A Season of Joblessness for a Senior Software Engineer

2025-05-13
AI Winter: A Season of Joblessness for a Senior Software Engineer

A senior software engineer with over 20 years of experience recounts his struggles with unemployment in the wake of the AI revolution. Owning three houses, he's forced to rely on Doordash to survive after losing his job due to AI-driven layoffs. Despite upskilling, creating YouTube content, and considering career pivots, he's found little success. He calls for a societal reevaluation of work and money's role in life, arguing that relying solely on labor for survival is no longer viable in the age of AI.

Read more
(shawnfromportland.substack.com)
Tech AI unemployment

Focused Ultrasound Stimulation: A Revolutionary Treatment for Inflammation and Metabolic Diseases?

2025-06-09
Focused Ultrasound Stimulation: A Revolutionary Treatment for Inflammation and Metabolic Diseases?

Exciting research suggests that focused ultrasound stimulation (FUS), a non-invasive technique using sound waves to treat diseases, holds promise as a revolutionary therapy for inflammatory diseases (like arthritis) and metabolic disorders (like obesity and diabetes). Researchers found that FUS can suppress inflammatory responses by stimulating nerves in the spleen, achieving significant results in animal and human trials. The technique is non-surgical and may eventually be delivered via wearable devices at home. While clinical application is still years away, FUS opens new avenues for precise treatment and could reduce reliance on pharmaceuticals.

Read more
(spectrum.ieee.org)
Tech Focused Ultrasound Stimulation Inflammation Metabolic Diseases
1 2 … 45 46 47 49 51 52 53 … 596 597