angry_octet

7 ms·

91.
by angry_octet 3mo ago
The obvious step is to use an existing PyPI or email account. So then you take it, by hacking or social engineering, or you buy it, but that means you need money. Taking over an existing dormant PyPI account sounds feasible just with passwo
92.
by angry_octet 3mo ago
Hegseth posturing wasn't over security concerns, it was Anthropic requiring guardrails in employment of their LLMs. Trump admin wants unfettered models, and it's an attempted shake down.
93.
by angry_octet 3mo ago
I'm concerned that slop authors (or their agents) will use bib-audit in the loop, and hence have perfect references, thereby denying a clear signal of low quality research.
94.
by angry_octet 3mo ago
Outrageous that Science is platforming Ioannidis without a mention of his axe-grinding dismissal of COVID risks and outright attempts at intimidation of opponents. He's already burnt his reputation to slag.
95.
by angry_octet 3mo ago
I would say that most companies are just badly run, and blunder along stepping on mines periodically, making no effort to systematically manage risks. The uses for formal methods are often much bigger than verifying pure software components
96.
by angry_octet 3mo ago
No, lots of problems can be expressed in a way that can be verified. But complete verification of an existing implementation is essentially impossible. That doesn't mean that formal techniques are not useful, far from it. For example,
97.
by angry_octet 3mo ago
You are confusing 'enforcing order' with anti democratic supression of speech. A few claps is not disorderly behaviour. There is no conceivable way that the clapping delayed proceedings; in fact, the supression of speech activitie
98.
by angry_octet 3mo ago
This is a bad video, it has been trimmed to just show the police confrontation, and not the alleged offence. Ironically I can't find a non-tiktok source for the longer video, this is from 404media TT but not their website. Lux Claridge
99.
by angry_octet 3mo ago
I suggested something similar in an internal chat, i.e. using AI as a tool to help specify, debug and improve your code, rather than delegating all coding to it, and I think the collective response was essentially 'ok grandpa'. I
100.
by angry_octet 3mo ago
Chip makers would disagree. They use tools that simulate at the electrical circuit level for just such problems, and using massive amounts of testing and inspection to statistically bound variations in chip geometry caused by process variat
101.
by angry_octet 3mo ago
He wasn't being disruptive, and councillors can't redefine behaviour like mild clapping as disruptive. Threatening with trespass shouldn't be an option against someone exercising their rights as a citizen and resident unless
102.
by angry_octet 3mo ago
Maybe for-profit companies shouldn't be gatekeeping core security features in open source products, and should instead deliver value in terms of debugging and performance, that are highly valued by enterprise customers.
103.
by angry_octet 3mo ago
Is a public council meeting a private business meeting? Or in fact a forum for citizens to give input? Is a lone individual, or even a whole room, clapping a speech, disrupting? What law has the individual broken by clapping or speaking? Co
104.
by angry_octet 3mo ago
Oh yes, it is still a better situation. Although C compilers are quite buggy. Since Lean can emit LLVM it might be more achievable to reach performant assembly without going via C. All sorts of interesting work in progress. https:/&#x
105.
by angry_octet 3mo ago
There are plenty of proof systems that can handle floating point? The proof doesn't happen during execution...
106.
by angry_octet 3mo ago
The code generation for Lean is not AFAIK verified in any way. It uses C as a portable assembler, and uses too many fancy C constructs to be compiled by CompCert C, which is the only fully verified compiler. So you can have the strange situ
107.
by angry_octet 3mo ago
The erosion of civil rights in the US right now is shocking. The notion that city councillors should be able to order the detention of a citizen is just bonkers. I hope every one of these councilors is voted out and police need serious pers
108.
by angry_octet 3mo ago
The police testified that they had collected evidence from Kik that his username send the messages. Only he had access to that Kik account, ergo it is him. If that evidence is accepted as factually correct you are cooked. Case closed. Court
109.
by angry_octet 3mo ago
This is Lemire so take it with a big grain of salt. Some notable mathematicians including Fields medalists are not 'aghast'.
110.
by angry_octet 3mo ago
Obviously you should just write the duress pin on the back of the phone inside the case. If the ask what the PIN is for, stand mute. If they enter it, it is their decision.
111.
by angry_octet 3mo ago
I can see exam candidates having mouth inspections in the future.
112.
by angry_octet 3mo ago
You mean, like uncontrolled keys that can be used from anywhere and have no lifecycle care? Well at least SSH keys can't be guessed. Redis suffers from security gatekeeping, where essential features are kept in the paid Enterprise fork
113.
by angry_octet 3mo ago
It's true. The WVR manoeuvring and tactics was the focus of the effort, and DARPA prefers to have short and well defined efforts. But I'm pretty sure the companies are working on techniques for red tactics estimation and behaviour
114.
by angry_octet 3mo ago
The existence of Bitcoin, NFTs, the SpaceX float etc is a great example of HN comments convincing readers to transfer their money to a stranger.
115.
by angry_octet 3mo ago
Sorry but this is simply delusional. We're in an era where creds can be bought in online markets, and redis open source has no default requirement for password complexity. If you can 'shit out endless bugs like this with AFL'
116.
by angry_octet 3mo ago
I agree the local computation can be a win, a MacBook has a crazy amount of compute. Data visualisation from a local PCIe SSD is way faster. With a bit of automation you can work locally, submit big jobs to the remote cluster, and transfer
117.
by angry_octet 3mo ago
Not a help for the VPN part, but I have to 2FA for SSH, with an app or YubiKey, and that would be tedious to set up with multiple shells. With a control channel it's instant login for subsequent shells, sshfs mounts, etc.
118.
by angry_octet 3mo ago
The IRBMs are a huge problem. IRGC is using them sparingly, but they were not destroyed. USAF has actually failed when it comes to 'scud hunt'. It doesn't have the combat ISR or strike capability it needs. As a result, the US
119.
by angry_octet 3mo ago
Using F-15s/A-10s to hunt for Shaheed launchers is inherently susceptible to ambush. They are doctrinally driven to attack the launch teams because of their theory of victory, when intercepting vehicles in flight is much safer. If the
120.
by angry_octet 3mo ago
It would certainly depopulate countries with poor food security, like Egypt and Gulf states. Japan and South Korea probably have the wealth and industry to get import priority, and the UK has short supply lines to Europe. Diets would adapt

More ›