Hacker News Reader

Freewheelinon Formal Verification in Any Language for Everybody (lean 4)

Thanks! This is exactly what I was after for my projects

Freewheelinon NM framework on Karpathy's autoresearch factory

This is great, thanks! Exactly what I needed for the research I'm doing

Freewheelinon Ask HN: Ethical Hacker" or Criminal Scammer?

Extortion is not ethical

Freewheelinon Why Is the Xbox website not working?

I had to hit the clear filter option to see games listed

Freewheelinon The Cannabis Administration and Opportunity Act

Hoping sanity prevails and it gets support and passes

Freewheelinon ACIC believes there's no legitimate reason to use an encrypted communication

I'm fine with ACIC having those three warrant options, since they're still under the watchful eyes of IGIS.

I don't believe AFP should be included directly in this, as we hear of bad apples within the AFP ranks unlawfully accessing various things and disseminating sensitive information often enough to suggest that they, collectively, can't be trusted.

If AFP could request info from ACIC or request ACIC execute warrants on AFPs behalf, I'd be fine with that too, since that sharing of info and warrant execution would still be subjected to IGIS scrutiny.

I don't agree with ACIC claim of law abiding citizens having no legitimate reason to use encrypted communication. ACIC is welcome to all of my communication data, encrypted or otherwise, but I absolutely don't want bad actors having access to it.

I believe the use of E2E is an legitimate application of our government's urging Australians to stay 'cybersafe'.

Freewheelinon Bill aims to halt Bitcoin mining until its environmental impact can be assessed

Like the Australien Government, they blame the consumers of electricity(EVs are bad because they charge from our dirty 19th century generation tech we've ensured most people have to use, like it or not), not the market and ridiculous policies keeping the dirty energy generators at the forefront of the energy market.

Same applies to indoor cannabis growing power consumption.

So utterly and hopelessly dishonest

Freewheelinon Ask HN: How do I surface what’s outside my social media bubble?

Maybe something like https://www.improvethenews.org/ to find relevant news articles from widely varying sources and viewpoints?

Freewheelinon Google's 'experiment' hiding Australian news just shows its inordinate power

Commented in the post linking to the ABC article about it, but I'll post in this thread too, since it's being reported by news outlets somewhat inaccurately.

Searching for 'news' in google in Australia absolutely does not return results without the commercial news sites as most headlines may lead people to believe.

Directly linking to news _articles_ on those news sites may be hidden, but it's an important distinction that nobody appears to be making.

Screenshot of google search for 'news' https://cdn.discordapp.com/attachments/774775322973437974/79...

Freewheelinon Google 'throwing its weight around' by burying links to some news sites

I just typed 'news' into google(in Australia), and said commercial news sites weren't buried or hidden.

Pretty disappointing the distinction between directly linking to news articles on news sites, and the news sites themselves isn't made.

screenshot of it 20 minutes ago.

https://cdn.discordapp.com/attachments/774775322973437974/79...