Tree type Updated +Created
Beta Updated +Created
Rubik's Cube Updated +Created
Computer science Updated +Created
A branch of mathematics that attempts to prove stuff about computers.
Unfortunately, all software engineers already know the answer to the useful theorems though (except perhaps notably for cryptography), e.g. all programmers obviously know that iehter P != NP or that this is unprovable or some other "for all practical purposes practice P != NP", even though they don't have proof.
And 99% of their time, software engineers are not dealing with mathematically formulatable problems anyways, which is sad.
The only useful "computer science" subset every programmer ever needs to know is:
Funnily, due to the formalization of mathematics, mathematics can be seen as a branch of computer science, just like computer science can be seen as a branch of Mathematics!
User mode emulation Updated +Created
User mode emulation refers to the ability of certain emulators to emulate userland code running on top of a specific operating system, usually Linux.
For example, QEMU allows you to run a variety of userland ELF programs directly on it, without an underlying Linux kernel running.
User mode emulation is achieved by implementing system calls and special filesystems such as /dev manually on the emulator one by one.
The general tradeoff is that simulation is less acurate as it may lack certain highly advanced kernel functionality you haven't implemented yet. But it is much easier to run executables with it, and you don't have to wait for boot to finish before running, you just run executables directly from the command line.
DNA repair Updated +Created
Low-density parity-check code Updated +Created
Open source CAD software Updated +Created
Physics journal Updated +Created
The strongest are:
Ciro's Edict #6 Updated +Created
4-polytope Updated +Created
Direct product of groups Updated +Created
DNA replication Updated +Created
Four-day workweek Updated +Created
We need this. The five day week is designed to suck all the mental life of an average mental worker person, and it leaves basically nothing if they "do their job really well".
List of proof assistants Updated +Created
Ludwig Boltzmann Updated +Created
Periodic function Updated +Created
Subgroup Updated +Created
Theorem Updated +Created

Unlisted articles are being shown, click here to show only listed articles.