An RL-agent plays the game to collect training data, which is used to train a generative diffusion model conditioned on previous actions and observations. The model is fine-tuned by training the decoder with an MSE loss to improve image quality and correct artifacts in the predicted game frames.

Maker Skill Trees are printable templates that guide and track hands-on skill progression, with 73 skill tiles and 5 set-your-own-goal tiles. The templates are customizable, and users can share, adapt, and remix them for non-commercial purposes under the Creative Commons Licence.

Fibonacci numbers can be used to approximate conversions between miles and kilometers, with the ratio of consecutive numbers approaching the Golden ratio. This allows for conversions, with the key being to use the subsequent Fibonacci number for km to miles conversions and the preceding Fibonacci number for miles to km conversions.

Skip is a tool that allows developers to build native apps for both iOS and Android using a single programming language, Swift, and a single development environment, Xcode. It transpiles Swift code into Kotlin and Jetpack Compose for Android, providing native performance and user interfaces on both platforms.

The author of Dolt, a version-controlled SQL database, shares a humorous example of a "4-chan" in Go, where channels are used to send additional channels, creating a fan-out pattern among worker goroutines. The author demonstrates a program that uses 4 layers of channel indirection to compute a number's fifth power in a distributed way, highlighting the complexity and impracticality of such a design.

COSMIC, a new desktop environment for Pop!_OS and Linux distros, has been released in alpha version, featuring new features, customization, and performance. The alpha version is still buggy, but feedback has been positive, with users praising its speed, stability, and design.

Interactive PDF Analysis (IPA) is a software that allows researchers to explore the inner details of PDF files, extracting payloads, understanding object relationships, and inferring elements for triage. IPA is a graphical tool that can be used to analyze PDF files, extract metadata, visualize references, and save raw data streams, with the goal of providing a user-friendly interface for ...

Register or sign in with developer credentials and ensure a unique and descriptive User-Agent to access the script or application. If blocked, try changing back to default or file a ticket for assistance.

Window Maker is an X11 window manager that reproduces the NeXTSTEP user interface and can run standalone or integrate with GNUstep. It is available in many software repositories and has a latest stable version 0.96.0 released on 2023-08-05.

You propose changing the Steering Council election process from simple approval voting to ranked choice voting to better capture voter preferences and provide more meaningful feedback to candidates. The current simple approval voting system has limitations, including no preference expression, which should be addressed.

A judge dismissed most claims in a lawsuit against GitHub, Microsoft, and OpenAI, leaving only two claims standing, alleging open-source license violation and breach of contract. The judge found that GitHub Copilot did not violate the Digital Millennium Copyright Act by suggesting code without proper attribution, dismissing the main accusation with prejudice.

Elixir's type system provides sound gradual typing, allowing for safe interface with static and dynamic code. The system's design decisions, such as handling empty lists and tuples, aim to balance type safety with developer convenience and flexibility.

Manufacturers from various industries, including consumer devices, medical equipment, and tractors, are lobbying against a bill that would require military contractors to provide repair materials to the US military. The bill aims to address the issue of repair restrictions, which can lead to higher costs and delays for the military, but manufacturers argue it would undermine their proprietary ...

FCast is an open-source protocol for wireless audio and video streaming, allowing developers to create custom receivers and integrate it into their apps. It is designed to be simple and flexible, with example implementations in various languages and a community-driven approach to contributions.

Valgrind is an instrumentation framework for building dynamic analysis tools that can automatically detect memory management and threading bugs, and profile programs in detail. The tool was created by Julian Seward, who was inspired by his work on the bzip2 compression utility and the need for an open-source version of the commercial tool Purify.

The Panasonic TOUGHBOOK 40 is a rugged laptop with modular design, AI-enabled, and features upgradable components, long battery life, and high-performance capabilities. It offers reliable connectivity and is designed to withstand demanding environments, with a 5x higher reliability rate than other business laptops.

Andrew Atkinson, a Postgres expert, discussed the challenges of scaling a Rails application to millions of users, including the importance of understanding the application's database interactions, identifying performance bottlenecks, and optimizing queries. He also shared practical tips for application developers, such as using PG stat statements, configuring read and write instances, and ...

