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

TikTok Ban Fuels $50K iPhone Resale Market

2025-01-25
TikTok Ban Fuels $50K iPhone Resale Market

With TikTok facing a potential US ban, users are listing phones pre-loaded with the app for exorbitant prices—up to $50,000—on eBay and Facebook Marketplace. While TikTok is temporarily accessible again, it's unavailable for download, creating a surge in demand for used devices with the app already installed. Sellers are capitalizing on this, listing iPhones and tablets with TikTok and other ByteDance apps (Lemon8, CapCut) for prices ranging from $340 to $50,000. While high-priced listings exist, most sales appear to be in the hundreds of dollars. This reflects user reliance on TikTok and the market's response to scarcity.

Read more
(apnews.com)
Tech Resale Market App Ban

Highlighting Bash in Lua with Neovim and Treesitter

2025-01-28

The author built a tool to synchronize packages across multiple machines, using a Lua configuration file. To improve readability and editing of Bash scripts embedded within the Lua configuration, they leveraged Neovim and the Treesitter plugin. Treesitter, through its injection feature, identifies the `script` field in Lua tables and highlights its content as Bash based on a custom query. This significantly enhances code readability and maintainability. The post details the configuration of Neovim and Treesitter, along with the custom query to achieve the Bash highlighting.

Read more
(xnacly.me)
Development

Hydro: A High-Performance Distributed Programming Framework in Rust

2025-01-31
Hydro: A High-Performance Distributed Programming Framework in Rust

Hydro is a high-level distributed programming framework for Rust, enabling the creation of scalable and correct-by-construction distributed services. Unlike traditional actor or RPC architectures, Hydro employs choreographic APIs and a high-performance single-threaded DFIR runtime. It simplifies deployment via Hydro Deploy, supporting both local and cloud environments. Using a two-stage compilation process, it generates deployment plans locally and then compiles to DFIR binaries for each machine, deploying them to the cloud based on the plan and cloud resource specifications. Hydro has been used to build various high-performance distributed systems, including implementations of classic protocols like two-phase commit and Paxos.

Read more
(hydro.run)
Development

sixos: A Nixpkgs-based OS Replacing systemd with s6

2025-01-31
sixos: A Nixpkgs-based OS Replacing systemd with s6

Adam Joseph announced the release of sixos, a new operating system built on Nixpkgs and using s6 instead of systemd. Rejecting systemd's monolithic design, sixos employs the simpler infuse combinator for service management, mirroring Nixpkgs' package handling. It also integrates ownerboot for complete version control and secure management of firmware, eliminating the artificial distinction between firmware and software. Currently running on workstations, servers, routers, and more, sixos offers a lightweight and secure alternative.

Read more
(media.ccc.de)
Development

Return to Office Mandates? Employees Would Rather Quit

2025-01-15
Return to Office Mandates? Employees Would Rather Quit

A survey of 5,395 US adults reveals that nearly half would leave their jobs if forced back to the office. Tech companies are increasingly mandating a return to in-person work, but many employees prioritize flexible work arrangements. Even figures like Elon Musk, who deems working from home "morally wrong," are met with resistance. The survey shows a strong preference for remote work, especially among women and those under 50, sparking debate on productivity, company culture, and talent retention. Many companies seem to prioritize control over trust and flexibility.

Read more
(www.theregister.com)
Tech employee retention

Open-R1: Open-Source Reproduction of DeepSeek-R1 Reasoning Model

2025-01-28
Open-R1: Open-Source Reproduction of DeepSeek-R1 Reasoning Model

DeepSeek-R1's impressive reasoning capabilities have captivated the AI community, but its training details remain undisclosed. The Open-R1 project aims to fully reproduce DeepSeek-R1 in the open source, including datasets and training pipeline. This will involve distilling a high-quality reasoning dataset from DeepSeek-R1, replicating its pure reinforcement learning training process, and exploring multi-stage training methods. The ultimate goal is to create a transparent and reproducible reasoning model, driving advancements within the open-source community.

