Axman6's Avatar

Axman6

@axman6.au

Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler. Also find me on 🦣 @axman6@infosec.exchange

81
Followers
242
Following
50
Posts
19.04.2024
Joined
Posts Following

Latest posts by Axman6 @axman6.au

I was having the same reaction as you. If this garbage has done anything positive, it’s reminded me that Rob Pike isn’t just a creator of Go, but also of some good things too

29.12.2025 09:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Would love to be able to get into the details of why their tech is cool.

Anyway, I love all the pods, they’re top of my VIP list in overcast so I get them right away.

11.12.2025 00:44 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Basically, I want the β€œAdam, let me buy you a beer, let’s talk about cool shit” pod. As someone who works from home, I miss the down in the weeds tech chats I used to have.

Keen to hear your thoughts, I know putting together a new podcast is work, but I also think that plenty of your sponsors…

11.12.2025 00:44 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I want to hear more about the stuff Adam geeks out on - the tech details of the latest global disaster, cool exploits, stories from the past. Tom does a great job with the high level policy implications of the cybersec news, but I’m hankering for the other direction, down in the details.

11.12.2025 00:44 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

@patrick.risky.biz @metlstorm.risky.biz I’ve been thinking for a long time now that there’s a Riskyverse podcast missing - every time Adam talks about a hack or some new exploit, the five min discussion each week is never enough. Have you guys considered the Metl pub chat pod?

11.12.2025 00:44 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

As a software engineer, I also immediately went to lexer, but then as an Australian, it reminded me of the staple alcohol for backyard teenage parties, Fruity Lexia (makes you sexier). That's definitely a proper noun though, goon bags deserve respect.

19.09.2025 00:53 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image Post image Post image Post image

News Corp machine in overdrive, trying to diminish the National Climate Risk Assessment

15.09.2025 06:59 πŸ‘ 104 πŸ” 49 πŸ’¬ 9 πŸ“Œ 6

Thought this was a quote from an alien and was very confused.

12.08.2025 02:27 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

There's hope for America yet.

12.08.2025 02:25 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

So... since you can buy individual pods and the case separately, people who are deaf in one ear can save money by just getting one pod and a case separately.

30.07.2025 05:30 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

You can buy the left, right or case, IIRC the total cost is like $10 more than buying a new pair if you bought all three.

30.07.2025 05:29 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Software engineers of the world, I beg you.

Stop disabling copy and paste in password fields.

Sincerely,

Someone with non-human memorable 20+ character passwords generated by a password manager.

09.01.2025 00:47 πŸ‘ 2134 πŸ” 332 πŸ’¬ 77 πŸ“Œ 33
Preview
serie - A rich git commit graph in your terminal, like magic! A rich git commit graph in your terminal, like magic! - Discover more CLI and TUI tools like serie and much more on Terminal Trove.

I came across Serie terminaltrove.com/serie/ and gitui github.com/extrawurst/g... recently, haven’t had much of a chance to use them but looking forward to when I get back to work.

31.12.2024 00:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail

This took far too long to make. Merry Crocmas.

24.12.2024 08:51 πŸ‘ 363 πŸ” 109 πŸ’¬ 18 πŸ“Œ 13
Video thumbnail

What does it mean for something to be Turing complete?

I answer this question, and more, through a series of fully interactive Turing machine simulations! Play, pause, step forwards and backwards, and even write your own Turing machine programs in my latest blog post.

samwho.dev/turing-machi...

20.12.2024 22:33 πŸ‘ 528 πŸ” 159 πŸ’¬ 23 πŸ“Œ 36

Haskell is inscrutable because of category theory terms like addition and multiplication.

21.12.2024 13:55 πŸ‘ 42 πŸ” 4 πŸ’¬ 6 πŸ“Œ 0

2007 cost estimate: €3.3bn
2020 cost estimate: €19.1bn

bsky.app/profile/glen...

21.12.2024 12:56 πŸ‘ 158 πŸ” 53 πŸ’¬ 10 πŸ“Œ 5
Post image

an hour ago, france connected its first nuclear reactor to the grid this century.

construction was to take 56 months.

timeline:
β€’ decision: 2004
β€’ initial works: 2006
β€’ reactor concrete: 2007
β€’ grid connection: 2024
β€’ commercial operation: 2025Q1

…20+ years end to end.

21.12.2024 11:58 πŸ‘ 960 πŸ” 399 πŸ’¬ 79 πŸ“Œ 25
Post image

every company right now:

19.12.2024 19:29 πŸ‘ 623 πŸ” 128 πŸ’¬ 14 πŸ“Œ 11

So you’ve just given up completely now? Man, facts hit hard hey

17.12.2024 03:46 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

And that’s a problem.

17.12.2024 03:29 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Yes? Were you not paying attention? I wouldn’t be shocked if this is a bot, but their replies are usually higher effort than this nonsense. For the record, I pay about $300 per quarter for electricity, without solar.

17.12.2024 03:14 πŸ‘ 1 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

Or changing one line in your flake.nix.

17.12.2024 00:27 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

ACT

17.12.2024 00:26 πŸ‘ 1 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

I live somewhere that has 100% renewable energy and I’m paying 21Β’/kWh. Renewables shielded us from the unreliable coal plants most of the rest of Australia relies on, and we have the lowest prices in the country.

17.12.2024 00:25 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Time to learn #Haskell and get into #Pandoc

17.12.2024 00:20 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Small correction, Australia has no nuclear power plants, Lucas Heights has never been used for power generation. We have one nuclear reactor.

17.12.2024 00:06 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

This is fake news: the grass wouldn’t still be green with all the water needed.

17.12.2024 00:03 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
GitHub - topgrade-rs/topgrade: Upgrade all the things Upgrade all the things. Contribute to topgrade-rs/topgrade development by creating an account on GitHub.

I just run `topgrade` periodically (github.com/topgrade-rs/...).

I spent this weekend moving to nix-darwin, which now takes care of Homebrew for me, as well as... everything else. Good intro: www.youtube.com/watch?v=Z8BL...

16.12.2024 04:11 πŸ‘ 9 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0