A new COVID-19 vaccine delivers a single dose via the nasal passages, inducing long-term protection and immunity against all variants, with no adverse reactions. The vaccine remains stable at 4°C for seven months, making it ideal for low- and middle-income countries, and offers a safe alternative to needles for those with needle phobia.

The TLA+ Foundation is considering proposals to change the TLA+ language, and this note discusses the cost and justification of such changes, emphasizing the importance of simplicity and avoiding changes that would make the language more like a programming language. The note also discusses the possibility of adding features to or modifying PlusCal, a gateway language to TLA+, and the ...

Chat with AI to build web apps. Sync with GitHub. One-click deploy.

Boxxy is a tool that helps manage misbehaving Linux applications by forcing them to store files and directories in specific locations, without using symlinks. It uses a configuration file to specify rules for redirecting files and directories, and can be used to opt-in immutable file systems and restrict writable paths.

QEMU's record/replay feature allows deterministic replay of VM execution, including non-deterministic events, and supports checkpointing for faster rewind. It also enables reverse debugging, allowing execution to be "executed" in reverse direction, with support for "reverse step" and "reverse continue" commands.

Kotlin's Exploratory Data Analysis (EDA) tools, including Kotlin notebooks, DataFrame, and Kandy, provide a rich set of capabilities for data analysis, visualization, and manipulation. These tools allow developers to load, transform, and visualize data in various formats, and seamlessly integrate with databases, web APIs, and other data sources.

Tesla introduced Dojo, a supercomputer with a custom transport protocol over Ethernet (TTPoE) to improve latency and simplify congestion control. TTPoE is designed for high-bandwidth, low-latency applications and is implemented in a "dumb" network interface card (NIC) to keep costs low, allowing for large-scale deployment of host nodes.

The user scraped HN comments, built a Postgres DB, and analyzed the data using SQL to find trends in sentiment and popularity by project category and industry. The results show that commenters favor self-improvement posts and personal projects over startups, and that DIY projects are popular.

Meredith Whittaker, the president of the Signal Foundation, discusses the importance of building alternative technologies that prioritize privacy and security, and how Signal's success is a model for creating a more decentralized and independent tech ecosystem. Whittaker also emphasizes the need for structural change and regulation to curb the power of Big Tech companies and create a more ...

Make sure to check recent updates, the game is known to break often (And the status may not update to reflect that)

The article discusses automatic differentiation (AD) in Julia, a technique used in machine learning to calculate gradients, and aims to create a minimal AD package in Julia based on Zygote.jl. The first part of the series focuses on ChainRules.jl, which defines forward and reverse rules, and recreates the rrule function, a key component of AD.

Pavel Durov, the founder of Telegram, has been arrested in France on charges of complicity, refusal to communicate with authorities, and other crimes related to the platform's alleged non-compliance with French requests for content moderation and data disclosure. The charges are significant, as they could set a precedent for European countries to extraterritorially dictate content moderation ...

The Presence Simulation component simulates your presence at home by turning on/off lights, switches, and covers based on your historical data, and can be customized with entities, randomization, and delta days. The component can be controlled with services presence_simulation.start and presence_simulation.toggle, and fires an event presence_simulation_change each time it calls a service.

The user is concerned about the state of FOSS due to decreasing industry and labour surpluses, leading to less investment, fewer side projects, and potential decline or collapse of FOSS projects. The user worries that the current unsustainable ecosystem will lead to a vicious cycle of bugs, malicious takeovers, and destruction of unknown parts of the FOSS system.

A judge has dismissed most claims in the GitHub Copilot lawsuit with prejudice, leaving only two claims standing. The remaining claims accuse GitHub and Microsoft of violating an open-source license and breaching a contract.

Printer manufacturers like HP and Canon have a monopoly on replacement ink and toner cartridges, leading to high prices and limited competition, while third-party sellers on Amazon often mimic brand packaging to sell cheaper alternatives. However, these alternatives can be of questionable quality and may be counterfeit, leaving consumers stuck between high prices and potentially hazardous options.

