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

Clojure Error Handling: No Silver Bullet, Only Choices

2024-12-14

Clojure offers a diverse range of error-handling approaches, with no single best practice. The article explores several methods: throwing native exceptions, using `ex-info` for data-carrying exceptions, returning error maps, and utilizing various libraries for more sophisticated error handling flows, such as the `anomalies` library or options like `pact` and `failjure`. The author emphasizes that the choice depends on the specific context and that a mix of approaches can coexist within a single project. Developers are empowered to select the most appropriate solution for their needs; Clojure embraces this freedom.

Read more
(www.daveliepmann.com)
Development error handling

GNU Make's New --shuffle Mode: Uncovering Hidden Bugs in Parallel Builds

2024-12-16

For eleven years, elusive bugs plagued parallel builds in GNU Make. Inspired by this, a new `--shuffle` mode was developed to randomly reorder Makefile targets, simulating non-deterministic build order. This effectively revealed hidden bugs in over 30 packages, including gcc, vim, and ghc. Now part of GNU Make 4.4, this mode is accessible via `make --shuffle` or the `GNUMAKEFLAGS=--shuffle` environment variable. This powerful feature helps developers identify and resolve parallel build issues, highlighting the continuous improvement of software development tools.

Read more
(trofi.github.io)
Development parallel build bug fixing

Fern, a YC-backed Startup, is Hiring a Senior Frontend Engineer

2024-12-14

Fern, a Y Combinator-backed startup, is seeking a Senior Frontend Engineer with a salary of $168,000-$192,000 plus equity. Located in Williamsburg, Brooklyn, NY, this in-person role requires 4+ years of experience in frontend development, proficiency in JavaScript/TypeScript, React, and Next.js. Responsibilities include streamlining developer experience, managing frontend infrastructure, building user-facing features, and fostering strong customer relationships. Fern simplifies API usage and counts Cohere, ElevenLabs, Webflow, and Merge.dev among its clients.

Read more
(www.ycombinator.com)
Development Frontend Engineer

PhD Advisor Automates Writing Improvement with Shell Scripts

2024-12-14

To improve his PhD students' writing, an advisor created three shell scripts to detect passive voice overuse, weasel words, and duplicate words. Integrated into their LaTeX build system, these scripts encourage conscious choices for clarity and precision, rather than blind adherence to grammar rules. The advisor advocates for programmers using automation to combat writing weaknesses and recommends resources like "Style: The Basics of Clarity and Grace".

Read more
(matt.might.net)
Development Shell scripts Technical writing Automation

Breakthrough in Reachability Analysis of the Domain Name System

2024-12-12

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

Microsoft Unveils Phi-4: A Small Language Model Excelling in Complex Reasoning

2024-12-15

Microsoft has introduced Phi-4, a new 14-billion parameter small language model (SLM) that outperforms larger models in complex reasoning tasks, particularly in mathematics, surpassing even Gemini Pro 1.5 on math competition problems. This achievement is attributed to high-quality synthetic and organic datasets and post-training innovations. Currently available on Azure AI Foundry under an MSRLA, Phi-4 will launch on Hugging Face next week. Microsoft emphasizes its commitment to responsible AI development, integrating robust safety features into Phi-4's design and deployment.

Read more
(techcommunity.microsoft.com)
AI small language model complex reasoning

IRATA.ONLINE: Retro Computing Community Gets PLATOTerm Updates

2024-12-14

IRATA.ONLINE, a PLATO-based online service for retro-computing enthusiasts, has released updated versions of its PLATOTerm terminal emulator. Now supporting Atari 8-bit, C64, Amiga, and Android, IRATA.ONLINE offers a multi-user graphical interface, multiplayer games, social features, and a development environment. This platform aims to revive the PLATO system, providing a unique social and development experience for users.

Read more
(irata.online)
Game terminal emulator

Novel Link Between Cell Nutrition and Identity Could Improve Immunotherapies

2024-12-12

Scientists at the Salk Institute have discovered a nutritional switch from acetate to citrate is key in determining T cell fate, shifting them from active effector cells to exhausted ones. Published in Science, the findings reveal that different nutrients alter a cell's gene expression, function, and identity. This groundbreaking research offers new therapeutic targets for immunotherapies, potentially keeping T cells active against chronic diseases. The discovery highlights a direct link between cellular function and nutrition, opening new avenues for treating chronic illness.

Read more
(www.genengnews.com)
AI Immunotherapy T cells Cellular Metabolism

Former Twitter Founder Launches Mozi, a Social App Focused on Offline Connections

2024-12-12

Ev Williams, founder of Twitter and Medium, has launched a new social app called Mozi, aiming to redefine the essence of social interaction. Unlike content-focused social media, Mozi prioritizes helping users build and maintain relationships with people in their real lives. By integrating with users' contact lists, it shows when users and their acquaintances will be in the same location (city or event), facilitating offline meetings. Mozi emphasizes privacy, lacking public profiles and follower counts, aiming to be a private platform promoting genuine social connections.