Read more
(huggingface.co)
AI

ELIZA Reanimated: World's First Chatbot Restored

2025-01-18
ELIZA Reanimated: World's First Chatbot Restored

Researchers have successfully resurrected ELIZA, widely considered the world's first chatbot, on a restored CTSS—the world's first time-sharing system (emulated on an IBM 7094). Using original printouts, MAD-SLIP code, and supporting documents found in Prof. Weizenbaum's archives at MIT, they recreated ELIZA and its famous DOCTOR script. The entire project is open-source, allowing anyone with a Unix-like OS to run the groundbreaking chatbot.

Read more
(arxiv.org)
AI

Venu Sports Streaming Service Scrapped Before Launch

2025-01-10
Venu Sports Streaming Service Scrapped Before Launch

The much-anticipated Venu Sports streaming service, a joint venture between ESPN, Fox, and Warner Bros. Discovery, has been canceled before its official launch. Announced last year with a planned launch in Fall 2024, Venu aimed to provide live streaming access to a wide range of sports, including NFL, NBA, and more. However, an antitrust lawsuit and regulatory scrutiny led to significant hurdles. While a Disney-FuboTV merger temporarily resolved a lawsuit, concerns from DirecTV and EchoStar ultimately resulted in the project's termination.

Read more
(www.theverge.com)
Tech sports

Implementing the SM-2 Algorithm in Rust: An Improved Spaced Repetition System

2024-12-27

The author implemented the SuperMemo SM-2 algorithm, a modified version used in the spaced repetition software Mochi, in Rust. This algorithm dynamically adjusts review intervals based on user performance ratings to optimize learning efficiency. The article details the algorithm's mechanics, including the calculation of the ease factor (EF), determining review intervals, and how user ratings affect algorithm parameters. Rust code is provided with explanations of key design choices.

Read more
(borretti.me)
Development spaced repetition SM-2 algorithm

Lightweight Reuters Alternative Frontend Launched

2024-12-30

About is a lightweight alternative frontend to Reuters, designed for speed and efficiency, inspired by Nitter. It's JavaScript, ad, and tracking-free, uses no cookies, and is typically under 10KB (compared to Reuters' 50MB+). Dynamic theming respects system preferences. You can use libredirect or a browser extension to automatically redirect Reuters links to this site. This is a work in progress; bug reports and suggestions are welcome on GitHub.

Read more
(neuters.de)
Tech lightweight frontend Reuters alternative ad-free

OAuth 2.0: Unlocking the World's Most Popular Authorization Framework

2025-01-28
OAuth 2.0: Unlocking the World's Most Popular Authorization Framework

This article provides a clear explanation of the OAuth 2.0 protocol. Using the example of building a code deployment platform, the author illustrates how OAuth 2.0 solves the security issues of sharing user credentials, comparing the advantages and disadvantages of using plain user credentials and Personal Access Tokens (PATs). The article details the three core roles in OAuth 2.0 (Resource Server, Resource Owner, and Authorization Server), and various authorization flows (Authorization Code, Implicit, Client Credentials, Resource Owner Credentials, and Device Code flows), analyzing the security and applicability of each. Key concepts such as access tokens, refresh tokens, scopes, and PKCE are also explored.

Read more
(www.romaglushko.com)
Development Authorization Framework

Running DeepSeek R1 on Your Own Hardware: A Quick and Easy Guide

2025-02-01

This article provides a straightforward guide on running the large language model DeepSeek R1 on your own hardware. Using Arch Linux and the Ollama tool, the author walks the reader through installing, configuring, and running DeepSeek R1. The process requires a computer or VM with a dedicated GPU and some basic Linux knowledge. Security is emphasized; it's recommended not to run this on your main system. Ultimately, the reader can run DeepSeek R1 locally, enjoying a cloud-free, subscription-free, and data leak-free AI experience.

Read more
(linux-howto.org)
Development

Hyundai's $18k EV, the Inster, Takes on Japan

2025-01-11
Hyundai's $18k EV, the Inster, Takes on Japan

