Show HN: Tascli, a simple CLI task and record manager https://ift.tt/7gT1d3s

Show HN: Tascli, a simple CLI task and record manager https://ift.tt/vlB3jAf March 25, 2025 at 12:02AM

Show HN: Formal Verification for Machine Learning Models Using Lean 4 https://ift.tt/ejzlbia

Show HN: Formal Verification for Machine Learning Models Using Lean 4 https://ift.tt/QLpRlth March 24, 2025 at 12:15AM

Show HN: NPM-Audit-to-Report https://ift.tt/N3vnBJk

Show HN: NPM-Audit-to-Report https://ift.tt/dwMNnCu March 23, 2025 at 04:34PM

Show HN: DAPS – Prime-Adaptive Search for Discontinuous Optimization Problems https://ift.tt/cXQBSFG

Show HN: DAPS – Prime-Adaptive Search for Discontinuous Optimization Problems I've been working on a global optimization algorithm that uses prime number-based adaptive grid search. It dynamically adjusts resolution by increasing or decreasing prime numbers as "resolution knobs" — allowing it to handle discontinuities, sharp valleys, and chaotic landscapes better than naive grid search. The repo includes Python and PyTorch-compatible versions, benchmarks against grid search, and a research paper. Would love feedback from optimization, ML, or numerical analysis folks. Curious if anyone sees potential applications or improvements. GitHub: https://ift.tt/ykSGO0Y Paper: https://ift.tt/2max4Mt.... https://ift.tt/ykSGO0Y March 23, 2025 at 11:19AM

Show HN: I build a tool that will tell you what to respond in negotations https://ift.tt/08mPQDN

Show HN: I build a tool that will tell you what to respond in negotations After reading the book Getting to Yes, I really want some tool to help me negotiate more efficiently without having to memorize everything principle. You start by putting in interests of each party, then you can explore different functions: how to respond to the other party, explore objective criteria out there or brainstorm more negotiation options. Still working on it! Leave me feedback if you have any suggestions! https://ift.tt/G4uzdP6 March 23, 2025 at 03:31AM

Show HN: I Made a Language to Be JavaScript's Nanny https://ift.tt/OoW7Qql

Show HN: I Made a Language to Be JavaScript's Nanny I'm working on a language called Chicory. It's yet-another compiles to JS(X) language. I'd value any feedback. See also https://ift.tt/XNZfliQ https://ift.tt/1QoZFmy March 23, 2025 at 01:39AM

Show HN: GoCard – A file-based spaced repetition system built in Go https://ift.tt/IeDU2Xg

Show HN: GoCard – A file-based spaced repetition system built in Go Hi HN! I'm excited to share GoCard, a terminal-based spaced repetition system I built that uses plain Markdown files as its data source. I've always been frustrated with existing spaced repetition tools that lock my knowledge into proprietary formats or require constant internet access. As a developer who lives in terminals and text editors, I wanted something that: 1. Stores cards as plain text files I can edit with any editor 2. Works seamlessly with Git for versioning and sync 3. Runs in a terminal without distractions 4. Has first-class support for code snippets and programming concepts GoCard implements the SM-2 algorithm (the same one used by Anki) but instead of a database, it uses a simple directory structure where: - Each card is a Markdown file with YAML frontmatter - Directories represent decks and subdecks - Everything is editable with standard tools *Key features:* - Distraction-free terminal UI built with BubbleTea - Real-time file watching (edit cards in your editor while reviewing) - Code syntax highlighting for 50+ languages - Vim/Emacs keybindings for efficient navigation - Hierarchical deck organization via directories - Cross-platform (Linux, macOS, Windows) What sets GoCard apart from other SRS tools is its developer-centric approach. Create cards with your favorite editor, organize them with your file manager, version them with Git, and review them in a clean terminal interface. I built this because I wanted a knowledge management system that worked with my developer workflow rather than against it. Making everything file-based means I can apply all my existing text-processing skills and tools. The project is v0.1.0, implemented in Go, and available at: https://ift.tt/BlvT6zj I'd especially appreciate feedback on the UX design and any suggestions for making it more intuitive for terminal users. Has anyone else built similar file-based knowledge tools? What patterns worked well for you? https://ift.tt/BlvT6zj March 23, 2025 at 02:35AM