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

Mullvad VPN App's 2024 Security Audit Report Released

2024-12-12

Mullvad VPN has released the report for its 2024 third-party security audit of its VPN app. The audit uncovered six vulnerabilities, ranging in severity from low to high, all of which have been addressed. Three high-severity vulnerabilities involved signal handlers and a virtual IP address leak and have been fixed in the latest version. The audit also noted some non-security issues that Mullvad is actively working to resolve. Overall, the Mullvad VPN app is deemed highly secure, but users are still advised to upgrade to the latest version.

Read more
(mullvad.net)
Tech VPN security security audit vulnerability fixes

High-Performance Concurrent Iteration Library lfi Launched

2024-12-12

lfi is a lightweight functional programming library focused on synchronous, asynchronous, and concurrent iteration. It significantly outperforms libraries like p-map and p-filter in concurrent iteration by processing each item independently, resulting in substantial performance gains. lfi also features lazy evaluation, performing operations only when needed to save memory, and boasts a small size, making it easily tree-shakeable. Its clean API design, combined with the pipe function, leads to more readable and maintainable code.

Read more
(lfi.dev)
Development functional programming concurrent iteration performance optimization

Bizarre Particle's Mass Depends on Travel Direction

2024-12-12

Scientists have unexpectedly discovered a strange quasiparticle, a semi-Dirac fermion, in a ZrSiS material. This particle exhibits a peculiar behavior: it's massless when moving along a specific direction but gains mass when traveling in other directions. This discovery, stemming from research into the properties of quasiparticles within ZrSiS, relates to Einstein's mass-energy equivalence, E=mc². When moving at light speed in a specific direction, the quasiparticle is massless; changing direction and slowing down causes it to gain mass. The finding could potentially lead to novel applications for ZrSiS, similar to those of graphene.

Read more
(newatlas.com)
Physics semi-Dirac fermion quasiparticle mass-energy equivalence

Math Error Sparks Unnecessary Panic Over Black Plastic Kitchenware

2024-12-12

A recent study in Chemosphere claimed that black plastic kitchenware contains cancer-causing flame retardants, causing widespread panic. However, a McGill University scientist discovered a simple mathematical error in the study, overestimating exposure levels by a factor of ten. Despite the error, researchers maintain concerns about potential risks associated with black plastic kitchenware remain.

Read more
(nationalpost.com)
Misc black plastic kitchenware math error health risks

Programming Language Memory Models: Challenges and Solutions in Concurrent Programming

2024-12-12

This article delves into programming language memory models, specifically the behavior of shared memory in multithreaded programs. Using a simple C-like program as an example, it illustrates how compiler optimizations can lead to unexpected results, such as race conditions between threads. To address this, modern languages introduce atomic variables and atomic operations to ensure thread synchronization and avoid data races. The article compares the memory models of Java, C++, Rust, and other languages, analyzing their strengths and weaknesses and evolution, and points out the remaining challenges in formally defining memory models.

Read more
(research.swtch.com)
Development memory model multithreading concurrent programming

Cambridge Blockchain Network Sustainability Index: Bitcoin Mining Map Reveals Energy Consumption Patterns

2024-12-12

The Cambridge Centre for Alternative Finance (CCAF) released a mining map visualizing global Bitcoin mining energy consumption as part of the Cambridge Blockchain Network Sustainability Index. The map shows the share of Bitcoin mining hashrate by country and region, revealing a seasonal migration pattern of Chinese miners between ‘dry’ and ‘wet’ seasons to leverage cheaper hydropower. However, this migration pattern likely ended after the Chinese government crackdown on the mining industry in June 2021. The research is based on geolocation mining facility data collected in partnership with several Bitcoin mining pools and acknowledges contributions from BTC.com, Poolin, ViaBTC, and Foundry.

Read more
(ccaf.io)
Tech Bitcoin mining energy consumption sustainability

French Anti-Piracy Battle Escalates: DNS Provider Quad9 Blocks Pirate Sites Globally

2024-12-12

In an escalating fight against online sports piracy, French media giant Canal+ secured court orders forcing DNS providers Quad9 and Vercara to block access to pirate streaming sites in France. Quad9, deeming this an absurd application of copyright law, plans to appeal but has globally blocked the domains for now. This action sparks a global debate about copyright and net neutrality, with Quad9 seeking public support for its appeal to maintain an open internet.

Read more
(torrentfreak.com)
Tech copyright net neutrality DNS blocking

Fermat's Last Theorem Proof: Computers Tackle a Math Challenge

2024-12-12

A team is attempting to prove Fermat's Last Theorem using Lean, encountering unexpected challenges along the way. Instead of relying on the original proof, they're using a modern, more generalized approach. While formalizing crystalline cohomology, they discovered an error in a key lemma, leading to a re-examination of the theory's foundations. They ultimately found a workaround using an alternative proof. This experience highlights potential errors in modern mathematical literature and underscores the need for formalized proofs.

Read more
(xenaproject.wordpress.com)
Development Fermat's Last Theorem Formalized Mathematics

Oasis Security Research Team Discovers Microsoft Azure MFA Bypass

2024-12-12

Oasis Security's research team discovered a critical vulnerability in Microsoft Azure's Multi-Factor Authentication (MFA) implementation. Attackers could bypass MFA to gain unauthorized access to user accounts, including Outlook, OneDrive, Teams, and Azure Cloud. The vulnerability exploited the lack of rate limiting, allowing rapid session creation and code enumeration to exhaust the possibilities of a 6-digit code without alerts. Microsoft has since implemented a stricter rate limit to address the issue. This highlights the importance of enabling MFA and monitoring failed attempts.

Read more
(www.oasis.security)
Tech Azure Security MFA Vulnerability Authentication Bypass

Jujutsu: A Game-Changing Version Control System

2024-12-12

The author daily drives Jujutsu, a Git-based version control system, and highly recommends it. Unlike other simplified Git alternatives, Jujutsu focuses on enhancing the workflow of power users, particularly in simplifying history editing. The author recounts a personal experience showcasing Jujutsu's ease in modifying past commits, eliminating complex Git commands. While Jujutsu has some shortcomings, like lacking support for git send-email and the Google CLA requirement, the author still uses it daily for personal projects.

Read more
(drewdevault.com)
Development Version Control

AI Color Palette Generator - Browse, Edit, Visualize and Generate Unique Palettes

2024-03-20

Artificial Intelligence (AI) is revolutionizing the way we design with colors. Using AI algorithms, AIColors.co helps designers create color palettes that evoke desired emotions, enhance user experience, and align with brand identities. The website offers a user-friendly interface where designers can input keywords or images to generate unique color combinations. With a database of millions of colors and various customization options, AIColors.co empowers designers to explore and refine their color choices. Additionally, the website provides resources and tutorials on color theory and AI-driven design, making it a valuable tool for both novice and experienced designers.

Read more
(aicolors.co)
21
未分类

The rev.ng decompiler goes open source + start of the UI closed beta - rev.ng

2024-03-29

The provided website discusses the open-sourcing of Ren's Virtual Machine (VM) Decompiler UI as part of a closed beta. It highlights the benefits of open-sourcing, including community collaboration, transparency, and increased security. The article also provides a walkthrough of the decompiler UI, explaining its features and functionality. Additionally, it mentions the availability of the source code on GitHub and encourages developers to contribute to the project.

Read more
(rev.ng)
21
未分类

MicroLaunch

2024-03-12

MicroLaunch provides investment solutions with a focus on high-quality, early-stage technology companies in the Midwestern United States.

Read more
(microlaunch.net)
19
未分类
1 2 … 14 15 16 17 18 19 20 22 Next →