Latest news about: GitHub
Showing the 10 most recent updates on GitHub in EN.
// HACKER NEWS — CYBERSECURITY
MathCode is a terminal AI coding assistant with a built-in math formalization engine. Give it a math problem in plain language and it will automatically convert it into a Lean 4 theorem and attempt a formal proof — with a persistent Lean REPL, reusable theorem and axiom libraries, agentic proving, a...
// HACKER NEWS — CYBERSECURITY
About a eight weeks ago I had virtually no interest in calculators. Blank, dull, tedious-looking objects that remind me of long, arduous rainy afternoons in 1980’s/1990’s school maths classes.
Fast forward to August 14th, 2026 and I now own not one but two Casio Pocket Computer calculators (importe...
// HACKER NEWS — CYBERSECURITY
Documentation ·
Quickstart ·
Supported tools ·
Command reference ·
Security
Status: macOS-only (Apple Silicon), and still in development.
Your secrets live in plaintext all over your machine: .env files,
~/.aws/credentials, ~/.zshrc exports, .npmrc tokens, MCP configs. Anything
running as you can ...
// HACKER NEWS — CYBERSECURITY
ESP32-based FM radio with TEA5767 tuner, KY-040 rotary encoder, PAM8403 amplifier, and 0.96" OLED display. Custom PCB design.
The project built an FM radio device using the TEA5767 radio module and the Arduino UNO in January 2026. Phase 2 includes designing a compact, custom-designed PCB board with...
// HACKER NEWS — CYBERSECURITY
A simple Android logbook for blood sugar. Free. No account. No internet. Everything stays on the phone.
I built this so I wouldn't have to keep filling in paper forms and notebooks while tracking blood sugar for someone close to me. Anyone in the same situation can use it.
Health numbers are perso...
// HACKER NEWS — CYBERSECURITY
Today we're excited to showcase HEIR, the latest powerful tool added to our Private Computing Toolkit. HEIR is an open source compiler that unlocks cryptographically-secure private AI inference.
As new benefits emerge with the growth of AI, balancing privacy and security is top of mind. Standard pr...
// HACKER NEWS — CYBERSECURITY
I really like personal blogs. I read them for entertainment, learning, and to keep myself updated on the latest trends in software engineering. I prefer to read them in a horizontal position, like on a couch or a deckchair outside in the sun. That explains why I almost never read them on my computer...
// ZDNET — MOBILE & WEB
Follow ZDNET: Add us as a preferred source on Google.
I recently wrote about the problems Gemini has with reliably making hands-free calls. Given that Assistant handled this task with ease and predictability, it's worrisome that Google is set on permanently tossing Assistant aside, without having s...
// HACKER NEWS — CYBERSECURITY
Built so a car can run a bigger driving model. Interesting to the rest of us because you can finally read the firmware on the bridge chip.
George Hotz’s comma.ai shipped something on Wednesday that the external-graphics crowd has been asking for since Thunderbolt 3 made eGPUs a thing: a dock whose ...
// HACKER NEWS — CYBERSECURITY
I’ve always built Sniffnet with a security-first mindset, and today I’m thrilled to announce a major milestone
faithfully aligned with that philosophy: Sniffnet recently took part in the GitHub Secure Open Source Fund!
Backed by industry giants like Microsoft, Stripe, 1Password, and Shopify,
it’s a...