trealira

63 ms·

841.
by trealira 3y ago
> You could pretty easily write an asm port of a basic printf function if one wanted to reuse previously translated strings. In fact, the function for printf used to be implemented in assembly on Unix. In this link, the actual implementa
842.
by trealira 3y ago
I haven't used it, but based on this, it seems good for declaratively solving problems given facts and constraints: https://xmonader.github.io/prolog/2018/12/21/solving-murder-...
843.
by trealira 3y ago
Do we? It seems like there are some people developing Unix clones for fun, and building their own RISC-V or 6502 CPUs. We don't have much innovation in OSes from amateurs, though. At least there's sel4, which is formally proven to
844.
by trealira 3y ago
It seems like many important innovations we use today were derived from first principle. Rust uses algebraic datatypes with ML-style type condtructors and Hindley-Milner type inference to achieve, for example, types like Option<Box<T&
845.
by trealira 3y ago
Side question: what kinds of codebases were those? What products were built on top of decades-old Fortran code? I'm curious.
846.
Why mediocre CS grads may have a harder time getting a good job in the future(craftofcoding.wordpress.com)
4 points by trealira 3y ago|1 comments
847.
by trealira 3y ago
Cutler is against simply committing the code and letting the testers figure out where the defects are; he says that you should do the best you possibly can before giving it to the testers. Not surprisingly, that's exactly what Steve Ma
848.
by trealira 3y ago
Newer languages don't make use of any of those features, to my knowledge. They're only available in assembly, and only on modern processors. Because C was made on and designed for hardware that was crappy even in the 1970s, which
849.
by trealira 3y ago
While staying portable across architectures, probably not. But you can make a little language that's nicer to jse than assembly for a particular CPU. COMFY-65 is a compiler for a small Lisp language that provides all non-branching oper
850.
by trealira 3y ago
There are some performance advantages a garbage collector can have over manual memory management. If you're just calling malloc/free or, in C++, calling new/delete in constructors/destructors (or using a class that does
851.
by trealira 3y ago
Could it be that you have mouse acceleration turned off on Linux? Mouse acceleration makes the mouse pointer move further if you move the mouse faster. It's an option to turn on/off on KDE, and it's the way GNOME is set up un
852.
by trealira 3y ago
The problem is that assembly is CPU dependent. The benefit of a high-level language is that it's CPU architecture independent. For smaller CPUs that can't support all of C's assumptions natively anyway, like the 6502, which c
853.
by trealira 3y ago
>Extern templates have existed since c++11 for that. True, but ar least you don't need to write extern template class SomeTemplateClass<SomeType> in the header, and then explicitly instantiate it in the source. You can just wr
854.
by trealira 3y ago
One good thing that comes from it is that templated code can now go into a module and be compiled only once. Before, you had to put template classes into headers, so you effectively had to recompile, for example, the class std::vector<T&
855.
by trealira 3y ago
Typically, unstructured play is defined as playing without predefined rules or adult guidance, like playing on a playground or drawing pictures. The child is left to their own devices. Structured play has predefined rules; for example, play
856.
by trealira 3y ago
Yeah, and cargo check exists for that very reason. It does type checking without actually compiling the code. Rust-analyzer, the LSP server for Rust, runs `cargo check` whenever the file is saved, IIRC, and then shows you what the compiler
857.
by trealira 3y ago
The IRS budget has been decreasing. As a result, they've been experiencing rates of attrition of their examiners, significantly higher attrition among the examiners who can perform high income audits, which take longer, ranging "f
858.
by trealira 3y ago
>You can't run a national "$5 footlong" or "dollar menu" national ad campaign if some states charge taxes on prepared food and some don't, [...] You can, if you change your prices in every state so that with
859.
by trealira 3y ago
You can read IRS commissioner's, Charles Rettig's, response here: https://www.documentcloud.org/documents/6430680-Document-201... He plainly says that it's because they don't have the resources to c
860.
by trealira 3y ago
My bad; it was CEETA that lobbied for it, the Coalition for Effective and Efficient Tax Administration, of which Microsoft is a member. You can read it in the article posted. ----------------- It was a setback for Microsoft. But as the cour
861.
by trealira 3y ago
It seems they actually do audit the poor disproportionately, and they profess that it's because their funding has been cut over the past nine years: https://www.propublica.org/article/irs-sorry-but-its-just-ea...
862.
by trealira 3y ago
Microsoft sends their own lawyers and lobbyists, influences lawmakers to pass laws barring the IRS from using outside law firms, and that slash the IRS' funding, and this has been happening for years. Hence, you get results like this o
863.
by trealira 3y ago
It's an interesting blog. Their whole idea is that you should focus less on beautiful code, computer science stuff, and superficial things like code formatting; you accomplish more when you focus on the problem domain, and try to accom
864.
by trealira 3y ago
I think the kind of person who checks out programming languages in their free time probably does more coding on their own, so languages that appeal to them are the ones with concise syntax that's easy to type, even if some people find
865.
by trealira 3y ago
> What I really think is that allowing apps carte blanche access to the Internet is just not tenable in 2023. It's a bit analogous to the old MS-DOS days when apps had open unprotected access to all RAM. Outgoing connectivity should
866.
by trealira 3y ago
Never used Swift, but I like the "consume" operator. It's like std::move from C++, except you get a compiler error, rather than C++'s policy of "moved-from objects shall be placed in a valid but unspecified state.&q
867.
by trealira 3y ago
Thanks for letting me know. I looked into it, and apparently it's still even possible to activate on later versions of Windows with registry edits and helper software: https://github.com/valinet/ExplorerPatcher&#x2
868.
by trealira 3y ago
I didn't realize this was a configurable option in Settings. Thanks for letting me know.
869.
by trealira 3y ago
> Scroll wheels and gestures are paging mechanisms, a scrollbar does that as well but it’s also a “take me to the middle of the document” control. IME, only on Linux am I able to click on an arbitrary location beneath or atop the scrollb
870.
by trealira 3y ago
Thanks, that's exactly what I wanted. It did look slightly nicer than the Windows 95 pictures here.

More ›