The PL Theory proposes that Malaysia Airlines Flight 370 (MH370) did not run out of fuel and fall out of the sky, but instead followed a controlled eastward descent track to its secret resting place in a deep hole at the Penang Longitude Location. The theory is supported by various evidence, including the analysis of BFO signals, the discovery of a 300 km trail of cloud anomalies, and the ...

French authorities have handed preliminary charges to Telegram CEO Pavel Durov for allegedly allowing criminal activity on his messaging app, and he has been barred from leaving France pending further investigation. The case has sparked debate over free speech and online policing, with Durov's arrest drawing criticism from Russia and Iran, while French President Emmanuel Macron has defended ...

The CHERI project aims to address memory safety bugs by extending conventional hardware architectures with new features for fine-grained memory protection and scalable software compartmentalization, and has developed a CHERI-enabled prototype architecture, processor, and development board called Morello. The project has also used rigorous engineering methods, including machine-checked ...

The wp2hugo project is a tool for migrating WordPress exports to Hugo, handling edge cases and converting WordPress blogs to Markdown files for use with other systems. It offers various options, including media file download and custom font selection, and is free for non-commercial and personal use, with commercial licensing available.

Bluesky's Trust and Safety team is working to mitigate toxicity, including harassment and misinformation, through product features such as quote post removals, hidden replies, and improved notification management. The latest app version (1.90) includes these features, as well as updates to backend infrastructure to combat ban evasion and botnets.

Automattic, the company behind WordPress, plans to run Tumblr's backend on WordPress, allowing for easier sharing of tools and features between the two platforms. The move is expected to be a technical challenge, but Automattic is confident in its ability to complete the transition, which will allow Tumblr to benefit from WordPress's open-source developments.

A research scientist at Google Japan shared a failure story about working with a literary agent who promised to sell his manuscript on graphical symbol systems but ultimately failed to deliver, citing the wrong writing style. The scientist learned a valuable lesson about being cautious when working with agents and is now back to trying to sell his manuscript to academic presses, with plans to ...

The user attended a lightning talk at EuroPython 2024 about a regex crossword puzzle, where they need to fill a hexagonal grid with letters to match regular expressions. The goal is to extract an English word or phrase from the solved puzzle without extra information and verify it on the puzzle website.

StackOverflow's decline began before ChatGPT's release, with stagnation and decline in questions, answers, and views starting in 2013, and pre-existing issues beyond AI's impact. Reasons for the decline include outdated questions, heavy moderation, lack of user engagement, and outdated UI, which were present before ChatGPT's introduction.

repo2vec is a library that enables users to chat with any public or private codebase, providing a simple and modular way to index and query codebases. It uses OpenAI's batch embedding API and Pinecone vector store, and allows customization of the pipeline with swappable components.

A US court ruled that geofence warrants are unconstitutional, finding that police seeking data from Google's location database constitutes a search. The ruling effectively makes geofence warrants unlawful in three US states, but the court allowed the defendant's conviction to stand.

The user created a new Telegram account and joined job-related channels in Estonia, receiving offers for illegal activities such as human trafficking, money laundering, and scamming. The user highlights the ease with which Telegram allows for these illegal activities, citing examples of job offers and discussing the platform's role in facilitating Russian sabotage operations in Europe.

Thorben Danke, a German industrial electronics engineer, has become a renowned insect photographer, capturing stunning images of local insects in his home studio and sharing them on social media. His photography aims to inspire a new appreciation for insects and raise awareness about their importance in ecosystems, as many species are in decline due to habitat changes and other human activities.

A web server is started on port 8080 to view the result, and a tool called gsa is used to analyze the size of compiled Go binaries and determine the extent to which dependencies contribute to their bloated size. The tool provides various options for output format, verbosity, and other settings, and can also be used to compare the size of different binary files.

The input is a series of SQL queries and commands executed on a SQLite database, primarily related to retrieving and manipulating data in tables such as "timeline", "ticket", "blob", "plink", and "tagxref". The queries involve filtering, sorting, and aggregating data, as well as updating and inserting new records, with various conditions and constraints applied.