Hyundai launched its cheapest EV yet in Japan, the Inster, priced at just $18,000. This small electric vehicle boasts a 42 or 49 kWh battery, offering a range of up to 195 miles (315 km) or 221 miles (355 km) WLTP, respectively. Hyundai aims to significantly boost its Japanese market share with the Inster, currently trailing behind BYD in sales. The Inster will compete directly with popular EVs like the BYD Dolphin and Nissan Sakura.

Read more
(electrek.co)
Tech Hyundai Electric Vehicle Japan Market

Retro Tech: Tektronix's Vintage Soldering Training Videos

2025-01-09
Retro Tech: Tektronix's Vintage Soldering Training Videos

This article highlights two vintage soldering training videos produced by Tektronix in the 1970s and 80s. The first video, aimed at assembly line workers, focuses on practical PCB soldering techniques. The second, geared towards repair technicians, delves into more advanced skills like desoldering and PCB repair. Both videos blend practical demonstrations with theoretical knowledge of soldering chemistry and tool usage, showcasing Tektronix's dedication to high-quality soldering.

Read more
(hackaday.com)
Hardware retro tech soldering techniques electronics repair

Blue Origin's New Glenn Rocket: NG-1 Mission Details

2025-01-13
Blue Origin's New Glenn Rocket: NG-1 Mission Details

Blue Origin is preparing for the maiden flight of its massive reusable rocket, New Glenn, under the NG-1 mission. Launching from Launch Complex 36 at Cape Canaveral Space Force Station in Florida, this flight will carry the Blue Ring Pathfinder payload and serve as the vehicle's first National Security Space Launch certification flight. The first stage will autonomously land on an ocean platform hundreds of miles downrange, while the second stage will deploy the payload into a medium Earth orbit (MEO). This launch marks a significant step for Blue Origin in heavy-lift launch capabilities and heralds a new era of space exploration.

Read more
(www.blueorigin.com)
Tech Rocket Launch

Taylorator: Flooding the FM Band with Taylor Swift (and Some Legal Concerns)

2025-01-27
Taylorator: Flooding the FM Band with Taylor Swift (and Some Legal Concerns)

The Taylorator is a project that uses Software Defined Radio (SDR) to broadcast Taylor Swift's music across the FM radio band. The creator wrote software to simultaneously transmit 100 songs to different FM frequencies, effectively 'flooding' the airwaves. The project faced significant performance challenges, requiring powerful CPUs for real-time audio processing of multiple channels. While legal ramifications exist regarding unlicensed broadcasting, the Taylorator is an impressive feat of engineering with its source code publicly available.

Read more
(www.scd31.com)
Tech Taylor Swift

Phaser v4 Beta 5: Million Sprites Rendered with GPU Acceleration

2025-01-31
Phaser v4 Beta 5: Million Sprites Rendered with GPU Acceleration

Phaser 4 engine's Beta 5 release introduces the groundbreaking Sprite GPU Layer game object. This object can effortlessly handle over a million animated sprites on the GPU, dramatically boosting rendering performance. The article showcases its power through several demos, demonstrating its capabilities in handling massive backgrounds, animated characters, and particle effects, such as the 'Big Forest' demo with 1.4 million smoothly animated sprites. While lacking interactivity, its built-in animation features allow for rich visual effects. Beta 5 fixes issues from Beta 4 and marks significant progress towards a February final release.

Read more
(phaser.io)
Game GPU Rendering

Remove the Pedals: A Revolutionary Approach to Teaching Kids to Ride Bikes

2025-01-14
Remove the Pedals: A Revolutionary Approach to Teaching Kids to Ride Bikes

The traditional method of teaching kids to ride bikes—running alongside and letting go—often leads to frustration and tears. This article introduces a revolutionary approach: remove the pedals! By focusing first on balance, children can master this crucial skill before adding the complexity of pedaling. This method makes learning to ride significantly easier and less daunting, resulting in less frustration and more successful experiences. The author's anecdote highlights a simple yet profound lesson about breaking down complex tasks into smaller, manageable steps—a principle applicable far beyond bicycle riding.

