Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ajxs
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
33 ms
·
391.
▲
by
ajxs
6y ago
Did you read anything in my post? What about the widely held belief that Trump colluded with Russia to influence the 2016 Presidential election? The Meueller report was unable to prove collusion. What if big-tech suddenly banned any claims
392.
▲
by
ajxs
6y ago
> Its an issue of disinformation, not stupidity, that's leading people down the wrong path... You're wrong. The difficulty has always been that the most pervasive so-called 'misinformation' is usually fairly plausible
393.
▲
by
ajxs
6y ago
I always find it disheartening that people see the propagation of 'bad' information on social-media networks as a bigger risk to society than said networks becoming the gatekeepers of all propagated information. The term 'Orw
394.
▲
by
ajxs
6y ago
Here's a fantastic article about the various misuses of XML that I greatly enjoyed: https://www.devever.net/~hl/xml
395.
▲
by
ajxs
6y ago
The article fails to mention Ada's capabilities in the area of formal verification. The 'SPARK' subset of the language is designed explicitly for this purpose. Modern Ada/SPARK also support Rust style 'safe-pointers
396.
▲
by
ajxs
6y ago
I agree with the above sentiment regarding the 'gotophobia'. Still, at a glance it looks like a codebase where lots of care and diligence has been taken in documentation and code presentation.
397.
▲
by
ajxs
6y ago
I've been using NetSurf for a long time now on my Thinkpad when I'm traveling. If I only need to check webmail and read articles NetSurf suffices perfectly, without draining as much battery power as a regular browser.
398.
▲
by
ajxs
6y ago
It would be extremely foolish to think that Facebook is an organisation without its own political agenda. Even this article itself contains an extremely politicised statement from the managing director of Google Australia and New Zealand, c
399.
▲
by
ajxs
6y ago
Lots of the comments here are criticising this decision on the basis of News Corporation's very clear political involvement. While I share their sentiment regarding News Corporation and their blatant partisanship, I would like to highl
400.
▲
by
ajxs
6y ago
The Software engineering and real-time group at the Universidad de Cantabria seem to be pretty well credentialed in this area. They produced a viable RTOS some years ago called MarteOS ( https://marte.unican.es/ ) This is n
401.
▲
by
ajxs
6y ago
What particular concern do you have with the scheduling policy? As I understand it, it's an RTOS for embedded devices. They're most likely just referring to SPARK's formal proofing. As for the STMF4, they're possible ref
402.
▲
by
ajxs
6y ago
It shouldn't be much more work than you've already done, so you should definitely go for it! Maybe even build multi-target support into your assembler, it shouldn't be too difficult. I implemented the framework for this. Inst
403.
▲
by
ajxs
6y ago
Awesome work! Targetting the LC-3 is a great idea. https://github.com/ajxs/ajxs-elf-as I embarked on a similar project a little while ago ( see above ). I attempted to write an assembler targeting the MIPS ISA, and ass
404.
▲
by
ajxs
6y ago
If you have firmware level access to a device like an NIC, you could theoretically circumvent the NIC reporting any network activity at all from your actions. This wouldn't cover external network monitoring of course, but how often do
405.
▲
by
ajxs
6y ago
> ...you don’t necessarily need to believe in the altruism of a corporation to see why their interest in secure computing at lower levels of the stack may actually line up with user’s interests more or less. Of course. We're not tal
406.
▲
by
ajxs
6y ago
Sure. This would seem to imply hardware vendors having prior access to the ME. The vast majority of users don't flash their BIOS with custom firmware, simply using whatever firmware the vendors give them. Users having the ability to in
407.
▲
by
ajxs
6y ago
The points you make in your post are very valid. My post was made in the context of the Intel ME's wide range of invasive capabilities. If your purpose was to perform surveillance on your customers, the ME would grant you even more rea
408.
▲
by
ajxs
6y ago
I'll preface this question with the disclaimer that I'm a true believer in the mission of Coreboot/Libreboot. Playing devil's advocate, if Intel were to release the signing key for the ME, or Intel Boot Guard, wouldn
409.
▲
by
ajxs
6y ago
That's a very interesting interpretation of the situation, and I'll credit it. However I can't help but feel that purposefully affecting an accent like this is inauthentic, and untrue to your real self. I can see your counter
410.
▲
by
ajxs
6y ago
Australian here. This is probably not going to earn me any goodwill for posting, however I feel it needs to be said. I grew up in a very working class area, so I'm familiar with 'broad' Australian accents and culture. The acc
411.
▲
by
ajxs
6y ago
It's worth adding that for foreign viewers that no respectable Australian speaks like this, haha. The train station in the animation is supposed to represent Dapto, which is a lower socio-economic area located a few hours south of Sydn
412.
▲
by
ajxs
6y ago
I'm in my 30s and I grew up in Sydney. I have never ever heard the phrase "fair suck of..." until your post. Mind you, the first time I had ever heard any phrase involving sauce bottles was Rudd's famous usage. Which I
413.
▲
by
ajxs
7y ago
This is amazing! Here's another awesome 256b demo that I love: http://www.pouet.net/prod.php?which=66372
414.
▲
by
ajxs
7y ago
Pardon me if I've misunderstood you. I feel that this line of reasoning that excuses modern Javascript's mistakes on the basis of it being a young language to be spurious. We don't need to engineer new languages that recr
415.
▲
by
ajxs
7y ago
More than once I've heard people use the term 'bondage languages' to describe languages that restrict the developer's ability to create footgun programs. As someone who regularly uses the Ada language, I fully endorse th
416.
▲
by
ajxs
7y ago
I've done some bare-metal development in Ada. It was originally designed for embedded systems, so it has features that fit this niche very well. It's definitely not as simple as C, it has a much more modern design however.
417.
▲
by
ajxs
7y ago
You can use the `-S` switch with gcc to produce the intermediate assembler representation of your C program instead of binary output. From there you can see for yourself what optimisation has been performed and what hand optimisations are p
418.
▲
by
ajxs
7y ago
Linking a static library into your program will increase your binary size, linking to a shared library will not. Smaller binary size is one of the benefits that shared libraries offer. That decision is entirely up to the developer and the p
419.
▲
by
ajxs
7y ago
This is correct. You can forego all aspects of your platform's calling conventions if you so desire. Omitting setting up stack frames is a really simple optimisation that can be done in hand-written assembly. You've already touche
420.
▲
by
ajxs
7y ago
Programs don't have to be particularly large complex to become relatively unweildy and difficult to understand in assembly. I find it takes me much more time to comprehend large portions of written assembly than higher-level languages.
More ›