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
Also find me on 🦣 @axman6@infosec.exchange
Reposted by Axman6
News Corp machine in overdrive, trying to diminish the National Climate Risk Assessment
September 15, 2025 at 6:59 AM
News Corp machine in overdrive, trying to diminish the National Climate Risk Assessment
Reposted by Axman6
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.
Stop disabling copy and paste in password fields.
Sincerely,
Someone with non-human memorable 20+ character passwords generated by a password manager.
January 9, 2025 at 12:47 AM
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.
Stop disabling copy and paste in password fields.
Sincerely,
Someone with non-human memorable 20+ character passwords generated by a password manager.
Reposted by Axman6
This took far too long to make. Merry Crocmas.
December 24, 2024 at 8:51 AM
This took far too long to make. Merry Crocmas.
Reposted by Axman6
heterogeneous `foldl1 (>=>) compilerToolchain source`
December 21, 2024 at 10:59 AM
heterogeneous `foldl1 (>=>) compilerToolchain source`
Reposted by Axman6
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...
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...
December 20, 2024 at 10:33 PM
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...
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...
Reposted by Axman6
Haskell is inscrutable because of category theory terms like addition and multiplication.
December 21, 2024 at 1:55 PM
Haskell is inscrutable because of category theory terms like addition and multiplication.
Reposted by Axman6
Simon, do you know the cost overrun? I am not asking if it did exceeded budget, that’s a given. But do you know the budget vs the final cost please? You’d rate France with a fully established Nuclear business, 3rd ranked by power output in the world behind America and China to do a good a job.
much.you
December 21, 2024 at 12:56 PM
Reposted by Axman6
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.
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.
December 21, 2024 at 11:58 AM
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.
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.
Reposted by Axman6
every company right now:
December 19, 2024 at 7:29 PM
every company right now:
Reposted by Axman6
Yes, but did you consider the fact that the mass murderer had a family? Axman, why is your regard for human life so low? Take it from us—we’re an insurance company, so we’re really good at pretending to care about human life.
December 11, 2024 at 12:37 AM
Yes, but did you consider the fact that the mass murderer had a family? Axman, why is your regard for human life so low? Take it from us—we’re an insurance company, so we’re really good at pretending to care about human life.
Reposted by Axman6
#Exclusive: Peter Dutton's bid to politicise the #CSIRO's analysis of nuclear power is “lazy”, “absurd” and “undermines the scientific process”, a former energy director at the agency says
Peter Dutton’s bid to politicise top science agency is ‘absurd’, former CSIRO energy director says
Glenn Platt says opposition leader’s ‘lazy’ response to report undermines science
www.theguardian.com
December 11, 2024 at 1:07 AM
#Exclusive: Peter Dutton's bid to politicise the #CSIRO's analysis of nuclear power is “lazy”, “absurd” and “undermines the scientific process”, a former energy director at the agency says
Reposted by Axman6
The real manifesto, short and to the point: www.kenklippenstein.com/p/luigis-man...
Luigi's Manifesto
Exclusive: read Luigi Mangione's 262-word manifesto on the killing of UnitedHealthcare CEO
www.kenklippenstein.com
December 10, 2024 at 9:14 PM
The real manifesto, short and to the point: www.kenklippenstein.com/p/luigis-man...
Reposted by Axman6
Lmao they're so scared, this is deranged
December 9, 2024 at 4:36 AM
Lmao they're so scared, this is deranged
Looking for a new #font for your editor but not sure where to start? www.codingfont.com is a pretty fun way to fine what you like. I ended up with "Overpass Mono", loved it on the site, then _hated_ it on VS Code, weird ligatures make it harder to read for some reason. Still fun nonetheless.
www.codingfont.com
December 10, 2024 at 1:03 AM
Looking for a new #font for your editor but not sure where to start? www.codingfont.com is a pretty fun way to fine what you like. I ended up with "Overpass Mono", loved it on the site, then _hated_ it on VS Code, weird ligatures make it harder to read for some reason. Still fun nonetheless.
Reposted by Axman6
"GHC's wasm backend now supports Template Haskell and GHCi" by Cheng Shao
www.tweag.io/blog/2024-11...
#Haskell #WASM
www.tweag.io/blog/2024-11...
#Haskell #WASM
GHC's wasm backend now supports Template Haskell and ghci
A summary of the current support status of Template Haskell and ghci in GHC's wasm backend, explaining how it's implemented and laying out potential future improvements.
www.tweag.io
November 21, 2024 at 11:22 AM
"GHC's wasm backend now supports Template Haskell and GHCi" by Cheng Shao
www.tweag.io/blog/2024-11...
#Haskell #WASM
www.tweag.io/blog/2024-11...
#Haskell #WASM
Hello Bluesky! I doubt I’ll ever be particularly active here, or any social media, but I wanted to ask:
With Twitter users fleeing en masse and bots proliferating, will it become the world’s first social network just for bots?
With Twitter users fleeing en masse and bots proliferating, will it become the world’s first social network just for bots?
December 3, 2024 at 4:29 AM
Hello Bluesky! I doubt I’ll ever be particularly active here, or any social media, but I wanted to ask:
With Twitter users fleeing en masse and bots proliferating, will it become the world’s first social network just for bots?
With Twitter users fleeing en masse and bots proliferating, will it become the world’s first social network just for bots?
Reposted by Axman6
sunday night haskell and biscuits twitch.tv/clementd42
@celinelouvet.bsky.social @rooferz.bsky.social
@celinelouvet.bsky.social @rooferz.bsky.social
clementd42 - Twitch
Biscuit, rust and haskell
twitch.tv
December 1, 2024 at 8:31 PM
sunday night haskell and biscuits twitch.tv/clementd42
@celinelouvet.bsky.social @rooferz.bsky.social
@celinelouvet.bsky.social @rooferz.bsky.social
Reposted by Axman6
I understand the satisfaction of "deleting" your Twitter account but I would not. Clear it if you desire. All your data there is not under your control and gets you nothing except a flag in one version of the data that says deleted. You need to deprive usage of your username and connected contexts.
December 1, 2024 at 9:49 PM
I understand the satisfaction of "deleting" your Twitter account but I would not. Clear it if you desire. All your data there is not under your control and gets you nothing except a flag in one version of the data that says deleted. You need to deprive usage of your username and connected contexts.
Reposted by Axman6
I don’t know who made this graphic but it’s pretty good.
November 14, 2024 at 12:05 AM
I don’t know who made this graphic but it’s pretty good.