Robert Harper is a prominent computer scientist known for his contributions to programming languages, type systems, and the foundations of computer science. He is a professor at Carnegie Mellon University and has been influential in the development of type theory and functional programming languages. One of his notable works includes his involvement in the design and implementation of the programming languages like "Haskell" and contributions to the development of "ATS," a programming language that combines functional programming with dependent types.
As of my last knowledge update in October 2021, there is no widely-known public figure or topic specifically named "Shawn Bohner." It's possible that he may be a private individual or a person who gained prominence after that date.
Video game researchers are individuals who study various aspects of video games, including their design, development, cultural impact, user experience, and the psychological effects they may have on players. This field of research draws from a range of disciplines such as computer science, psychology, sociology, education, and media studies.
Swiss computer scientists refer to individuals in Switzerland who specialize in the study, development, and application of computer science. Switzerland is home to several prestigious universities and research institutions known for their contributions to various fields of computer science, including artificial intelligence, machine learning, algorithms, data science, cybersecurity, software engineering, and more. Notable Swiss institutions include: 1. **ETH Zurich (Swiss Federal Institute of Technology)** - One of the leading technical universities worldwide, known for its strong engineering and computer science programs.
Charles Geschke was an American computer scientist and co-founder of Adobe Inc., a major software company best known for its products like Adobe Acrobat, Photoshop, and Illustrator. He was born on September 20, 1939, and passed away on April 16, 2021. Geschke, along with John Warnock, started Adobe in December 1982 after developing the PostScript page description language, which revolutionized desktop publishing by allowing for high-quality printing of text and graphics.
Don Norman is a prominent figure in the fields of design, usability, and cognitive science. He is best known for his work on user-centered design and design thinking. Norman is the author of several influential books, including "The Design of Everyday Things," in which he explores how design affects usability and human experience.
Fred Brooks is a renowned computer scientist and software engineer best known for his work in software development and project management. He was born on April 19, 1931. Brooks gained prominence as the project manager for IBM's System/360 and the OS/360 operating system in the 1960s. He is also famous for his influential book "The Mythical Man-Month: Essays on Software Engineering," published in 1975.
"Fermi and Frost" refers to the Fermi Paradox and Frost's theory of the Frost Line in astronomy, but it seems you might be looking for information about either the Fermi Paradox, which questions why we have not yet encountered extraterrestrial life despite the vastness of the universe, or the Frost Line, which is an astronomical boundary in planetary formation and development.
Jeff Dean is a prominent computer scientist and engineer known for his significant contributions to computer science and software engineering, particularly in the areas of distributed systems, machine learning, and artificial intelligence. He is one of the key figures behind several important Google technologies and projects. Dean co-founded Google Brain, a deep learning research team at Google that focuses on artificial intelligence and machine learning.
How to implement Nested set model in SQL:
Originally by Keyhole Inc., which the nbecame Google Maps, but the format seems standardized and has non-Google support, so should be OK.
IDEs are absolutely essential for developing complex software.
The funny thing is that you don't notice this until someone shows it to you. But once you see it, there is not turning back, just like Steve Jobs customers don't know what they want quote.
Unfortunately, after the Fall of Eclipse (archive), the IDE landscape in 2019 is horrible and split between:
  • highly buggy but still feature rich Eclipse
  • many may many other feature lacking options using possibly more trendy and forward lasting implementations like Electron
  • awesome cross-platform proprietary JetBrains IDEs
  • the God-like Windows-only proprietary language-lacking Visual Studio
Programmers of the world: unite! Focus on one IDE, and make it work for all languages and all build systems. Give it all the features that Eclipse has, but none of the bugginess. Work with top project to make sure the IDE works for all top projects.
Projects of the world: support one IDE, with in-tree configuration. Complex integration is often required between the IDE and the build system, and successful projects must to that once for all developers. Either do this, or watch you complex project wither away.
Build tool maintainers: make it possible for IDEs to support your tool! E.g., implement JSON Compilation Database output so that IDEs can read the exact compiler commands from that, in order to automatically determine how files should be parsed! Or better, just use libllvm in your IDE itself as the main parser.
Ciro is evaluating some IDEs at: github.com/cirosantilli/ide-test-projects
Vimium by Ciro Santilli 40 Updated 2025-07-16
Since you can't escape shitty browser GUIs and live in the command line, the next best thing you can do is to bring Vim bindings to your browser :-)
There is one major annoyance: you can't use ESC to leave the address bar focus, but using Tab as a workaround works:
Jitsi by Ciro Santilli 40 Updated 2025-07-16
As of 2020: end-to-end encryption optional and turned off as default, and marked as experimental...
Obviously with the single intention of killing a competitor.
It is impossible to make money off WhatsApp as it is because of end-to-end encryption.
Facebook just clearly bought it to prevent it from actually growing further and killing facebook.
It is mindblowing that the sale wasn't cancelled due to anti trust.
The outcome of this is that WhatApp will remain with the same feature set forever, while other competitors have been growing, notably Discord and Slack.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 2.
    You can publish local OurBigBook lightweight markup files to either https://OurBigBook.com or as a static website
    .
    Figure 3.
    Visual Studio Code extension installation
    .
    Figure 4.
    Visual Studio Code extension tree navigation
    .
    Figure 5.
    Web editor
    . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
    Video 4.
    OurBigBook Visual Studio Code extension editing and navigation demo
    . Source.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact