HN user

manchoz

595 karma

Co-Founder and CEO of Trampoline, I'm working hard to bring digital marketing to its next life through Wi-Fi networks.

Mobile Marketing is the magic spell, here.

In past years I've been involved in software development for self-configuring wireless mesh networks at Wi-Next. Previously I hacked LSCube, an open source multimedia streaming platform project at Turin Polytechnic University.

I'm a long-time advocate for Free Software and Open Knowledge movements.

[ my public key: https://keybase.io/manchoz; my proof: https://keybase.io/manchoz/sigs/JsCRfkYeUsxkGEgNVKT8G_o-2MiLkm4zNQjk9P5wEnE ]

Posts50
Comments14
View on HN
github.com 9d ago

Device Context Protocol – Bridge LLM Agents to Physical Devices

manchoz
3pts0
saleae.com 5mo ago

Logic MSO – Oscilloscope with Python Support

manchoz
1pts0
openaircollective.com 6mo ago

OpenAir Collective – The 2026 Carbon Removal Challenge

manchoz
1pts0
blog.arduino.cc 8mo ago

Arduino Terms of Service and Privacy Policy update: setting the record straight

manchoz
108pts88
github.com 1y ago

Arduino Lab for MicroPython 0.20.0

manchoz
1pts0
brodzinski.com 1y ago

The Slacker Manifesto

manchoz
1pts0
www.edgeimpulse.com 1y ago

Qualcomm Acquires Edge Impulse

manchoz
7pts1
salsa.debian.org 1y ago

Minicom 2.10

manchoz
2pts0
www.dday.it 2y ago

Someone has registered the Fritz.box domain and it could be a problem [ITA]

manchoz
1pts0
blog.golioth.io 2y ago

Golioth open-sources Zephyr reference designs for IoT

manchoz
4pts0
en.wikipedia.org 2y ago

Cretto Di Burri

manchoz
3pts0
m0agx.eu 2y ago

Practical comparison of ARM compilers

manchoz
108pts16
www.jetbrains.com 3y ago

IntelliJ Rust

manchoz
150pts61
cwe.mitre.org 3y ago

CWE 2023 Top Most Dangerous Software Weaknesses

manchoz
1pts0
www.digikey.it 3y ago

The [Electronic] Innovation Handbook from Digi-Key

manchoz
2pts0
interrupt.memfault.com 3y ago

Emulating a Raspberry Pi in QEMU

manchoz
2pts0
blog.arduino.cc 3y ago

Portenta C33, first Arduino board with Renesas MCU, available now

manchoz
1pts0
zephyrproject.org 3y ago

Arduino Joins Zephyr Project

manchoz
43pts16
wegotthiscovered.com 3y ago

The only manned sub that could reach the Titan is owned by Steam’s Gabe Newell

manchoz
2pts0
interrupt.memfault.com 3y ago

Measuring Stack Usage the Hard Way

manchoz
1pts0
github.com 3y ago

Minimal cross-platform standalone C headers

manchoz
1pts0
interrupt.memfault.com 3y ago

C++17’s useful features for embedded systems

manchoz
218pts191
minimoogmodeld.com 3y ago

Welcome to the Mini Moog Factory

manchoz
2pts0
www.forbes.com 3y ago

AI-produced, subscription-based, high-tech, recyclable shoes by Philip Stark

manchoz
4pts1
www.feistyduck.com 3y ago

OpenSSL Cookbook Released Under CC By-NC

manchoz
1pts0
thescipub.com 3y ago

On a Proof of Inequality of P vs NP based on Boolean gates

manchoz
1pts1
www.ansa.it 3y ago

San Casciano like Riace, 24 bronzes found under water

manchoz
1pts0
docs.memfault.com 3y ago

Memfault Adds Linux Support

manchoz
2pts0
github.com 3y ago

A 2FA tool for the CLI with system keyring support

manchoz
2pts0
github.com 3y ago

LFBB – A Lock Free Bipartite Buffer Library Written in Standard C11

manchoz
2pts0

The analysis discussed in this study and its previous version is based on a well-known NP-complete problem which is called the "satisfiability problem" or "SAT". From SAT a new NP-complete problem, called "core function", derives; this problem is described by a Boolean function of the number of the clauses of SAT. In this study, a new proof is presented according to which the number of gates of the minimal implementation of core function increases with n exponentially. Since the synthesis of the core function is an NP-complete problem, this result can be considered as the proof of the theorem which states that the class P of all the decision problems which can be solved in polynomial time does not coincide with the class NP of the problems for which an answer can be verified in polynomial time.