Read more
(ev.medium.com)
Startup social app relationships privacy

Vercel Launches ƒun: A Local Serverless Function Runtime

2024-12-15

Vercel has released ƒun, a local development runtime for serverless functions, enabling developers to emulate the AWS Lambda environment locally. Supporting various runtimes like Node.js and Python, ƒun allows for quick testing and debugging of serverless functions without cloud deployment. While striving for a close approximation of the real Lambda environment, ƒun has some key differences, notably in process sandboxing and user permissions.

Read more
(github.com)
Development Function Computing Local Development

Revolutionary Idea: Applying Magit Principles to the jj Version Control System

2024-12-13

The author proposes a novel approach: applying the Magit version control interface from Emacs (which uses text files as its UI) to the nascent jj version control ecosystem. The article points out that Magit's text-based UI offers efficiency and portability. By leveraging the LSP protocol, a Magit-like experience can be implemented in various editors, avoiding redundant development. The author envisions generating specific text files (such as .jj/status.jj) and utilizing LSP features like semantic tokens, folding ranges, and goto definition to achieve Magit-like version control operations. The ultimate goal is to create a cross-platform, efficient user interface for jj version control.

Read more
(matklad.github.io)
Development

GitHub Extension Summarizes Hacker News Articles with LLMs

2024-12-12

The `hn-tldr-extension` GitHub project offers a browser extension that uses OpenAI and Anthropic's Large Language Models (LLMs) to quickly summarize Hacker News articles. Users provide their own API keys to enable a 'summarize' button on HN pages, providing concise article summaries. The extension's code is open-source and supports browsers like Firefox.

Read more
(github.com)
Development browser extension large language model

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

Parkinson's Law: Set Deadlines, Boost Efficiency

2024-12-12

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

Raspberry Pi 500 Modder Successfully Adds M.2 Slot

2024-12-15

A Raspberry Pi enthusiast successfully added an M.2 slot to the Raspberry Pi 500! While the Pi 500 has the header, the slot itself is absent, leading to some controversy. The modder soldered on four tiny capacitors and used a bench power supply to power a bottom pad, enabling the use of NVMe SSDs and other PCIe devices. This modification requires excellent SMD soldering skills and has sparked discussion about the Pi 500's design choices; speculation includes reserving the feature for a future premium model.

Read more
(www.jeffgeerling.com)
Hardware Raspberry Pi 500 M.2 slot Hardware Mod

HTMX v2.0.4 Release Notes: Bug Fixes and Improvements

2024-12-14

The HTMX v2.0.4 release notes detail numerous bug fixes and improvements. This release focuses on stability and compatibility enhancements, including fixes for nested shadow root issues, improved `hx-boost` behavior on forms, better support for Web Components and Shadow DOM, and updated extensions for improved performance and reliability. Adjustments to the `htmx.ajax` function and optimizations to `hx-trigger` event handling are also included.

Read more
(github.com)
Development Release Bug Fixes

Taming LLMs: A Practical Guide to Avoiding Pitfalls

2024-12-12

This book, "Taming LLMs," delves into the key limitations and implementation pitfalls encountered by engineers and technical product managers when building LLM-powered applications. Instead of focusing solely on capabilities, it tackles practical challenges such as handling unstructured output, managing context windows, and cost optimization. With reproducible Python code examples and battle-tested open-source tools, it provides a practical guide to navigating these challenges, allowing readers to harness the power of LLMs while sidestepping their inherent limitations.

Read more
(www.souzatharsis.com)
Development Large Language Models Open Source Software LLM Application Development

Farewell to Endless Meetings: A New Approach to High-Velocity Software Development

2024-12-15

Tired of endless meetings and lengthy planning? This article introduces a high-efficiency software development method: code-centric, rapid iteration. The author uses baking as an example to illustrate the concept of achieving the optimal solution through rapid experimentation, frequent testing, and continuous improvement. This method emphasizes reducing documentation, expressing ideas directly in code, using mock data and hot-reloading tools to speed up development, and improving code readability through concise code style and naming conventions. The author advocates breaking down projects into independently executable files, minimizing restart time, and using default language tools for debugging. Although this method may seem like a "chaotic lab," it can efficiently complete projects and avoid the redundancy and inefficiency of traditional methods.

Read more
(mihaiolteanu.me)
Development agile development efficient programming

nCompass: Revolutionizing AI Inference Cost

2024-12-16

nCompass Technologies has developed innovative AI inference serving software that reduces the cost of serving AI models at scale by up to 50%. By utilizing custom AI inference software and a hardware-aware request scheduler with Kubernetes autoscaling, nCompass maintains high-quality service on fewer GPUs, resulting in up to a 4x improvement in response time and significantly reduced GPU infrastructure costs. Users access open-source models via API with no rate limits and receive a $100 signup credit. On-premises solutions are also available for businesses demanding cost-effectiveness and responsiveness.

Read more
(www.ncompass.tech)
AI AI inference cost optimization

