Make a deal with Christophe 🇪🇺
🔒 Paid proposals held safely in escrow — released only when the work's approved.
📊 Post engagement
🔥 Top post: Discover Req: an ultra-minimalist requirements engineering tool · 1 likes + reposts
📊 Activity & format
Recent posts
View on Mastodon ↗
LuaX 10 is here.
Simpler than ever:
• no more build options
• faster builds
• still cross-platform
Build on Linux (macOS too), run on Linux, macOS & Windows.
Now bundled with:
• Bang (Ninja-based build system)
• Ypp (text preprocessor)
htt…
La loi Duplomb, c'est encore et toujours non ! https://petitions.assemblee-nationale.fr/initiatives/i-5103
Encore un petit effort !
#duplomb #pétition #poison #démocratie
Design goals:
- Zero friction: header-only, self-compiling C scripts, one-line install
- Safety + liveness: invariants for "never" properties, goals for "eventually" properties
- Multi-path verification: `FROM`/`TO` macros to check reachab…
Classic example: two traffic lights, one safety rule (never two greens at once).
Naive model fails immediately:
light 0: RED → [light_1_green] → GREEN
light 1: RED → [light_0_green] → GREEN
❌ Invariant violated — 2 events, shortest path.
F…
The engine is straightforward:
→ start from the initial state
→ apply every event to every known state
→ check all invariants on each new state
→ repeat until no new state is reachable
→ verify all liveness goals were met at least once
If …
🔬 I released Benelos, a lightweight model checker for C developers.
You describe your system in plain C — state struct, transition functions, invariants, liveness goals — and Benelos does a breadth-first exploration of the full reachable s…
https://c.org/YDsY4WpfCV
La loi Duplomb, c'est encore et toujours non ! https://petitions.assemblee-nationale.fr/initiatives/i-5103
🔧 Tired of juggling YAML, JSON, XML configs across your build pipeline?
Just published a guide to the LuaX ecosystem - 8 specialized dev tools that all share Lua tables as the universal data format.
✨ One config language for:
• Build syste…
I've migrated my Github repositories to #Codeberg => https://codeberg.org/cdsoft
- not US based
- clean and fast interface
- open source
One step closer to eliminating GAFAM ;-)
🐘 Community & instance
💡 Facts
🕵️ Fake follower check
Estimated- Est. 97% real, active audience · Low fake-follower risk.
- Strong engagement (~0.3× of followers engage each post) — an active, real audience.
- Established account (3+ years old).
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →Frequently asked questions
How much does Christophe 🇪🇺 charge for a sponsorship?
How do I contact Christophe 🇪🇺 for a brand deal or collaboration?
How many followers does Christophe 🇪🇺 have?
✉ Message Christophe 🇪🇺
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Christophe 🇪🇺
Booking an event / appearance is a Pro feature. Upgrade to book Christophe 🇪🇺 for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Christophe 🇪🇺 gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.
Auto-generated from Mastodon's public data — no affiliation with or endorsement by SocialDB. Is this you? Claim it · Remove