@hackuador

cogito ergo coproduct

github.com/frasertweedale
Joined November 2009
  • Tweets16.3K
  • Following263
  • Followers707
215Media
🐣Early bird ticket sales are closing in less than 2 weeks! ⏰ The Everything Open 2027 ticket prices start from $129. Ticket types: 🎟️ Contributor 🎟️ Professional 🎟️ Hobbyist 🎟️ Student 🎟️ Single Day 🎟️ Online Only 👇
1
2
4
62
🔔 Our Call for Sessions is closing soon! ⏰ The Everything Open 2027 Call for Sessions is now open. 🎟️ Each accepted session will receive one Professional level ticket to attend the conference. 📣 Formats: ⏱️ 45-min Talks ⏱️ 25-min Short Talks 🛠️ 90-min Hands-on Tutorials
1
1
3
77
Three specialist tracks will run alongside the main program: one on each day. 🏛️ Opening the Public Sector Hosted by Sam Hames See how the government and public sector are creating, sharing, using, or supporting open data and open technologies.
1
3
2
77
3 specialist tracks will run alongside the main program. 🔒 Ops and Security in Practice Hosted by Simon Lyall and Danishka Navin The latest technologies, tools, best and emerging practices, and cybersecurity realities for Linux and open technology operations. 👇
1
4
5
83
3 specialist tracks will run alongside the main program: one on each day. 🐧 Kernel Development Hosted by Jeremy Kerr Covering the development of open source kernels (Linux and others): hardware enablement, project updates, roadmaps, processes, infrastructure, sustainability.
2
3
5
96
🗓️ Closes 20 Sept 2026 Submit your proposal today! 👇 2027.everythingopen.au/progr… #EverythingOpen #OpenSource #EverythingOpen2027 #OpenTech #TechCommunity #CallForProposals #Linux #FOSS

Everything Open 2027: Building the Future Together | Specialist Tracks

2027.everythingopen.au
2
39
Since @up_banking’s approach to developer/open-source relations apparently includes deleting relevant community discussion, I’ll share the project directly instead: An unofficial, reverse-engineered SDK + CLI for interacting with your own Up account: github.com/alesya-h/reup

GitHub - alesya-h/reup: CLI for Up bank

CLI for Up bank. Contribute to alesya-h/reup development by creating an account on GitHub.

github.com
2
1
2
245
📢 Call for Sessions NOW OPEN for Everything Open 2027! 🚀 🎁 speakers get a complimentary conference pass! Formats: ⏱️ 45-min Talks ⏱️ 25-min Short Talks 🛠️ 90-min Hands-on Tutorials 🗓️ Closes 6 Sep 2026 (AoE) Submit your proposal today! 👇 2027.everythingopen.au/news/…
1
6
5
301
This is a striking piece of polling, the Greens and One Nation combined getting 48% of the vote for 18 to 34s. This is what it looks like when the major parties fail entire generations of people.
AusPoll
@AusPoll6Apr 19
Federal voting intention (18-34) 🟩 GRN: 28% (+2) 🟥 ALP: 24% (-6) 🟧 ONP: 20% (-1) 🟦 L/NP: 18% (+3) ⬛️ OTH: 10% (+1) DemosAU | 9-14 Apr | n=~500 [subsample from nationwide poll] | +/- 16-20 Feb
23
18
285
19,098
If Britain could harness the power of Horatio Nelson spinning in his grave, it could achieve net zero emissions tomorrow.
Michael A. Arouet
@MichaelAArouetMar 9
Wow, it has been a long way from the British Empire to this. Can you name a bigger downgrade?
8
3
105
3,571
Just cos I’m here. It’s a bit special.
105
142
34
4,507
104,688
"The federal government’s attempts to convince you their policies are solving the housing crisis can only be described as national gaslighting." No word of a lie unfortunately.
Marko Matvikov
@MarkoMatvikov24 Nov 2025
This chart shows social housing construction per 100k people over 60 years. If the federal government’s own target is achieved, they’ll be funding public housing at the same level as we were 30 years ago. Meanwhile, our population has grown over 50% and there’s an existing shortfall while we continue to pump immigration that adds much more to demand than it does to supply capacity. And they’re not even directly building them - they’re so incapable and it takes so long that they’re buying them to achieve their political target, which is basically just shifting some of the overall new supply from private to public. The federal government’s attempts to convince you their policies are solving the housing crisis can only be described as national gaslighting.
12
17
1
177
6,492
Hi Dropbears, hope you're all well. We have dropped this platform sadly in favour of LinkedIn, Bluesky, Instagram, and Infosec exchange. We'll see you there!
1
3
1
636
Nats MP Michael McCormack has once again done his "Melbourne Cup of Politics" mock horse race call in the parliament "Canning [Andrew Hastie] has gone hard and fast, maybe a bit too Hastie" "New England [Barnaby Joyce], maybe changing stables"
30
40
4
312
32,863
I wonder what this function does. flip :: Functor f => f (a -> b) -> a -> f b Wait, no I don't.
1
9
1
27
I have landed my dream job. I’ve just accepted a position at Harmonic, a Palo Alto startup applying AI to formal mathematical reasoning. Harmonic’s Aristotle formal reasoning model achieved Gold Medal level performance at this year’s International Mathematical Olympiad (IMO). I will work on exploring applications of Aristotle to the formal verification of hardware. This job is a perfect intersection of hardware design and verification, functional programming, formal methods and machine learning, bringing together several threads of my career so far. The beauty of asking an AI to generate a proof for a lemma (e.g. a formal property about a circuit) is that it can be checked by an external interactive theorem prover (like Lean) to establish whether the AI’s output is actually correct. This is an awesome superpower! harmonic.fun/ @HarmonicMath

Harmonic

Mathematical Superintelligence

harmonic.fun
176
95
6
2,917
240,579
In this episode, we sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more! Link below:
1
8
67
3,277
Newly obsessed with the oddly foreboding AI Romanian watermelon village. I will be tuning in to the ongoing series (from thegrecu on IG).
102
407
69
6,911
804,103
🚨 Call for sessions extended! You now have until 21 September to get your session proposal in. ✍️ Also, if you need a little help, there will be a writing workshop on 17 September! More information at: 2026.everythingopen.au/news/… #EO2026 #EverythingOpen #conference #openSource
2
76
A popular NPM package got compromised, attackers updated it to run a post-install script that steals secrets But the script is a *prompt* run by the user's installation of Claude Code. This avoids it being detected by tools that analyze code for malware You just got vibepwned
97
672
151
5,643
423,480
Load more