Read more
(www.fortressofdoors.com)
Misc parenting bicycle learning techniques

Disney+ Loses Subscribers After Price Hike

2025-02-06
Disney+ Loses Subscribers After Price Hike

Disney's Q1 2025 earnings report revealed a loss of 700,000 Disney+ subscribers globally in recent months, attributed to price increases implemented in the fall. The ad-supported version rose from $7.99 to $9.99, while the ad-free tier jumped from $13.99 to $15.99. Simultaneously, Disney's crackdown on password sharing, introducing a paid sharing plan in select regions, likely contributed to the decline. Despite the loss, CEO Bob Iger stated the churn was less severe than anticipated. Conversely, Hulu gained 1.6 million subscribers, reaching 53.6 million. Disney's overall revenue saw a 4.8% increase, largely driven by the box office success of Moana 2, exceeding $1 billion in revenue.

Read more
(www.macrumors.com)
Tech subscriber loss

Let's Encrypt Drops Automated Certificate Expiration Emails

2025-02-06
Let's Encrypt Drops Automated Certificate Expiration Emails

Let's Encrypt, the non-profit providing free wildcard SSL certificates, will cease sending automated expiration emails starting June 4, 2025. This change, however, is likely beneficial. Reasons cited include widespread automation of certificate renewal by users, the significant cost (tens of thousands of dollars annually) and infrastructure complexity of sending these emails, and importantly, enhanced user privacy by eliminating the need to store millions of email addresses. Let's Encrypt suggests using alternatives like Red Sift Certificates Lite for free certificate expiration monitoring.

Read more
(arstechnica.com)
Tech

Running a Neural Network on a Calculator: A 56-Hour Train Journey

2025-01-04
Running a Neural Network on a Calculator: A 56-Hour Train Journey

A computer science PhD challenged himself to port a convolutional neural network (CNN) to a TI-84 Plus CE graphing calculator during a 56-hour train ride. Overcoming significant hardware limitations, including scarce memory and the lack of native floating-point operations, he successfully trained and ran the network to identify handwritten digits. While slow, the accomplishment demonstrates the feasibility of running AI on severely resource-constrained devices, showcasing ingenious memory management and algorithmic optimizations.

Read more
(z80.me)
Hardware neural network

US Wind and Solar to Outpace Coal in 2024

2025-01-28
US Wind and Solar to Outpace Coal in 2024

Data from the US Energy Information Agency reveals that US solar power generation surged 30% in the first 11 months of 2024, leading to combined wind and solar generation surpassing coal for the first time. Despite a near 3% rise in electricity demand, coal generation fell by almost 5%. The rapid growth of renewables has primarily displaced fossil fuel generation, not met increased demand. Future growth in solar and wind capacity, coupled with policy uncertainties, promises a dynamic energy landscape for the US grid.

Read more
(arstechnica.com)
Tech solar wind

US Regulator Moves to Protect In-Game Currencies

2025-01-11
US Regulator Moves to Protect In-Game Currencies

The US Consumer Financial Protection Bureau (CFPB) proposed a rule to extend protections similar to those for real-world bank accounts to virtual in-game currencies. This move addresses the rise of in-game currency transactions and fraud. The proposal aims to safeguard players from unauthorized transactions, scams, and account theft, holding game companies accountable for financial issues reported by customers. Platforms like Roblox, with its Robux currency, are highlighted due to past complaints. The rule interpretation expands the Electronic Fund Transfer Act's coverage, providing greater legal recourse for gamers.

Read more
(www.yahoo.com)
Game virtual currency game regulation

Keyboard Company Halts US Shipments Due to Trump Tariffs

2025-02-06
Keyboard Company Halts US Shipments Due to Trump Tariffs

