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

BlenderGPT: AI-Powered 3D Modeling in 20 Seconds

2024-12-12

BlenderGPT is an advanced AI program that generates 3D models from text or image prompts in approximately 20 seconds. It produces fully textured meshes, importable directly into Blender via a shortcut, or downloadable for use in any compatible software. Try it free today and experience the speed and ease of this revolutionary 3D modeling tool.

Read more
(www.blendergpt.org)
AI 3D modeling

Oasis Security Research Team Discovers Microsoft Azure MFA Bypass

2024-12-12
Oasis Security Research Team Discovers Microsoft Azure MFA Bypass

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
Fermat's Last Theorem Proof: Computers Tackle a Math Challenge

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

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

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

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

Middle Schooler Discovers New Compound in Goose Poop

2024-12-12
Middle Schooler Discovers New Compound in Goose Poop

A middle school student, participating in a research program with a local university, discovered a novel compound, orfamide N, in a goose poop sample collected from a park. While not responsible for the initial observed antibiotic activity of the bacteria, orfamide N inhibited the growth of human melanoma and ovarian cancer cells in lab tests. This research demonstrates the success of combining educational outreach with natural product discovery, highlighting the importance of university-community partnerships. The project provided invaluable hands-on experience for the student, showcasing the potential of young scientists.

Read more
(phys.org)
Tech scientific discovery middle school research new compound

Quantus: Revolutionizing Fintech with a Cutting-Edge Quantitative Trading Platform

2024-12-12

Quantus is an advanced quantitative trading platform designed to provide professional traders and institutional investors with efficient and reliable trading solutions. It integrates powerful data analytics tools, flexible backtesting capabilities, and a low-latency execution system, enabling users to better capitalize on market opportunities and enhance investment returns. With its robust technology and user-friendly interface, Quantus is quickly becoming a rising star in the fintech landscape.

Read more
(quantus.finance)
Tech quantitative trading fintech trading platform

Gukesh Crowned Youngest World Chess Champion in History

2024-12-12
Gukesh Crowned Youngest World Chess Champion in History

In round 14 of the 2024 World Chess Championship, 18-year-old Indian Grandmaster Gukesh D defeated defending champion Ding Liren to become the youngest world champion ever! Ding employed a Reversed Grünfeld Defense, but Gukesh, with precise opening play and deep preparation, steered the game into a complex endgame. After a prolonged struggle, Ding blundered, allowing Gukesh to capitalize and secure a historic victory, fulfilling a lifelong dream.

Read more
(lichess.org)
Game chess world champion Gukesh

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

Mullvad VPN App's 2024 Security Audit Report Released

2024-12-12
Mullvad VPN App's 2024 Security Audit Report Released

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

$800 Emotional Support Robot for Kids Bricked, No Refunds

2024-12-12
$800 Emotional Support Robot for Kids Bricked, No Refunds

Embodied, the maker of the $800 Moxie robot for kids, is shutting down, leaving thousands of children without their robotic companions. The company blamed a failed funding round for its closure, and announced that Moxie's cloud connectivity will be severed, rendering the robots inoperable. While Embodied expressed some willingness to refund recent purchases, they offer no guarantees, leaving many parents facing significant financial losses alongside their children's emotional distress. This incident highlights concerns about the lack of long-term support for smart devices and the potential for significant consumer disappointment.

Read more
(arstechnica.com)
Tech robot children refund

The Marvelous Disappearing Capacitor: A Clever Trick to Improve Photodiode Amplifier Performance

2024-12-12
The Marvelous Disappearing Capacitor: A Clever Trick to Improve Photodiode Amplifier Performance

This article introduces a clever technique to improve the performance of photodiode amplifiers: bootstrapping. The parasitic capacitance of a photodiode limits its ability to amplify rapidly changing signals. In a traditional transimpedance amplifier (TIA), this capacitance reduces bandwidth. The article analyzes the working principle of a TIA, explaining how the photodiode's parasitic capacitance affects circuit performance. The author presents a bootstrapped circuit using an op-amp and JFET, which effectively eliminates the parasitic capacitance by keeping the voltage across the photodiode terminals virtually the same, significantly improving bandwidth. The article also discusses a variant AC-coupled bootstrapped circuit and provides relevant formulas.

Read more
(lcamtuf.substack.com)
Hardware photodiode bootstrapping transimpedance amplifier

