TeX Side Preview is a Visual Studio Code extension that replicates Overleaf’s side-by-side LaTeX workflow: source on the left, compiled PDF on the right. It recompiles on save (or via a recompile command), preserves scroll position, and uses SyncTeX for two-way navigation - double‑clicking the PDF jumps to the source and a keyboard shortcut jumps from source to the PDF. The preview supports clickable \ref/\cite/\url links, selectable and copyable PDF text, zoom and fit controls, multi-file projects via a %!TEX root magic comment, and visible compile errors that jump to the offending lines. Common shortcuts are provided (Open Preview: Alt+Cmd+V / Ctrl+Alt+V; Jump to PDF: Alt+Cmd+J / Ctrl+Alt+J; Recompile: Cmd+Enter / Ctrl+Enter).
It runs local LaTeX (auto picks latexmk, tectonic or pdflatex) so a compiler must be installed; defaults and engines are configurable (outDir defaults to .texbuild). Two-way Overleaf sync uses Overleaf’s Git integration: cloning requires a token, saves are auto‑committed and pushed after a short delay (default 2s) and pulls occur periodically (default 60s); conflicts open VS Code’s merge UI for resolution. The token is kept in VS Code’s encrypted storage and passed to git only via environment variables; build output is excluded from pushes. Settings, commands, troubleshooting tips and platform install notes are included.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.
Lukáš Lalinský developed zt, a type-safe HTML templating library for Zig, addressing the need for safe, fast, and HTML-like syntax in low-level web development. Inspired by JSX and Templ for Go, zt compiles templates into Zig code, enabling safe and efficient web output without runtime errors or allocations. (lalinsky.com)
AI coding agents generate more code but do not increase overall software output due to bottlenecks in human review. The review process leads to longer revisions and comments, absorbing any efficiency gains from AI tools. (arstechnica.com)
Linus Torvalds is developing a significant update to the Linux kernel using Claude Code. The project aims to enhance kernel performance and functionality. (phoronix.com)
The Reddit post discusses why the bun JavaScript runtime faces dislike among developers. It highlights concerns or issues that lead to negative perceptions of bun. (reddit.com)
Preloop is an agent-native tool that allows GitHub Actions to run locally or on self-hosted microvms with features like debug, pause-on-failure, and step-level retries. It aims to improve local development and troubleshooting for CI workflows. (github.com)
Externalized proofs of cyclic trait implementations are incompatible with Rust's design, making modular proofs the only viable approach. Modular proofs require each implementation to explicitly demonstrate that supertrait obligations are satisfied, ensuring program correctness. (smallcultfollowing.com)
Today's best Hacker News stories, summarized and screenshotted, one email a day.