The nm command displays symbolic information from object files, libraries, and executables. It’s the standard tool for inspecting what functions and variables are defined or referenced in a static library (.a file). Basic usage List all symbols in a library: nm lib.a This outputs symbol names, but the default format can be hard to parse….
The #trace directive in OCaml’s interactive toplevel (ocaml or utop) logs function calls and returns, showing you exactly what arguments go in and what values come back out. This is invaluable for debugging recursive functions and understanding execution flow. Basic Usage Define a function and enable tracing with #trace: # let rec factorial n =…
There are several reliable methods to generate random strings of a specific length in bash. The choice depends on your character set requirements and use case. Using tr with /dev/urandom The tr command combined with /dev/urandom is the most portable and straightforward approach: tr -dc “[:alpha:]” < /dev/urandom | head -c 10 This produces a…
You can delete cookies from individual sites without clearing your entire browser cache. Here’s how: Via Settings UI Open chrome://settings/privacy in the address bar (or go to Settings > Privacy and security) Click Cookies and other site data Click All cookies and site data Use the search box to find the domain you want to…
Accessing Linux filesystems from Windows is useful when dual-booting, migrating data, or recovering files. Read-only access is essential to prevent accidental corruption of ext4 metadata and data. Why Read-Only Access Matters Ext4 is designed for Linux environments. Windows drivers lack complete understanding of ext4 journaling, extended attributes, and other advanced features. Writing through an incomplete…
When you need to populate PDF forms with large datasets, manual entry becomes impractical. Scripting this process saves time and eliminates human error. Here’s how to automate PDF form filling using Python. Understanding PDF Form Filling PDF forms contain field names that can be programmatically populated. The process typically involves: Identifying field names in your…
If you’ve deactivated and reactivated the Disqus WordPress plugin but it’s still using the old forum ID and configuration, you need to clear the stored settings from your database. This is the most reliable way to force the plugin to re-initialize and prompt you for fresh configuration. Why This Happens WordPress stores plugin configuration in…
Cron is a minimal execution environment. Unlike your interactive shell, cron runs with a stripped-down environment containing only a few variables like PATH, MAILTO, and SHELL. Any variables you’ve defined in your shell profile won’t be available unless you explicitly source them in your crontab entries. The Problem If your cron job depends on environment…
Broken links damage SEO, hurt user experience, and undermine site credibility. Checking for them should be part of your regular maintenance routine. Here’s what’s available in 2026. Online Tools W3C Link Checker (http://validator.w3.org/checklink) remains a solid option for checking individual pages. Point it at a URL and it crawls the page’s links, reporting broken ones…
Installing WordPress in a subdirectory keeps your site root cleaner and makes it easier to manage core files separately from content. Here’s how to configure WordPress so the admin and core files live in /wordpress while the site appears at your domain root. Creating the Subdirectory Structure First, create the WordPress directory and set proper…
SSH is essential for serious shared hosting management — it beats FTP by a mile and gives you real shell access for development, deployment, and automation. Most reputable shared hosting providers support SSH, though availability and implementation vary. Major Providers with SSH Support DreamHost DreamHost has long supported SSH on shared hosting. You’ll need to…
If you’re trying to add a domain to a Dreamhost account and get the error “You can’t add that domain: already in our system,” the domain is already configured for DNS hosting in another Dreamhost account. You need to remove the DNS hosting from the original account before you can host it elsewhere. This process…
MySQL replication lets you maintain synchronized copies of your database across multiple servers. This is essential for high availability, read scaling, and backups. Here’s how to configure it properly. Prerequisites You need at least two MySQL instances: a primary (source) and one or more replicas. Both should run the same or compatible MySQL versions. MySQL…
PuTTY stores session configurations in the Windows Registry. If you’re migrating to a new computer, setting up multiple workstations, or just want a backup, here’s how to export and backup your PuTTY sessions. Export from Windows Registry PuTTY sessions are stored at HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\Sessions. Export them using regedit or the command line: # Export all PuTTY…
Sending sensitive information via email requires careful consideration. Whether you’re sharing financial details, credentials, or confidential documents, there’s no single “secure email” solution that eliminates all risk — you need to match the method to your threat model. Understand the Risk Standard email transmits in plaintext across multiple servers. Even with TLS in transit, your…
[md] When you install Core via opam, the interface files (.mli) are stored in your OPAM switch directory. The exact path depends on your OCaml version and OPAM setup. ## Standard Location The .mli files for Core are located at: ~/.opam/$(ocaml -version | awk ‘{print $NF}’)/lib/core/ where the OCaml version is part of the switch…
Attachments in WordPress are tied to specific posts through a parent-child relationship stored in the database. This matters more than you’d think — attachment metadata, URLs, and admin filtering all depend on that parent assignment. Sometimes you need to reassign an image or document to a different post, whether because of organizational restructuring, post merging,…
WordPress Twenty Thirteen theme shows full post content on archive pages by default. Using excerpts instead keeps archive pages clean and improves page load speed by showing just a summary of each post. Enable Excerpts on Archive Pages Add this to your theme’s functions.php or a custom plugin: function twentythirteen_excerpts_on_archives($content) { if (is_archive() || is_home())…
The OCaml compiler only finds the standard library (List, Array, etc.) by default. Third-party libraries require you to explicitly tell the compiler where to find them. Using ocamlfind The standard approach is ocamlfind, a package manager that tracks installed libraries and their locations. It’s part of the OPAM ecosystem and should already be installed if…
The Jane Street OPAM repository contains specialized OCaml packages and libraries maintained by Jane Street, including their popular Core library and related tools. You’ll need to add this repository to your OPAM configuration to access these packages. Method 1: Clone and Add Locally If you prefer to clone the repository first and add it as…