Parkinson's Law: Set Deadlines, Boost Efficiency

2024-12-12
Parkinson's Law: Set Deadlines, Boost Efficiency

Parkinson's Law states that work expands to fill the time available for its completion. James Stanier, writing from an engineering management perspective, argues for the importance of setting challenging yet achievable deadlines. Using the 'Iron Triangle' (scope, resources, time), he demonstrates how deadlines prevent scope creep, improve efficiency, and spark innovation. He also highlights the implementation of weekly reporting to encourage proactive task completion, ultimately leading to higher efficiency.

Read more
(theengineeringmanager.substack.com)
Development Parkinson's Law Project Management Deadlines

Ephemeral Database Access with GitHub Actions and S3

2024-12-12

This article presents a clever method for running a temporary database using GitHub Actions for ephemeral compute and S3 object storage for persistence. Spin up a MySQL-compatible database on demand, store data in S3, and automatically tear it down when finished, eliminating ongoing costs. A secure tunnel allows public access for integration tests, demos, or short-term development. Important: This approach is suitable only for short-term tasks; it's not designed for long-running database services.

Read more
(wesql.io)
Development Database

Geometry Clipmaps: Simple Terrain Rendering with Level of Detail

2024-12-12

This blog post details geometry clipmaps, a technique for rendering vast terrains in real-time. It leverages a mesh with varying tessellation density—finer near the camera, coarser further away—to achieve level of detail. The author meticulously explains implementation details, including mesh generation, rendering procedures, handling seams, and efficient heightmap storage. Mesh alignment is crucial, preventing shimmering artifacts. While complex, the technique shines for its simplicity, avoiding computationally expensive algorithms while maintaining high-quality terrain rendering.

Read more
(mikejsavage.co.uk)
Game terrain rendering geometry clipmaps

ChatGPT's Name Filters Spark Controversy

2024-12-12
ChatGPT's Name Filters Spark Controversy

The AI chatbot ChatGPT has sparked controversy due to its built-in name filters. These filters prevent users from mentioning certain names, such as Brian Hood, Jonathan Turley, and Jonathan Zittrain, causing chat interruptions. The reason for filtering these names stems from previous instances where ChatGPT incorrectly generated information about these individuals, leading to legal disputes. While OpenAI claims the filtering of "David Mayer" was a glitch, the incident highlights the challenges LLMs face in handling sensitive information and the potential problems hard-coded filters can create.

Read more
(arstechnica.com)
AI name filters

Storing Times for Human Events: Best Practices and Challenges

2024-12-12
Storing Times for Human Events: Best Practices and Challenges

This blog post discusses best practices for storing event times on event websites. The author argues that directly storing UTC time loses crucial information, such as the user's original intent and location. A better approach is to store the user's intended time and the event location, then derive the UTC time. Examples like user error, international timezone adjustments, and the 2007 Microsoft Exchange DST update illustrate the importance of storing the user's intended time. The author recommends designing a clear and user-friendly interface to help users accurately set event times and locations, emphasizing the importance of maintaining the user's original intent to avoid errors caused by timezone changes.

Read more
(simonwillison.net)
Development time storage timezone user experience event management

Programmer Calls Out OAuth Providers for API Flaws

2024-12-12
Programmer Calls Out OAuth Providers for API Flaws

A programmer publicly criticized several OAuth providers (GitHub, Facebook, TikTok, Strava, Naver, and others) for various API inconsistencies. Issues included incorrect status codes, non-standard error responses, inconsistent parameter naming, and flawed token expiration formats. The author urged these providers to rectify these problems, expressing particular confusion over Naver's design choices. The post also highlighted the lack of support for HTTP Basic authentication, later clarifying that while optional in OAuth 2.1, most providers' lack of PKCE support renders them non-compliant with either specification.

Read more
(pilcrowonpaper.com)
Development API inconsistencies specification developer API flaws

High-Resolution Bitmap Graphics with Commodore 64 BASIC 2.0: A Fast Screen Clearing Routine

2024-12-12
High-Resolution Bitmap Graphics with Commodore 64 BASIC 2.0: A Fast Screen Clearing Routine

This article demonstrates efficient high-resolution bitmap graphics handling in Commodore 64 BASIC 2.0, focusing on a fast screen clearing routine. The author points out that native BASIC lacks direct bitmap manipulation commands, making conventional clearing slow. A clever solution utilizes the BASIC string storage mechanism: long strings filled with CHR$(0) overwrite the bitmap memory, achieving fast clearing. The technique is illustrated with a cosine function plotting example.