Mechanical keyboard company Qwertykeys has temporarily suspended all shipments to the US due to President Trump's tariffs on Chinese goods. The 45% tariff increase, coupled with DHL's new requirement for a 50% prepayment of declared value plus a $21 processing fee per package, makes shipping unsustainable. Qwertykeys is pausing shipments for 72 hours to negotiate with DHL and other logistics providers for fairer solutions. The company also faced temporary delays in sending replacement parts due to a now-reversed US Postal Service suspension of packages from China.

Read more
(www.theverge.com)
Hardware trade war

Secure Your Angular App with Keycloak and the BFF Pattern

2025-01-28

This article demonstrates building a secure web application using the Backend for Frontend (BFF) pattern, integrating Keycloak and Angular. To avoid storing sensitive data in the browser, authentication flows with Keycloak are entirely handled by a dedicated BFF server. The BFF acts as a secure intermediary between Keycloak and the Angular app, managing OAuth2 and PKCE flows, securely storing tokens, and preventing sensitive operations (like token refresh) from reaching the browser. The Angular app interacts only with simplified endpoints provided by the BFF, eliminating direct communication with Keycloak. The article details Keycloak configuration, BFF server setup (using Express.js), and Angular app development, highlighting the security benefits of this architecture.

Read more
(blog.brakmic.com)
Development BFF pattern

Mistral Small 3: A Speed Demon 24B Parameter Open-Source Model

2025-01-30
Mistral Small 3: A Speed Demon 24B Parameter Open-Source Model

Mistral AI unveiled Mistral Small 3, a 24-billion parameter model optimized for speed and performance under the Apache 2.0 license. Outperforming larger models like Llama 3.3 70B and Qwen 32B by over 3x in speed, while achieving over 81% accuracy on MMLU, it's ideal for generative AI tasks demanding rapid response times. Runable on a single RTX 4090 or a 32GB Macbook, Mistral Small 3 is readily available on Hugging Face and other platforms, empowering developers with a powerful and accessible open-source tool.

Read more
(mistral.ai)
AI

Rohlang3: A Minimalist Dependently Typed SK Calculus

2025-01-06
Rohlang3: A Minimalist Dependently Typed SK Calculus

Rohan Ganapavarapu's Rohlang3 is an experimental minimalist language written in Rust. It attempts to combine point-free style, homoiconicity, and dependent typing atop an SK-calculus foundation. While built on the standard S and K combinators, Rohlang3 adds reflection (q and e), partial evaluation (z), and environment reordering (i, E, D) combinators, along with a simplified Pi/Sigma dependent type system (p and g). The project isn't aiming for perfect consistency, but rather explores the interplay of these concepts. Homoiconicity allows runtime manipulation of the AST, and the reflection and partial evaluation features enable powerful metaprogramming capabilities.

Read more
(rohan.ga)
Development

Perplexity AI Bids to Merge with TikTok to Avoid US Ban

2025-01-18
Perplexity AI Bids to Merge with TikTok to Avoid US Ban

With a US ban on TikTok looming, AI search engine Perplexity AI has surprisingly submitted a bid to merge with TikTok US. The proposal would create a new entity combining Perplexity, TikTok US, and new equity partners, bringing more video content to Perplexity's search engine while allowing most ByteDance investors to retain their equity. While ByteDance has repeatedly stated its unwillingness to sell TikTok, Perplexity hopes a merger, rather than an acquisition, will overcome this obstacle. This unexpected move has sent ripples through the tech world, with its success or failure having significant implications for US tech regulation and the convergence of AI and social media.

Read more
(techcrunch.com)
Tech

Senior Dev's Wisdom: Avoiding Rewrites and Efficient Coding

2025-02-03

A senior developer shares their software development philosophy, emphasizing the pitfalls of rewriting code from scratch. They highlight that when a rewrite seems appealing, avoidable mistakes have already been made, such as accumulating technical debt and increasing code complexity. The advice includes alternating between expansion (new features) and consolidation phases, budgeting ample time for polishing and testing, and automating best practices. The importance of considering edge cases and pathological data is stressed, along with writing testable code whose correctness is obvious.

Read more
(qntm.org)
Development
1 2 … 180 181 182 184 186 187 188 … 279 280