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

The Rise and Fall of Ashton-Tate: The dBASE Saga

2024-12-12

Ashton-Tate, a prominent player in the 1980s personal computer revolution, rose to fame with its database software, dBASE. Initially conceived by Wayne Ratliff as Vulcan, the program quickly became a standard for CP/M systems and later flourished with the IBM PC's ascendancy. Its user-friendly interface and powerful features propelled Ashton-Tate to an IPO and significant success. However, the company's later struggles with dBASE III's development, escalating competition, and internal issues ultimately led to its acquisition by Borland. This story details the dBASE legacy, Ashton-Tate's rise and fall, offering valuable insights into the software industry's dynamics.

Read more
(www.abortretry.fail)
Development database software

Microsoft's Recall Feature Leaks Sensitive Information Despite Security Filters

2024-12-12

Microsoft's Recall feature, designed to record computer activity, has a flawed 'sensitive information filter'. Tests revealed it failed to prevent screenshots containing credit card numbers, social security numbers, and other sensitive data from being saved. While Microsoft promises improvements, the current security vulnerability raises concerns. The AI-powered filter struggles to reliably identify sensitive information, posing a significant security risk.

Read more
(www.tomshardware.com)
Tech security vulnerability

AI Scaling Laws: Beyond Pre-training, a New Paradigm Emerges

2024-12-12

This article explores the evolution of AI scaling laws, arguing that they extend beyond pre-training. OpenAI's o1 model demonstrates the utility and potential of reasoning models, opening a new, unexplored dimension for scaling. The article delves into techniques like synthetic data, Proximal Policy Optimization (PPO), and reinforcement learning to enhance model performance. It clarifies that Anthropic's Claude 3.5 Opus and OpenAI's Orion weren't failures, but rather shifts in scaling strategies. The authors emphasize that scaling encompasses more than just increasing data and parameters; it includes inference-time compute, more challenging evaluations, and innovations in training and inference architecture.

Read more
(semianalysis.com)
AI AI scaling large language models reasoning models

Colorado Hunters Donate Wild Game to Fight Food Insecurity

2024-12-12

In Colorado, Meat Cleaver, a meat processor, partners with hunters to donate excess venison, elk, and other wild game to local food banks, combating food insecurity. Funded by Farmers and Hunters Feeding the Hungry (FHFH), the program reduces waste and provides healthy protein to vulnerable families. While currently limited to Meat Cleaver, the program has successfully donated thousands of pounds of meat, receiving community praise. Participating hunters, despite the competitive hunting license system, find fulfillment in assisting those in need.

Read more
(collective.coloradotrust.org)
Misc food banks wild game donation community assistance

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

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

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

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

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

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

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

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

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 →