Thermal states of local Hamiltonians are separable above a constant temperature, with Gibbs states being classical distributions over product states. This rules out the possibility of super-polynomial quantum speedups in preparing Gibbs states above a fixed constant temperature.

A group of whistleblowers at Fermilab, the US's premier particle-physics facility, has released a 113-page report criticizing the lab's management and claiming it is in "crisis" without a complete shake-up. The report highlights various issues, including poor communication, lack of trust in management, and budget overruns, and calls for a new management team to address these problems.

FinalSpark offers paid 24/7 remote access to its bioprocessors, featuring human brain organoids, for $500 per user per month or free for selected projects. The Neuroplatform, a biocomputing platform, claims to be more energy-efficient than digital processors and is available for rent to academic customers.

NVIDIA reported record quarterly revenue of $30.0 billion, up 15% from Q1 and 122% from a year ago. The company also announced strong demand for its Hopper and Blackwell products, and provided guidance for the third quarter and full year.

Tesla drivers are reporting issues with the company's "Full Self-Driving" software, including running red lights, which has raised concerns about the technology's safety. The allegations come as Tesla faces federal investigation and criticism for its driver assist software's involvement in accidents and exaggerated claims about its capabilities.

Jack Welch's legacy of destructive capitalism has led to the downfall of General Electric and Boeing, two once-great American industrial giants, and their inability to decarbonize key sectors. The companies' focus on short-term profits and shareholder value over employees and long-term growth has resulted in a string of engineering and product debacles, ultimately leading to their decline.

The author searches for repeating numbers in the decimal representation of Pi, using a Python algorithm and later a C program to find the sequence up to 18 digits. They then use a hash table to search for longer sequences, finding the 19th, 20th, and 21st elements in the series, and plan to continue searching for longer sequences with more memory.

Pavel Durov, Telegram's founder, has been placed under formal investigation in France for alleged complicity in organized crime on the messaging app. He has been released on bail and must report to a French police station twice a week, but his detention has sparked a debate about freedom of speech and accountability.

The user has been working at the same company for almost a decade, earning $140k and enjoying a great work-life balance, but is concerned about not growing as an engineer and is seeking advice on whether to stay or leave.

Whois information for puri.sm

You argue that time is represented as mutable state, and that internal state updates that don't affect observable state don't advance time. This perspective motivates formal methods concepts like bisimulation and refinement, and can be applied to reason about abstract systems.

The author discusses the issue of symbol visibility in shared objects and how it affects linking and runtime performance, particularly when using the GNU ld linker. They propose changing the default visibility of symbols in shared objects to protected, which would allow for faster linking and runtime performance, but would require changes to the compiler and linker.

The naturist community is upset as Meta, a social media giant, allows thongs and mankinis in what was once a nude-only space. This mirrors the situation where sunbathers are flocking to a previously nude beach despite naturist objections.

Please enable JS and disable any ad blocker

Sapiens is a family of models for human-centric vision tasks, easily adaptable and scalable, with self-supervised pretraining boosting performance on diverse tasks. The models surpass existing baselines on various benchmarks, achieving significant improvements on pose estimation, part segmentation, depth estimation, and surface normal prediction tasks.

RunCVM is a lightweight, open-source container runtime that allows launching standard container workloads in virtual machines (VMs) using Docker, providing stronger workload isolation and security compared to traditional container runtimes. It supports various features, including custom kernel selection, networking, disk performance, and exit code handling, but has limitations in areas such ...

The article discusses the development of a native video editor timeline for iOS, highlighting design and usability challenges, and the importance of rapid prototyping and iteration. The timeline features a left-to-right layout, adjustable clip sizes, and precise snapping and trimming capabilities, making video editing feel natural and precise on a small screen.

FractalHome is a self-hosted Minecraft server solution, but it's built on a distributed computing architecture that may also run AI workloads. The team is considering applying to YC's Fall batch, with applications open until August 27.

The Immovable Ladder is a wooden ladder leaning against the right window of the Church of the Holy Sepulchre in Jerusalem, symbolizing the adherence to an agreement among six Christian denominations not to move or alter anything in the church without consent. The ladder's presence dates back to the 16th century and has been a subject of controversy among Christian denominations, with some ...

