HNHacker News
TopNewBestAskShowJobs

screcth

97 karma · joined March 24, 2023

submissionscomments
screcth··on The Future of Flatpak
Many companies use RHEL Workstation to run proprietary GUI applications. The application usually runs on RHEL Servers and uses X11 forwarding to show the GUI on the Workstation.

Running the same OS on the client and on the server makes support much simpler. ISVs may not even support more modern OSs like Fedora or Ubuntu.

Those companies don't need an Office Suite as they have Windows machines that can run Microsoft Office. They just need a Linux desktop environment that is easy to use and stays out of the way when accessing the Workstation through VNC.

screcth··on Accents in latent spaces: How AI hears accent strength in English
A very important part of people trusting you is them being able to understand what you say without making extra efforts compared to a native speaker.

An easy way to improve intonation and fluency is to imitate a native speaker. Copying things like the intervocalic T and D is a consequence of that. It would be easier for a native Spanish speaker to say the Spanish /t/ and /d/ but intonation and fluency would be impaired.

The sounds don't "flow" as they should.

screcth··on Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf]
If we consider writing out of bounds to be legal, we make it impossible to reason about the behavior of programs.
screcth··on FFmpeg School of Assembly Language
Can you use the remaining SIMD lanes for processing independent data streams?

Think encoding or decoding non-overlapping parts of a video.

screcth··on iTerm2 critical security release
It implements tmux control mode. It's very useful when working with a remote server.

No other terminal implements it AFAIK.

screcth··on Developing inside a virtual machine
The security team cares about minimizing risks to the company and to their own careers.

Deviating from what everybody else is doing makes it so that the burden of proving that your policies are sane is on you and if anything bad happens your head is the first to roll.

You use CrowdStrike and the company lost millions of dollars due to the outage? That's not your problem, you applied industry standard practices.

You don't use CrowdStrike and the company got hacked? You will have to explain to the executives and the board why you didn't apply industry standard practices and you will be fired.

screcth··on Four limitations of Rust's borrow checker
You can still have use-after-free errors when you use array indices. This can happen if you implement a way to "free" elements stored in the vector. "free" should be interpreted in a wide sense. There's no way for Rust to prevent you from marking an array index as free and later using it.
screcth··on Compromising OpenWrt Supply Chain
Why does an optimizing compiler introduce nondeterminism?

In my mind an optimizing compiler is a pure function that takes source code and produces an object file.

screcth··on Emacs arbitrary code execution and how to avoid it
The problem here is that Emacs is the Elisp interpreter. They are the same thing.

Emacs would have to start another process for Elisp analysis and code completion. That would be a massive reachitecture of the system.

screcth··on The EdTech Revolution Has Failed
It biases results towards people that "studied how to do the test" rather than studying the material that is evaluated.
screcth··on The EdTech Revolution Has Failed
English exams for ESL students are a great example.

Getting good grades in those exams requires that you know the criteria for evaluating each part of the exam and how to tailor your answer to that criteria. For example, if the exam asks you to write a short movie review you are expected to follow the formula for reviews and show that you can use certain specific grammar constructs.

If you know English well but you don't practice the exam before you will get a mediocre grade, simply because you didn't follow the tacit guidelines that you are expected to know.

screcth··on Steam games will need to disclose kernel-level anti-cheat on store pages
I understood that you were making an analogy between installing a piece of hardware and its associated kernel driver with installing a game and its associated kernel anticheat.

When you install a hardware device you are trusting the manufacturer with full access to your machine, so installing a driver does not give them any more powers. You have already "unlocked the door".

When you install a game that runs on user space you are not trusting the vendor nearly as much as you are trusting a hardware manufacturer. Installing a kernel anti cheat is granting them a level of trust and access to your machine that they didn't have before.

screcth··on Steam games will need to disclose kernel-level anti-cheat on store pages
User space is not the same as kernel space.

User space applications can't access hardware or physical memory. They can't bypass permissions enforced by the OS. None of that applies to hardware or kernel drivers.

screcth··on TCP over TCP is a bad idea (2000)
Can't the tunneling software detect when the upper TCP is retransmitting segments and drop them?