Read more
(retro64.altervista.org)
Development Bitmap Graphics

WXT: Next-Gen Web Extension Framework for Accelerated Development

2024-12-12
WXT: Next-Gen Web Extension Framework for Accelerated Development

WXT is an open-source tool revolutionizing web extension development. Supporting Chrome, Firefox, Edge, Safari, and all Chromium-based browsers, it builds both Manifest V2 and V3 extensions from a single codebase. Boasting lightning-fast HMR, file-based entry points, and default TypeScript support, WXT offers auto-imports and automated publishing. Framework-agnostic and compatible with any Vite plugin, it features a module system and remote code downloading, maximizing development speed and allowing developers to focus on features, not build scripts.

Read more
(wxt.dev)
Development web extension development framework

C++ Compiler Errors: Nonsensical Errors from a Function Declaration

2024-12-12
C++ Compiler Errors: Nonsensical Errors from a Function Declaration

A developer adding XAML support to a C++ application encountered a series of compiler errors simply by including the winrt/Windows.UI.Xaml.h header file. The errors stemmed from what appeared to be a normal function declaration: `template struct consume_Windows_UI_Xaml_IExceptionRoutedEventArgs { [[nodiscard]] auto ErrorMessage() const; };` The root cause was a pre-existing macro named ErrorMessage in the developer's project, conflicting with the function name. This macro created an ErrorMessageString object and returned a pointer to an error message string. The macro's lack of boundaries caused the compiler to misinterpret the function declaration as a macro invocation, resulting in errors like "not enough arguments." The solution involved disabling the macro using #pragma undef before including the header or removing the macro entirely and replacing it with an inline function.

Read more
(devblogs.microsoft.com)
Development compiler errors macro conflict Compiler Errors Macro Definition macro

ChatGPT Clone in 3000 Bytes of C

2024-12-12

Developer Nicholas Carlini created a ChatGPT clone using only 3000 bytes of C code, powered by the GPT-2 model. This dependency-free implementation loads GPT-2's weight matrix and BPE file, then performs tokenization, matrix operations, transformer inference, and detokenization. While the output quality is not high, its efficiency is remarkable, producing multiple replies per second on modern hardware. This demonstrates the potential of compact code in implementing complex AI models.

Read more
(nicholas.carlini.com)
AI

QEMU Gains Vulkan Acceleration with VirtIO GPU Driver Update

2024-12-12
QEMU Gains Vulkan Acceleration with VirtIO GPU Driver Update

QEMU version 9.2.0 and later now supports Vulkan acceleration for VirtIO-GPU thanks to the Venus patches. This represents a significant advancement in Vulkan graphics rendering for QEMU virtual machines. The article details the setup process, including installing necessary packages (Linux kernel 6.13+, QEMU 9.2.0+, Vulkan drivers, etc.), building QEMU from source, and creating a VM image. While virt-manager currently lacks Vulkan configuration support, command-line parameters offer a workaround. Troubleshooting tips are provided, along with notes on current limitations in virt-manager and libvirt.

Read more
(gist.github.com)
Development

Breakthrough in Reachability Analysis of the Domain Name System

2024-12-12
Breakthrough in Reachability Analysis of the Domain Name System

Researchers have presented the first decision procedure for verifying the Domain Name System (DNS), establishing its complexity as 2ExpTime. The study formalizes DNS semantics and uses a novel abstraction based on positive prefix-testable languages, reducing the DNS verification problem to the verification problem for pushdown systems. This approach effectively models attack vectors in DNS, such as amplification attacks and rewrite blackholing, providing a new theoretical foundation for ensuring DNS security and reliability.

Read more
(arxiv.org)
Development DNS security formal verification reachability analysis

Easy macOS Installation on Any Computer with Proxmox

2024-12-12
Easy macOS Installation on Any Computer with Proxmox

This project offers a simplified method for installing macOS on any computer using Proxmox VE versions 7.0 to 8.2. A single script automates the setup process, enabling users to easily run macOS versions from High Sierra to Sonoma in a Proxmox virtual machine. Cloud environment installations are also supported, and a video tutorial is available.

Read more
(github.com)
Hardware Virtualization

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)
41
未分类
1 2 … 557 558 559 560 561 562 564