Using Git Offline

gibbard.me

Some companies use an isolated network or even the complete lack of a network as a security measure to protect from unauthorized access. Working on these systems can be a struggle but it is still possible, and perhaps even more … Read more

Using enums to represent state in Rust

corrode.dev
using-enums-to-represent-state-in-rust

Many Rust beginners with a background in systems programming tend to use bool (or even u8 — an 8-bit unsigned integer type) to represent “state”. For example, how about a bool to indicate whether a user is active or not? … Read more

Using Uninitialized Memory (2008)

research.swtch.com
using-uninitialized-memory-(2008)

This is the story of a clever trick that’s been around for at least 35 years, in which array values can be left uninitialized and then read during normal operations, yet the code behaves correctly no matter what garbage is … Read more

Using lei, b4, and mutt to do kernel development

josefbacik.github.io

Use b4 to apply random patches locally for patch review. Use lei to pull down emails and pathces you care about for all linux kernel mailinglists locally. Use mutt to read that email and respond. Use msmtp for sending email … Read more

Ask HN: Who is using small OS LLMs in production?

news.ycombinator.com

Running llama-2-7b-chat at 8 bit quantization, and completions are essentially at GPT-3.5 levels on a single 4090 using 15gb VRAM. I don’t think most people realize just how small and efficient these models are going to become. One of my … Read more

Using Prolog in Windows NT Network Configuration (1996)

web.archive.org
using-prolog-in-windows-nt-network-configuration-(1996)

Using Prolog in Windows NT Network Configuration The Wayback Machine – https://web.archive.org/web/20030218034509/http://www.research.microsoft.com:80/research/dtg/davidhov/pap.htm David Hovel Microsoft ResearchMicrosoft Corporation Abstract Microsoft’s Windows NT operating system uses an embedded Prolog interpreter to configure its local and wide-area network systems. Interdependent software and hardware … Read more