Haskell hacker | ACT SES volley | Crypto(graphy: 👍 | currency: 👎) | 🦣@Axman6@infosec.exchange | All views are my own. 🦋https://xitter.cf/t.co/Epa8xNF124

Canberra, Australia
Joined March 2009
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
🎉 Announcing the first release of tricorder, an incremental build tool for Haskell. It works as a standalone replacement for ghcid or ghciwatch, with features that make it stand out: - Multiple component support and auto-discovery out of the box - A daemon that builds in the background and serves as the backend for any number of TUI/CLI sessions, so nothing gets built twice - A TUI with different levels of detail: overview, test failures, full test output - Configurable hotkeys and mouse scrolling But it really shines when pair programming with an LLM agent. The included CLI surfaces build information in a context-aware, reliable way, keeping the feedback loop tight: - `tricorder status --wait` waits until the current build cycle finishes and returns diagnostics: warnings, errors, test results - `tricorder status --expand N` zooms in on a specific diagnostic when more detail is needed - `tricorder source Dependency.ModuleName#functionName` retrieves the source for a function so the agent can verify APIs instead of hallucinating them (omit `#functionName` for the whole module) The CLI is mainly for agents to consume; the familiar TUI is the dashboard for developers. tricorder is fully built in Haskell using the atelier toolkit, built around the structure and ergonomics of algebraic effects. More info & installation: tinyurl.com/dmpc8mbk #Haskell
2
7
35
1,285
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
Volunteer applications for BSides Canberra 2025 are now open! We’re looking for help with regulators (mic running, door management), the Locksport Village, and Hardware Hacking Village. Apply now: forms.gle/yRPbaTmZ6TqP6XjLA Closes in 2 weeks or when full.
1
3
5
770
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
Our Call for Presentations & Events is now open! Got cool research, a fresh exploit, or a unique cybersec insight? Submit your talk & be part of Australia’s biggest hacker con! cfp.bsidescbr.com.au/bsides-…
5
7
1,190
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
Reverse-mode AD in Haskell? It’s not just for machine learning —it's a game-changer for building reliable, high-assurance systems. We break it down in our latest post: 👉 stackbuilders.com/insights/c… #Haskell #FunctionalProgramming #AutomaticDifferentiation #DevInsights
7
1
23
11,664
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
There is a lot of misinformation out there on the internet DC Mike Hunt advises “Please do your research, look at bios/profiles, verify information & don’t just blindly think what you’re reading is true” Together we can beat the scammers & those intent on misleading others! Don’t fall for their tricks, no matter how convincing they may seem
156
115
12
1,630
753,934
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
There's a wild theory going around on X, that @AdrianDittmann is actually a fake persona created by @elonmusk. This theory came to be already around 6 months ago, after which "Adrian" and Elon spoke together at a Space full of Musk fanboys. Short thread. 1/6
309
1,503
269
9,236
6,298,845
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
❗️/1. Russian air defense most likely caused the crash of an Embraer 190 passenger plane during UAV attack on Chechnya: An Embraer 190 passenger plane belonging to Azerbaijan Airlines crashed this morning. 67 passengers of which 5 crew members were on board. 32 people survived the crash. All survivors were in the tail section of the plane. 🧵
1,077
6,592
1,021
40,449
22,401,464
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
Peter Dutton owns $300 million worth of property 1% of people own 25% of all rentals/property investments in Australia. These are the same people that tell you that immigrants are the reason you can’t buy a house.
382
918
57
2,715
86,905
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
175
4,660
86
34,547
825,529
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
I’m heading to @BSidesMelbourne this weekend. Hit me up if you want to know what it’s like competing at pwn2own. If you’re an Aussie good at reverse engineering, code review, and exploitation, consider relocating to Canberra to work at @infosectcbr
3
1
17
3,011
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
Apparently the answer for how AI will make it possible for one person to build a billion dollar company is to start with 3,600 people and an approximate valuation of $150 billion and aggressively prune. Who knew?
Sam Altman says AI will make it possible for one person to build a billion dollar company very soon.
2
4
93
4,105
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
3
14
119
7,592
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
ACT Policing is seeking witnesses & information to multiple incidents at the Gungahlin Cemetery this week, including the theft of items & damage to several grave stones. Call Crime Stoppers with any information about these incidents. Full details: bit.ly/3StmVVz
1
8
2
3,157
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
#BSidesCbr24 Speaker Announcement: "Attacking Hypervisors" by our very own @silviocesare cfp.bsidescbr.com.au/bsides-…
6
1
18
39,639
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
Learn #Haskell with our free video-based Introduction to Haskell course: well-typed.com/intro
1
20
59
3,932
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
I'm looking for work: 12+ years of technical experience 6+ years of Team Lead / EM experience Robust Sustainable Engineering Haskell, Rust, Nix Find my cv at cs-syd.eu/cv DMs are open Please retweet for reach.
4
32
1
73
33,663
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
It took me 3 years of my life to learn Haskell in my spare time, as a Hobbie, and it became one of the wisest decisions of my career. Not only I gained the super power to understand most functional languages, it also shaped my brain in a way that changed forever the way I code…
17
34
7
417
66,145
@Axman6@infosec.exchange🦣|🦋@axman6.bsky.social retweeted
So apparently if someone knows / guesses the name of your S3 bucket - even if it's private (!) - they can just bankrupt you by sending infinite PUT requests and there is nothing you can do about it. > requests get rejected > but AWS still counts it as a write operation against your account for which you have to pay at a rate of $0.005 per 1000 requests This seems insane to me. Especially because a lot of services rely on presigned URLs for uploads / downloads which exposes your bucket name to the client. In this case the author got their bill waved, but AWS support made it clear it's an exception not the rule.
271
1,580
372
9,881
2,186,956