NIST is leading a global effort to develop post-quantum cryptography to protect electronic information from attacks by both conventional and quantum computers. Post-quantum encryption algorithms are designed to be difficult for both types of computers to solve, using math problems that are hard to crack, and are being developed through an open and transparent process.

The React compiler is a build-time tool that optimizes React applications by applying memoization techniques, eliminating the need for manual optimization using hooks like memo, useMemo, and useCallback. By configuring the React compiler with a React 19 project, developers can delegate optimization tasks to the compiler, reducing the need for manual optimization and improving application performance.

Programmable cryptography is a new generation of cryptographic primitives that enables general-purpose computation inside or on top of cryptographic protocols, allowing for flexible and secure data transformations and computations. This technology has the potential to revolutionize the way we interact with digital data, enabling the creation of autonomous, secure, and interoperable digital ...

NASA's mobile launch tower project, estimated to cost $2.7 billion, is experiencing significant delays and cost overruns, with a new report suggesting the actual cost could be even higher. The project's timeline has been pushed back to September 2027, making it unlikely that the Artemis IV mission, which requires the upgraded rocket, will launch until mid-2029 at the earliest.

The user is seeking a crash course on AI and is looking to learn from domain experts through intensive 1:1 sessions, having already found success with this approach in the past. They are open to various methods, including using platforms like Wyzant or Codementor, and are willing to put in the work to come prepared with specific questions and context to get the most out of the sessions.

Anthony Lagunas, a CIA operative, was recruited into a deep-cover program to infiltrate Islamist extremist groups after 9/11, and he spent years living undercover as a Muslim radical, eventually meeting with President Bush. However, his time undercover took a toll on his mental health, and he struggled to adjust to life back in the US, eventually dying in a hotel room in Malaysia in 2016, ...

The user is puzzled by the categorization of animal emojis, particularly the inclusion of some emojis with faces and the lack of consistency across platforms, and they have created a curated set of animal emojis grouped by habitat (terrestrial, aquatic, buggy, and birdy). The user is seeking answers from the Unicode Consortium and emoji designers about the decision-making process behind the ...

The post explores the networking aspects of ISO 8583 messages, focusing on how they are transmitted and received by participants in card networks, including the use of TCP/IP connections and asynchronous processing of transactions. The implementation of an ISO 8583 client in Go is also discussed, including the use of goroutines and channels to handle message sending and receiving, and the use ...

AMD has backported branch prediction optimizations from Windows 11 24H2 to 23H2, allowing for performance improvements on Zen 3, Zen 4, and Zen 5 CPUs. This optional update, KB5041587, can be installed on Windows 11 23H2 to achieve similar performance uplifts as 24H2.

Strawberry, a complex AI model, can solve complex problems without hallucinations, but is slow and expensive. OpenAI is working to distill Strawberry into a smaller, faster version to integrate into ChatGPT and generate high-quality training data for its next flagship model, Orion.

Stoke has received a $4.5M award from the Defense Innovation Unit to develop a solution for precise point-to-point delivery of cargo to, through, and from space. The company's reusable upper stage technology aims to improve launch costs and availability, and presents new capabilities for moving critical payloads through space or returning them to Earth.

UAE suspended its $20 billion deal with France for 80 Rafale fighter jets after Telegram CEO Pavel Durov's arrest in France over illicit activities. The UAE is considering halting military cooperation with France amid rising tensions.

The suggestion cannot be applied because no changes were made to the code and it's not supported for deleted lines or multi-line comments. The suggestion cannot be applied now and should be checked back later due to various restrictions.

The user reflects on the intentional design of software, noting that every aspect of computer software is the result of deliberate human decisions, from feature sets to pixel placement. This perspective challenges the notion that technology is impersonal, highlighting the human minds and motivations behind every design choice, even in modern software with complex interactions and unintended ...

You dislike the term "modern" when used to demean or dismiss something based on its age or appearance, and instead advocate for evaluating tools and practices based on their merits. You argue that just because something is new or popular doesn't make it automatically better, and that people should consider and try alternatives before dismissing them as "unmodern".

