Mark C. boosted

Well, now I'm back on social media... anyone dropped any 0-dayz whilst I've been gone?

Mark C. boosted
Mark C. boosted
Mark C. boosted

Ok, so I wrote up a quick piece on the spurious and bullshit "dispute" over the Dec 16 crowdstrike D-30.apk blog post. They made a minor error allowing their credibility to be called into question. I provide additional data + analysis to spike that bollocks: medium.com/@thegrugq/voice-of-

throw-back to 'ask the geneticist' - shows that mathematicians aren't the only ones that feel this way.... mastodon.social/media/7bsUB5v8

Mark C. boosted

Mastodon, I2p, Tor, Bitcoin, Zcash, Ricochet, Ring...

The Secure and Decentralised Internet, the rebirth of the Internet that we always talked about that needed to happen "some day", is slowly coming together right in front of our eyes... it's happening \o/

Thanks to all the dedicated cipherpunks

QM and crypto 

Ok, WTF with the 'quantum resistance' claims? They're getting f*cking stupid now.

The problem is this - the claim that there is no quantum efficient algo in existence is the only argument for the 'resistance' of certain algos.

I've explained this to a number of friends in complexity and QC/Computing over Quantum systems - they *ALL* think this argument is BS. It needs fixed.

I have a solution. But it's like a FB rel. status; complicated.

Mark C. boosted

It's kinda weird to think about a social network where businesses own their own presences, rather than relying on a capricious third party service like Twitter or Facebook. Imagine NBC or The Verge running a Mastodon instance for their reporters to toot from, or Bethesda operating an instance for PR and customer support. No more lost business when Facebook changes their algorithms again because they need more money from boosted posts.

Weird, right?

PhD rant and foul lang. 

In other news, I have a PA-unprovable combinatorial thing/object/theorem that shows how relatively simple combinatorial ideas, in this case tilings, can be made to have properties independent of a 'reasonable' theory of arithmetic. Also, I've done it by making the original Domino Problem unprovable in PA in a very obvious sense - still, doesn't feel like a real theorem. Feels like I just pointed out the glaringly obvious... O.o

Show thread

PhD rant and foul lang. 

So, I can't currently reconcile two ways of thinking about hypergraphs and it's driving me up the fucking wall. Trying to fix the lack of existence of results on hypergraph colourings seems a futile task. They split into combinatorially complex objects in an instant.

I'm wondering, too, if there is some new way of thinking about transforms of hypergraphs in an algebraic-topological way; Homologies as colour mappings between pre-coloured graphs. idk.

I think I'm losing it

Mark C. boosted

I am not reading comments on Hacker News because I pretty much remember all the various sentiments from my first "Show HN", and I do not have the energy to also answer questions there

But as others have pointed out, these are all nice problems to have. I am so happy that people are finally using my work at large. <3

Mark C. boosted

graphic images. blood. worker exploitation. 

@DenubisX do you know Peter Wolfendale? He might be more orthogonal to you than I'm expecting.

Mark C. boosted
@maloki @bob 1500$ a month for managing 40000 users + writing the software isn't sufficient financing. Gargron could get 5 times as much in a normal job.
Mark C. boosted

*Takes deep breath, sea breeze*

Had forgotten what it was like to not have brands marketing to you

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!