Multiple Vulnerabilities in Qualcomm DSP Driver Raise Security Concerns

2024-12-16

Google's Project Zero team discovered six vulnerabilities in a Qualcomm DSP driver, one of which was exploited in the wild. Analysis of kernel panic logs provided by Amnesty International, without access to the exploit sample itself, revealed the flaws. A code review uncovered multiple memory corruption vulnerabilities, including use-after-free and refcount leaks. The attacker likely leveraged these vulnerabilities with inotify_event_info object heap spraying to achieve code execution. This highlights the critical need for improved security in Android's third-party drivers.

Read more
(googleprojectzero.blogspot.com)
Tech Qualcomm DSP driver vulnerabilities

How Big Data Revolutionized the Modern Dairy Cow

2024-12-15

This article chronicles the US dairy industry's transformation into a global leader in cattle genetics, driven by big data and public-private partnerships. Starting with cow-testing cooperatives and the Babcock test, advancements like artificial insemination and cryogenic preservation, culminating in genomic sequencing, dramatically increased milk production. However, this success has led to inbreeding and climate change concerns. The future of dairy genetics requires balancing high yields with sustainability, necessitating industry collaboration and innovation.

Read more
(worksinprogress.co)
Tech Big Data Cattle Genetics Agricultural Technology

Hardware-Level Network Time Security: Netnod's FPGA Implementation of NTS

2024-12-13

Following a 2019 software implementation of Network Time Security (NTS), Netnod has deployed NTS at the hardware level using FPGAs for their NTP and NTS protocols. This hardware implementation offers enhanced security, mitigating side-channel attacks and improving efficiency and scalability. While challenges existed in processing complex NTS packets, Netnod overcame them with a multi-engine parallel processing solution. Their NTS service is now in production.

Read more
(labs.ripe.net)
Hardware network security hardware security

Study: Video Games May Boost Kids' IQ

2024-12-16

A study of nearly 10,000 US children aged 9-10 revealed that kids who spent more time playing video games scored higher on IQ tests. Researchers controlled for genetics and socioeconomic background, finding that increased gaming correlated with better scores in reading comprehension, visual-spatial processing, and cognitive tasks, resulting in a 2.5-point IQ boost on average. While the study focused on US children and didn't differentiate game types, it offers valuable insights, challenging the long-held belief that gaming harms children. Further research is needed to establish causality and explore other contributing factors.

Read more
(www.sciencealert.com)
AI video games children's IQ cognitive abilities

llama.cpp Integrates Qwen2VL Multimodal Model

2024-12-15

The llama.cpp project on GitHub recently merged a pull request adding support for the Qwen2VL multimodal large language model. This model combines a large language model with a vision encoder, enabling processing of both images and text. Integration involves converting the model's LLM part and vision encoder into GGUF format and using a new command-line tool for inference. Future work includes adding support for more backends like MPS and Vulkan.

Read more
(github.com)
AI multimodal

Maps and Fantasy: Unveiling the Secrets of Fictional Geographies

2024-12-14

This article explores the evolution and symbolism of maps in fantasy literature. From Tolkien's "The Hobbit" to "Game of Thrones," maps are more than just geographical guides; they are essential tools for constructing worldviews and shaping cultural identities. The author analyzes common features of fantasy maps, such as vast western oceans and mysterious eastern lands, exploring the cultural and psychological factors behind these features and their relationship to real-world geography, colonial history, and cultural biases. Ultimately, the author argues that the appeal of fantasy maps lies in their unknown aspects and the possibilities they represent beyond reality.

Read more
(longreads.com)
Misc fantasy literature maps cultural symbolism

Displaying Website Content on an E-Ink Display: A Family Tech Solution

2024-12-15

To address the inconvenience of checking the school timetable, the author designed a low-power e-ink display that automatically fetches and displays the school website's timetable. The project overcame challenges of website login and API absence by using Playwright for web scraping, and a server-side application to generate the image, which is then displayed on the e-ink screen. This solution tackles a family's daily problem and showcases the combined application of low-power hardware and web scraping technologies. The project initially explored MicroPython, but ultimately utilized the Arduino library for better reliability and functionality.

Read more
(mfasold.net)
Tech e-ink display low-power

Meta's Byte Latent Transformer (BLT): Outperforming Tokenization-Based LLMs

2024-12-14

Meta AI researchers introduced the Byte Latent Transformer (BLT), a novel large language model architecture that processes bytes directly, rather than tokens. BLT dynamically allocates computational resources based on byte entropy, resulting in significant improvements in inference efficiency and robustness compared to tokenization-based models. Scaling experiments up to 8 billion parameters and 4 terabytes of training data demonstrate BLT's ability to match the performance of token-based LLMs while offering enhanced reasoning capabilities and handling of long-tail data. This research showcases the feasibility of training large-scale models directly on raw bytes without a fixed vocabulary.

Read more
(ai.meta.com)
AI Byte-level Encoding Inference Efficiency

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
1 2 … 48 49 50 52 54 55 56 57