That would give the lower TCP enough time to transmit the original segment.

screcth··on Do AI detectors work? Students face false cheating accusations
Well, you could pick only 10% of the class for one on ones. Pick that 10% randomly or based on your intuition on the authenticity of their work.

That threat may be enough to dissuade students from cheating with AI.

screcth··on Linux from Scratch
In my case, I work with proprietary EDA tools. Vendors love messing with LD_LIBRARY_PATH. Chaos ensues when they override a system library or two versions require mutually incompatible versions.

I agree with the comment you are replying to. Having broken my home Linux installs too many times has taught me how to diagnose and fix this sort of issues.

screcth··on Typhoid spreads in Pakistan as antibiotics fail
I don't think that Brazil is on its way to a humanitarian catastrophe.

What makes you say that?

screcth··on Typhoid spreads in Pakistan as antibiotics fail
Do you think that Pakistanis don't know already that their country is poorly run and that their politicians are corrupt and incompetent?

It's pretty condescending to expect a lecture from a foreign government official to be well received and to tell them something they don't already know.

screcth··on Amazon tells employees to return to office five days a week
FAANG pays very well, and money can be exchanged for goods and services.

I know that having benefits like a free bike feels good, but the total compensation you are getting is much lower than that of people that work for big tech and pay for their own transportation.

screcth··on Founder Mode, hackers, and being bored by tech
When Starbucks sells a cup of coffee who makes more money? Starbucks or the coffee farmer?

This is the same thing. Businesses that are closer to the consumer make more money than their suppliers.

screcth··on 1913: When Hitler, Trotsky, Tito, Freud and Stalin all lived in the same place
Life as a rich person in the capital city of an Empire is great.

I doubt that people in conquered territories felt the same way about the Empire.

screcth··on Nanolog supports logging with 7 ns median latency
You could store the current date and time in a global variable and have the producers just read it atomically. The consumer thread would then update it periodically.

Timestamps will be somewhat inaccurate but it may help performance.

screcth··on A road safety plan that will lead to cars communicating with each other
It's really important that drivers can control their car at all times. Software should not override control because it "thinks" that you are making a mistake.

This seems like a recipe for disaster when you are in a situation in which you need to respond quickly to an unexpected circumstance.

screcth··on Defense of Lisp macros: The automotive field as a case in point
Lisp is too powerful and flexible. That's an advantage and a disadvantage.

On the one hand, you can use that power to write elegant programs with great abstractions. One the other hand it's really really easy to create unmaintainable messes full of ad-hoc macros that no-one, not even you next month, will be able to understand.

Even if the program is well-written, it can be a really steep learning curve for junior hires unless it's very well documented and there's support from the original writers available.

Compare it to other languages that limit your ability to express yourself while writing code.

The truth is that most programs are not really interesting and having a code base that can be hacked-on easily by any random programmer that you can hire is a really valuable proposition from the business point of view, and using less powerful languages is a good way to prevent non-experts from making a mess.

screcth··on Mining JIT traces for missing optimizations with Z3
The idea is that the LLM would provide "intuition" to guide the optimizer to find better optimizations, but a formal proof would be necessary to ensure that those optimizations are actually valid.
screcth··on CISA broke into a US federal agency, and no one noticed for a full 5 months
That would be extremely bureaucratic.
screcth··on Zed on Linux Is Here
The problem is that many parts of the ecosystem require that you use the official MS build.

You can't connect to the Marketplace and some extensions outright can't be used with a custom build.

screcth··on Fiwix: Unix-like kernel for the i386 architecture
Because an OS is useless without applications that run on it and POSIX compatibility means that existing software can be ported to it with minimal changes.

If it had a custom interface, then porting large projects would be an enormous undertaking.

screcth··on Sans-IO: The secret to effective Rust for network services
It would be better if the compiler could take the async code and transform it automatically to its sans io equivalent. Doing it manually seems error prone and makes it much harder to understand what the code is doing.
screcth··on HH70, the first high-temperature superconducting Tokamak achieves first plasma
How difficult would it be to use nuclear power to make synthetic hydrocarbons?
Page 1 of 2Next →