|
Reproducible Build
Reproducible builds, also known as deterministic compilation, is a process of compiling software which ensures the resulting binary code can be reproduced. Source code compiled using deterministic compilation will always output the same binary. Reproducible builds can act as part of a chain of trust; the source code can be signed, and deterministic compilation can prove that the binary was compiled from trusted source code. Verified reproducible builds provide a strong countermeasure against attacks where binaries do not match their source code, e.g., because an attacker has inserted malicious code into a binary. This is a relevant attack; attackers sometimes attack binaries but not the source code, e.g., because they can only change the distributed binary or to evade detection since it is the source code that developers normally review and modify. In a survey of 17 experts, reproducible builds had a very high utility rating from 58.8% participants, but also a high-cost rating fr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reproducible Builds Project Logo
Reproducibility, closely related to replicability and repeatability, is a major principle underpinning the scientific method. For the findings of a study to be reproducible means that results obtained by an experiment or an observational study or in a statistical analysis of a data set should be achieved again with a high degree of reliability when the study is replicated. There are different kinds of replication but typically replication studies involve different researchers using the same methodology. Only after one or several such successful replications should a result be recognized as scientific knowledge. History The first to stress the importance of reproducibility in science was the Anglo-Irish chemist Robert Boyle, in England in the 17th century. Boyle's air pump was designed to generate and study vacuum, which at the time was a very controversial concept. Indeed, distinguished philosophers such as René Descartes and Thomas Hobbes denied the very possibility of vacuum e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
GitHub
GitHub () is a Proprietary software, proprietary developer platform that allows developers to create, store, manage, and share their code. It uses Git to provide distributed version control and GitHub itself provides access control, bug tracking system, bug tracking, software feature requests, task management, continuous integration, and wikis for every project. Headquartered in California, GitHub, Inc. has been a subsidiary of Microsoft since 2018. It is commonly used to host open source software development projects. GitHub reported having over 100 million developers and more than 420 million Repository (version control), repositories, including at least 28 million public repositories. It is the world's largest source code host Over five billion developer contributions were made to more than 500 million open source projects in 2024. About Founding The development of the GitHub platform began on October 19, 2005. The site was launched in April 2008 by Tom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arch Linux
Arch Linux () is an Open-source software, open source, rolling release Linux distribution. Arch Linux is kept up-to-date by regularly updating the individual pieces of software that it comprises. Arch Linux is intentionally minimal, and is meant to be configured by the user during installation so they may add only what they require. Arch Linux provides monthly "snapshots" which are used as Optical disc image, installation media. #Pacman, Pacman, a package manager written specifically for Arch Linux, is used to install, remove and update software packages. Additionally, the Arch User Repository (AUR), which is the community-driven repository for Arch Linux provides packages not included in the official repositories and alternative versions of packages; AUR packages can be downloaded and built manually, or installed through an AUR 'helper'. Arch Linux has comprehensive documentation in the form of a community-run wiki known as the ArchWiki. History Inspired by CRUX, another mi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NixOS
NixOS is a free and open-source Linux distribution based on the Nix package manager. NixOS uses an immutable design and an atomic update model. Its use of a declarative configuration system allows reproducibility and portability. NixOS is configured using composable modules, and relies on packages defined in thNixpkgsproject. Package recipes and configurations are written in the purpose-built "Nix language" that ships with the Nix package manager. History Nix began in 2003 as a research project led by Eelco Dolstra, who sought to develop a system for reliable software deployment. This work culminated in Dolstra's Ph.D. thesis, The Purely Functional Software Deployment Model, which proposed a novel approach to declarative, functional software configuration. His research, supervised by Eelco Visser at Utrecht University, laid the theoretical groundwork for Nix. In 2006, NixOS was introduced as part of Armijn Hemel's Master's thesis, which explored applying Nix principles to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tails (operating System)
Tails, or "The Amnesic Incognito Live System", is a Security-focused operating system, security-focused Debian-based Linux distribution aimed at preserving Internet privacy, privacy and anonymity against internet surveillance, surveillance. It connects to the Internet exclusively through the anonymity network Tor (network), Tor. The system is designed to be booted as a live DVD or live USB and never writes to the hard drive or SSD, leaving no digital footprint on the machine unless explicitly told to do so. It can also be run as a virtual machine, with some additional security risks. The Tor Project provided financial support for Tails' development in the beginnings of the project, and continues to do so alongside numerous corporate and anonymous sponsors. History Tails was first released on June 23, 2009. It is the next iteration of development on Incognito (Operating System), Incognito, a discontinued Gentoo Linux, Gentoo-based Linux distribution. The original project was c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Software
Free software, libre software, libreware sometimes known as freedom-respecting software is computer software distributed open-source license, under terms that allow users to run the software for any purpose as well as to study, change, distribute it and any adapted versions. Free software is a matter of liberty, not price; all users are legally free to do what they want with their copies of a free software (including profiting from them) regardless of how much is paid to obtain the program.Selling Free Software (GNU) Computer programs are deemed "free" if they give end-users (not just the developer) ultimate control over the software and, subsequently, over their devices. The right to study and modify a computer program entails that the source code—the preferred ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
F-Droid
F-Droid is a free and open source app store and software repository for Android (operating system), Android, serving a similar function to the Google Play store. The main repository, hosted by the project, contains only free software, free and open source apps. Applications can be browsed, downloaded and installed from the F-Droid website or client app without the need to register an account. "Anti-features" such as advertising, user tracking, or dependence on Proprietary software, non-free software are flagged in app descriptions. The website also offers the source code of applications it hosts, as well as the software running the F-Droid server, allowing anyone to set up their own app repository. History F-Droid was founded by Ciaran Gultnieks in 2010. The client was forked from Aptoide's source code. The project was initially run by the English nonprofit F-Droid Limited. As of 2021, F-Droid Limited was no longer used for donations, and was being shut down, according to s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Software Freedom Conservancy
Software Freedom Conservancy, Inc. (also known as "Conservancy") is an organization that provides a Nonprofit organization, non-profit home, infrastructure support, and legal support for free software, free and open source software projects. The organization was established in 2006, and as of June 2022, had over 40 member projects. History In 2007, Conservancy started coordinating GNU General Public License copyright enforcement, compliance and enforcement actions, primarily for the BusyBox project. In October 2010, Conservancy hired its first executive director, Bradley M. Kuhn and a year later, its first General Counsel, Tony Sebro. In May 2012, Conservancy took on GPL compliance and enforcement for several other member projects, as well as for a number of individual Linux kernel developers. In March 2014, Conservancy appointed Karen Sandler as its Executive Director, with Bradley M. Kuhn taking on the role as Distinguished Technologist. In February 2015, the Outreachy prog ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Debian
Debian () is a free and open-source software, free and open source Linux distribution, developed by the Debian Project, which was established by Ian Murdock in August 1993. Debian is one of the oldest operating systems based on the Linux kernel, and is the basis of List of Linux distributions#Debian-based, many other Linux distributions. As of September 2023, Debian is the second-oldest Linux distribution still in active development: only Slackware is older. The project is coordinated over the Internet by a team of volunteers guided by the List of Debian project leaders, Debian Project Leader and three foundational documents: the Debian Social Contract, the Debian Constitution, and the Debian Free Software Guidelines. In general, Debian has been developed openly and distributed freely according to some of the principles of the GNU Project and Free Software. Because of this, the Free Software Foundation sponsored the project from November 1994 to November 1995. However, Debian ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Citeseer
CiteSeerX (formerly called CiteSeer) is a public search engine and digital library for scientific and academic papers, primarily in the fields of computer and information science. CiteSeer's goal is to improve the dissemination and access of academic and scientific literature. As a non-profit service that can be freely used by anyone, it has been considered part of the open access movement that is attempting to change academic and scientific publishing to allow greater access to scientific literature. CiteSeer freely provided Open Archives Initiative metadata of all indexed documents and links indexed documents when possible to other sources of metadata such as DBLP and the ACM Portal. To promote open data, CiteSeerX shares its data for non-commercial purposes under a Creative Commons license. CiteSeer is considered a predecessor of academic search tools such as Google Scholar and Microsoft Academic Search. CiteSeer-like engines and archives usually only harvest documents fro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tor (anonymity Network)
Tor is a free overlay network for enabling anonymous communication. It is built on free and open-source software run by over seven thousand volunteer-operated relays worldwide, as well as by millions of users who route their Internet traffic via random paths through these relays. Using Tor makes it more difficult to trace a user's Internet activity by preventing any single point on the Internet (other than the user's device) from being able to view both where traffic originated from and where it is ultimately going to at the same time. This conceals a user's location and usage from anyone performing network surveillance or traffic analysis from any such point, protecting the user's freedom and ability to communicate confidentially. History The core principle of Tor, known as onion routing, was developed in the mid-1990s by United States Naval Research Laboratory employees, mathematician Paul Syverson, and computer scientists Michael G. Reed and David Goldschlag, to p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bitcoin
Bitcoin (abbreviation: BTC; Currency symbol, sign: ₿) is the first Decentralized application, decentralized cryptocurrency. Based on a free-market ideology, bitcoin was invented in 2008 when an unknown entity published a white paper under the pseudonym of Satoshi Nakamoto. Use of bitcoin as a currency began in 2009, with the release of its open-source software, open-source implementation. In 2021, Bitcoin in El Salvador, El Salvador adopted it as legal tender. It is mostly seen as an investment and has been described by some scholars as an economic bubble. As bitcoin is pseudonymous, Cryptocurrency and crime, its use by criminals has attracted the attention of regulators, leading to Legality of cryptocurrency by country or territory, its ban by several countries . Bitcoin works through the collaboration of computers, each of which acts as a Node (networking), node in the peer-to-peer bitcoin network. Each node maintains an independent copy of a public distributed ledger of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
