nowfound

Dev tools · June 13, 2026

The A-C Coupling Theorem – Solving Diophantine Systems in O(1)

The A-C Coupling Framework presents a general law for n-dimensional linear Diophantine systems of the form N = Σ cᵢ · xᵢ. Two structural conditions are identified as jointly sufficient for a direct, single-step determination of the minimum starting value A₀ = N mod c₂: Condition one (Foundation): th

The A-C Coupling Theorem – Solving Diophantine Systems in O(1) launched on June 13, 2026 with 5 votes, #2,466 of 22,647 launches that month and more than 75% of that year's launches.

Visit zenodo.org ↗Alternativestop 11% of June 2026

What it does

The A-C Coupling Framework presents a general law for n-dimensional linear Diophantine systems of the form N = Σ cᵢ · xᵢ. Two structural conditions are identified as jointly sufficient for a direct, single-step determination of the minimum starting value A₀ = N mod c₂: Condition one (Foundation): the top coefficient must satisfy c₁ ≡ 1 (mod c₂). This renders the top layer transparent modulo c₂, ma

You are using an outdated browser. Please upgrade your browser to improve your experience. presents a general law for n-dimensional linear Diophantine systems of the form N = Σ cᵢ · xᵢ. Condition one (Foundation): the top coefficient must satisfy c₁ ≡ 1 (mod c₂). This renders the top layer transparent modulo c₂, making the steering value independent of the highest coefficient . Condition two (Chain): the remaining coefficients must form an exact divisibility chain cₙ | cₙ₋₁ | ... | c₂. This guarantees that every remainder at every layer is absorbable without gaps. the euro family (modulus 9, coefficients 19, 9, 3, 3, 1) where A₀ equals the digital root, and the clock…from zenodo.org

Does a similar job

all alternatives →
  • A hash array-mapped trie implementation in C2023 · github.com · ▲171

    Long-simmering side project that is finally ready to see the light. HAMTs are a cool persistent data structure and implementing one has been a lot of fun. Beyond the code, there is likely some value in the extensive and largely complete implementation docs; basic benchmarks are linked in the README, too. Kind of aiming to be "the libavl for HAMTs". That is obviously a high and aspirational bar but a distinct possibility if it stirs up a little interest and/or contribution. Anyways, it's time for this to go out, collect feedback and maybe even some use outside of toy projects. Let me…

  • GI
    Going into freshman year, figured I should build an interpreter2023 · ▲138

    Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D

  • Algebraic Number Theory in Python 32018 · github.com · ▲157

    Algebraic Number Theory package. Contribute to louisabraham/algnuth development by creating an account on GitHub.

  • zkGolf – Competitive optimization of formally verified circuitsJul 2026 · zk.golf · ▲69

    Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over a finite field. Circuits are the assembly language of zk and every constraint costs prover (and sometimes verifier) time, so production circuits are aggressively hand-optimized. Over the last months, we have been experimenting with writing formal specifications instead and letting LLMs produce the circuits: as long as…

  • CP
    Compute Polynomials Twice as FastSep 2026 · thomasahle.com · ▲139

    Evaluate a degree-n polynomial with about n/2 multiplications. Type a polynomial, pick ℚ, ℝ, ℂ, a Mersenne prime or a binary field, and get the preprocessed evaluation chain as math, C code or a circuit — everything runs in your browser.

  • C99 implementation of new O(m log^(2/3) n) shortest path algorithmFeb 2026 · github.com · ▲111

    Experimental C implementation of “Breaking the Sorting Barrier for Directed Single-Source Shortest Paths” by Ran Duan, Jiayi Mao, Xiao Mao, Xinkai Shu, and Longhui Yin (STOC 2025) - danalec/DMMSY-SSSP

More dev tools this month

the category →
  • /dev/null▲490

    a social network for devs

    Dev tools · 4d ago · dev-null.sh

  • open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 28d ago · github.com

  • Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 26d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 24d ago · openbot.run

  • Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

    Dev tools · 14h ago · github.com

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 21d ago · talanoa.email

Source: Show HN post ↗

Launched alongside, June 2026

the whole month →
  • Fundraisly▲1,537

    AI fundraising agent that finds investors and books meetings

    AI · Jun 2026 · fundraisly.com

  • Today, I’m proud to announce Homebrew 6.0.0. The most significant changes since 5.1.0 are a new tap trust security mechanism, the new faster, smaller, default internal Homebrew JSON API, sandboxing on Linux, better defaults informed by our user survey, many brew bundle improvements, improved performance and initial support for macOS 27 (Golden Gate). Happy to discuss any questions here!

    Dev tools · Jun 2026 · brew.sh

  • Hi HN! I was super frustrated at apps like tiktok and wechat preventing me from saving or downloading the animated gifs, so I made a little tool to turn a screen recording into a slack-sized emoji. Hope you get some value from this!

    Life & fun · Jun 2026 · vorpus.github.io

  • Upstream▲976

    The inbox designed for humans and agents

    AI · Jun 2026 · upstream.do

  • Goldfish▲958

    Press Option. It knows your work and replies like you

    AI · Jun 2026 · goldfish.sh

  • Search 18 years of Hacker News and chart how any topic, tool, or person trended. Overlay terms to compare their rise and fall across 45M posts and comments.

    Life & fun · Jun 2026 · hackernewstrends.com