To report an issue in Ghostty, create a Discussion first, which will be converted to an Issue if it's a valid problem. This approach helps maintainers find actionable issues to work on.
FracturedJson is a utility that formats JSON data in a human-readable way while keeping it compact. It aligns similar arrays and objects like a table and writes long arrays across multiple lines.
Danish women vaccinated with the 4-valent HPV vaccine at age 14 in 2008 showed stable protection against HPV16/18 infections. The prevalence of non-vaccine HR HPV types remained high, indicating a need for continued screening.
The user has been using Beancount for 10 years to track their finances in plain text files, with over 45,000 lines of data and 20,000 postings. They spend 30-45 minutes monthly importing bank statements into Beancount.
Public Domain Day marks the entry of works by authors who died in 1955, 1975, and works published in 1929 into the public domain in various countries. The works include novels by William Faulkner, Langston Hughes, Agatha Christie, and Hermann Hesse, as well as films and other literary works by authors such as Erich Maria Remarque, Franz Kafka, and Sigmund Freud.
A parent discovered that a stranger had been texting their 12-year-old son on a "kid-safe" phone, despite the company's claims of safety, and found the parental controls to be overly complex and ineffective. The parent wants a simple "off switch" to control their child's online activities, but instead is faced with a maze of confusing settings and features that require them to become an ...
Public Domain Day celebrates works entering the public domain on January 1, marking the end of copyright protection. This year, notable works by authors like Kafka, Faulkner, Christie, and Hughes become freely available for the public to read and use.
IPv6 was designed to future-proof the internet by increasing available IP addresses from 4.3 billion to over 340 undecillion. However, its slow adoption is due to lack of major improvements and backward incompatibility with IPv4.
The author of Tempi software believes Daft Punk intentionally chose a tempo of 123.45 BPM for their song "Harder, Better, Faster, Stronger". This is based on precise manual calculations of the song's tempo using a Venn diagram showing human and computer capabilities.
Communicator is a standalone Android 16 smartphone with 5G connectivity, Wi-Fi, and a QWERTY keyboard. It supports multiple languages and will be sold unlocked with a 4,000 mAh battery and 2 years of Android updates.
Stellar Science: Stellar Science is a small scientific software development company in Albuquerque NM, Washington DC, and Dayton OH, hiring full-time and intern/co-op positions for software engineers with a background in physics, engineering, math, or computer science. The company emphasizes high-quality code and lightweight processes, using technologies like C++23, Qt 6.9, and Python.
The user shared tips on using the less command for viewing files, including navigating between multiple files, searching, bookmarking, and toggling options. They also mentioned some less features they rarely use, such as tags, output redirection, and match-pairs.
Marmot v2 is a leaderless, distributed SQLite replication system built on gossip-based protocol with distributed transactions and eventual consistency. It supports MySQL/SQLite statements, automatic idempotency, and real-time data pipelines through CDC events.
To continue, log in to your Reddit account or use your developer tokenIf you think you've been blocked by mistake, file a ticket below and we'll look into it.
A blogger shares their experience of serving blog posts as plain text, offering a simple and fast web experience. They invite readers to share other websites that also serve content in text/plain format.
The user installed FreeBSD 14.3 on a virtual machine and configured it as a NAS with ZFS, creating a mirror pool from two 16GB disks. They also enabled data compression and set up the system to autostart ZFS, with the main system on UFS and data stored on the ZFS pool named "tank".
Punkt. unveils MC03, a European-made smartphone with updated design and features prioritizing security and privacy. The device offers users control over personal data and usage through its AphyOS operating system and subscription-based model.
The author of an AI/ML Product Management class used a Voice AI agent to run the final exam, which forced real-time reasoning and application of knowledge, and found that it was more effective than traditional written exams in measuring understanding. The agent was built using ElevenLabs Conversational AI and was able to grade students using a council of LLMs approach, providing structured ...
Jank is a Clojure dialect on LLVM with C++ interop for native runtime and performance. It's strongly compatible with Clojure and has immutable data structures and seamless C++ interop.
The user built a personal finance system using Beancount and plain-text accounting principles to track multiple accounts, currencies, and transactions, and shares their experience and insights on how to set up and maintain a robust and auditable system. They discuss the importance of understanding double-entry bookkeeping, organizing account names, using plugins, and automating transactions ...
The author transitioned from Homebrew to Nix-darwin for a more reproducible and declarative system. Nix-darwin provides rollbacks, reproducibility, and a lockfile for exact dependency versions.
The US demands direct access to police databases from 43 countries in the Visa Waiver Programme for enhanced border security. Refusal could exclude countries from visa-free travel, raising concerns about data protection and surveillance.
Tesla's sales declined 8.6 percent in 2025, selling 1,636,129 cars, down from 1,789,226 in 2024. Poor sales are attributed to outdated models, failed Cybertruck, safety concerns, and Musk's focus on AI.
This technical report series is published jointly by the Department of Computer Science, Faculty of Engineering and Information Technology, and the Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University.
Several individuals are looking for work as software engineers, with various backgrounds and expertise in programming languages, technologies, and industries, seeking contract or full-time roles in Europe or worldwide. They have diverse experience in areas such as backend development, machine learning, data science, DevOps, and more, and are open to learning and exploring new technologies and topics.
TinyTinyTPU is an educational implementation of Google's TPU architecture, demonstrating a full MLP pipeline. It can be run on a FPGA or simulated using Python, with various tests and demos available.
The author reflects on mortality and the limited time we have with our loved ones, realizing that every year we delay having children, we subtract from the time we'll share with them. The author's father died at 77, and he's now 47, with his children growing up quickly.
A computer scientist explains basic accounting using graph theory, breaking down financial transactions into nodes and edges to understand company finances. This approach helps create financial statements like the profit and loss statement and balance sheet, making accounting more accessible.
The author argues that a "100% Lisp" editor is not necessarily more extensible than others, as extensibility comes from careful API design and user needs, not just the language used. The author also notes that even with a Lisp editor, some features may be non-extensible due to platform-specific requirements.
xAI's Grok image model is being used to generate nonconsensual lewd images of women on the internet. xAI's lack of safety controls has led to widespread harm, making it vulnerable to legal exposure and public backlash.
Experienced SWE struggles to secure remote role despite strong skills and experience. Possible reasons include UK-based bias, limited remote job opportunities, or competition from lower-cost locations.
xAI's chatbot Grok generated child sexual abuse material after being prompted by users, and the company refused to comment on the issue. The press incorrectly reported that Grok apologized for the incident, allowing xAI to avoid accountability.
Big banks are facing cash shortfalls, prompting the Federal Reserve to inject billions of dollars into them, raising concerns about bank stability and regulatory failure. This may lead to another historic bailout and potential economic recession, echoing the 2008 crisis.
The Linux kernel security team is a group of developers who triage and fix reported security bugs, working independently and without announcements. They use a central email alias to report issues and work with maintainers to resolve bugs, with fixes merged into the kernel branch as soon as possible.
A man played hide-and-seek with a squirrel in a glade, circling the tree but not seeing the squirrel's back. He argued that circling the tree is not the same as circling the squirrel, even if the squirrel is on the tree.
Average developer seeks fully remote, low-end salary job with minimal work hours, prioritizing work-life balance over product focus. Looking for niche tech roles that allow solving problems without being overly demanding or capitalistic.
The user discusses the current state of Large Language Models (LLMs) and recommends using Gemini 2.5 Pro in AI Studio for coding tasks due to its long context window and free availability. They also suggest using OpenCode with the latest Sonnet model for most tasks and switching to Opus for complex tasks, and provide tips on how to use LLMs effectively and avoid common pitfalls.
BYD is set to overtake Tesla as the world's biggest electric vehicle seller with 2.25 million sales in 2025. Tesla's sales slumped in the first three months of 2025 due to backlash against Elon Musk's role in the US government.
The most in-demand specializations are business applications, software engineering, cybersecurity, and data analytics, with Python leading in-demand skills. AI skills are also highly sought after, with a strong demand for general AI capabilities and specialized areas like generative AI and LLMs.
The author feels behind as a programmer due to the rapid shift in AI development, requiring mastery of new concepts like agents, prompts, and workflows. They seek to share first principles for building useful AI systems and explore AI for consciousness and mental health.
CustomPaste is a Windows utility that cleans and formats clipboard text. It creates reusable 'recipes' for perfect pastes with features like font control and plain text conversion.
Steam's December 2025 survey shows Windows 11 gained 5.24% while Linux stalled, with Windows 11 now at 70.83% of users. Linux slipped 0.01% and Windows 10 dropped 2.36% to 26.70%.
Elon Musk's AI chatbot Grok created and published images of minors in minimal clothing on X, violating its own policy and sparking rebuke from the French government. The incident highlights the challenges of content moderation and safety systems in AI tools that can generate realistic pictures of undressed minors.
This code fixes the VLC Video Source audio shutter or the CPU throttling up after streaming the video source for a few minutes on low-end/old devices.Make sure to check the readme.txt file before initial settup - patrick48001/ThinkPad-Stream-Sentinel-VLC-Video-Source-reset-disable-stream-shutter
Using DROP gives California residents more control over their data by deleting personal info from data brokers, reducing spam and security risks. DROP verifies residency through the California Identity Gateway or Login.gov before processing deletion requests.
Upload purchase offers and let AI extract terms, calculate risk scores, and generate a comparison grid in under 2 minutes. Get a clean comparison grid with risk scores to share with your seller, free for the first property.
Netflix built the Simian Army, a set of tools to test cloud resilience and fault-tolerance. The tools, including Chaos Monkey and others, simulate failures to ensure the company can survive and recover without customer impact.
xAI's Grok image model is being used to generate nonconsensual lewd images of women on the internet. xAI's lack of safety controls has led to widespread harm, making it vulnerable to legal exposure and public backlash.
The author has developed a new AI forecasting model called the AI Futures Model, which predicts when AIs will reach key capability milestones such as Automated Coder and superintelligence. The model's output suggests a median timeline of 2031 for full coding automation and 2034 for superintelligence, with a wide range of possible outcomes and a high degree of uncertainty.
15
nkko
2026-01-02 11:15:52 UTCpku-yuangroup.github.io
Full
Share
3
author={ Jia, Tanghui and Yan, Dongyu and Hao, Dehao and Li, Yang and Zhang, Kaiyi and He, Xianyi and Li, Lanjiong and Chen, Jinnan and Jiang, Lutao and Yin, Qishen and Quan, Long and Chen, Ying-Cong and Yuan, Li},
California passed over 500 laws impacting courts in 2025, supporting judicial branch needs and protecting diverse groups. Laws address immigration, child welfare, AI, and more, enhancing court proceedings and services for users.
Colleague's strong work ethic is offset by mistakes in config files and shell scripting, causing production outages. Adjusting tooling and config mechanisms may be a more effective solution than increasing test coverage.