Skip to content

Instantly share code, notes, and snippets.

@mikeknoop
mikeknoop / fast_dps_add_carry.md
Created August 3, 2024 17:58 — forked from VictorTaelin/fast_dps_add_carry.md
Fast Discrete Program Search with HVM Superpositions (SUP nodes) - finding ADD-CARRY

HOC's Fast Discrete Program Search (DPS)

HOC will soon (EOY?) launch an API for our DPS solution. The interface will be simple:

  • You give us a set of examples (input/output pairs)

  • We'll give you a (Python?) function that models it

And that's it. It will be an universal function finder.

@mikeknoop
mikeknoop / examples.js
Created March 21, 2012 05:37 — forked from bryanhelmig/examples.js
EmailPie Samples
// An invalid domain.
// http://emailpie.com/v1/check?email=notreal@example.com
{
"didyoumean": null,
"errors": [
{
"message": "No MX records found for the domain.",
"severity": 7
}