Giter Site home page Giter Site logo

The necessities of the time have accorded to the petty interests of everyday life such overwhelming attention: the deep interests of actuality and the strife respecting these have engrossed all the powers and the forces of the mind — as also the necessary means — to so great an extent, that no place has been left to the higher inward life, the intellectual operations of a purer sort; and the better natures have thus been stunted in their growth, and in great measure sacrificed. Because the spirit of the world was thus occupied, it could not look within and withdraw into itself. - Wilhelm Friedrich Hegel's speech at Heidelberg, on the 28th October, 1816

时代的艰苦使人对日常生活中平凡的琐屑的兴趣予以太大的重视,现实上很高的利益和为了这些利益而作的斗争,曾经大大地占据了精神上一切的能力和力量以及外在手段,因而使得人们没有自由的心情去理会那较高的内心活动和较纯洁的精神活动。以致许多较优秀的人才都为这种艰苦环境所束缚,并且部分地被牺牲在里面。因为世界精神太忙碌于现实,所以它不能转向内心,回复到自身。 ——黑格尔于 1816 年 10 月 28 日在海德堡大学的演讲

DeerRIDER's Projects

emacs-cheatsheet icon emacs-cheatsheet

个人总结比较全面的Emacs快捷键列表。部分快捷键依赖插件。

hott-agda icon hott-agda

Development of homotopy type theory in Agda

jekyllthemes icon jekyllthemes

A directory of the best-looking themes for Jekyll blogs

plai-cn icon plai-cn

Programming Languages: Application and Interpretation

plfa-zh icon plfa-zh

《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版

project-vexed icon project-vexed

A hacker-like, highly-customizable theme for note-keeping, personal-website or CV.

python icon python

All Algorithms implemented in Python

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.