Relari's Auto Prompt Optimizer uses a data-driven approach to optimize LLM prompts for domain-specific tasks, providing maximum visibility into the optimization process and final results. The optimizer takes a dataset and target metric as input, iteratively mutating the prompt to align with desired outcomes, and can deliver high-quality prompts with as few as 100 data points.

The author argues that not all SaaS products are wrappers, and that some companies add significant value by creating intellectual property and solving real-world problems. The criticism of "GPT wrappers" is that they often add little value and are easily replicable, making them poor business models that rely on a moat provided by the underlying technology.

The VHOOHU will FKRRVH p1 and ELQGLQJ p2, with FRQVWUDLQWV p v 2 1. The VHOOHU will then JHW + - v ( 1 p 1 H * adq dq p ( d.

Grip-grab's gg may be marginally faster than rg due to its lightweight design. It's based on ripgrep crates and aims to provide a minimal version for search integration in other programs.

The author discusses the pros and cons of two mental models for designing end-to-end encryption systems, highlighting the importance of "cryptographic alacrity" in ensuring protocol upgrades and minimizing the risk of stale software being used. The author proposes a solution to this problem by incorporating a Key Derivation Function and a mechanism for enforcing protocol upgrades, allowing ...

The user is looking for alternative RSS readers to replace their current subpar tool, mentioning they use Inoreader and have some issues with it, but love its filtering feature. They have tried various other readers, including Feedly, NetNewsWire, FreshRSS, and others, and are open to recommendations for a good Android client.

The Oyen U34 Bolt storage device delivers high performance, but its actual speed is affected by filesystem transactions and software efficiency. Faster software is needed to take full advantage of the device's speed, and restores from the device are significantly faster than from other storage devices.

Google detected unusual traffic from your computer network, possibly due to malicious software or automated requests. To continue using Google services, solve the CAPTCHA to verify you're a human and not a robot.

Faxlore and xeroxlore refer to humorous texts, folk poetry, and urban legends that are circulated through fax machines and photocopying, often in violation of workplace rules and copyright law. These materials can be harmless, but some have had serious consequences, such as spreading misinformation and leading to lawsuits and civil liberties violations.

The author discusses the concept of "glass beads" in the context of 20th-century intellectual pursuits, including Herman Hesse's novel "The Glass Bead Game" and the development of artificial intelligence, highlighting the shift from abstract to concrete thinking. The author argues that the intersection of abstract and concrete ideas has the power to change the world, citing examples such as ...

Pacesetting leadership is a style that sets high standards and leads by example, driving results and excellence, but it can also lead to burnout and micromanagement if not balanced with periods of rest and reflection. Effective pacesetting leaders know when to push hard and when to slow down, recognizing that not every race is a sprint and that sustainable pacing is crucial for long-term success.

Notan is a portable layer for creating multimedia apps on multiple platforms, including web, with a focus on ergonomics and simplicity. It provides APIs and tools for creating projects without enforcing structure or pattern, and is designed to be modular and flexible for customization.

The "killer poke" on the Commodore PET did not significantly impact sales, as it was a theoretical risk and not a common occurrence. The PET's lack of graphics capability and high price compared to other machines like the VIC-20 and C64 ultimately reduced its sales, making it more of an institutional machine.

The Biden administration's FY2025 Budget Proposal includes a set of tax policy shifts, including proposals to tax unrealized gains, which could redefine high-income tax planning and investment strategies. The proposals aim to ensure tax fairness by bringing unrealized gains under the tax base, targeting high-net-worth individuals and entities, and potentially altering how assets are valued ...

Free kindle book and epub digitized and proofread by volunteers.

Many Linux command-line tools have become outdated, and switching to modern alternatives can improve system security, functionality, and performance. The article highlights 11 obsolete tools, including screen, ifconfig, and telnet, and recommends their modern replacements, such as tmux, ip, and ssh, for better features and capabilities.

Tesla's Optimus robot was showcased at the World Robot Conference in Beijing, but it was motionless and trapped behind glass, unlike other robots that demonstrated various tasks. The company's decision not to do a demo may be due to trade show logistics or the robot's inability to compete with others, rather than a lack of PR department.