PeaCoq 是 Coq 的前端,作为一个基于 Web 的文本编辑器,无论是新手还是高级用户,都能轻松使用 PeaCoq。客户端/服务器的架构意味着 PeaCoq 用户只需要一个 Web 浏览器就可以和在服务器上托管的 Coq 进行会话。不过不好的是,这也意味着 PeaCoq 不可以运行在你最喜欢的文本编辑器上。
PeaCoq 最主要的特点就是树模型。每当你进入了一个 proof,界面就会分成这样:
介绍项目 项目难点 flex换行 首行居中,第二行居左怎么实现 iframe优缺点 前端页面优化 事件循环 冒泡排序 数组和链表的区别 diff原理 promise原理 promise.all怎么实现 防抖和节流,应用场景,怎么实现 $nextTick canvas和svg web works 问的还是比较细的 #提前批#
周四下午五点接到邮件面试选时间,看到只有周五可以选,实习结束以后基本没咋准备八股和算法,一面结束直接寄 ---------------------------------------------- 问题 webpack打包轻量化问题,有没有拆包 移动端适配,为什么要写两个页面pc+移动,只写一套页面怎么同时适配移动端和pc 场景题,手撕CSS移动端响应式 js基本类型引申出手撕一个函数判断传入的变
ThinkCMF前端使用的是传统的jQuery技术,使用的核心类库有 jQuery,bootstrap,wind.js,这三个类库是ThinkCMF前后台模板所依赖的核心类库,其它第三方类库均使用 wind.js 异步加载,我们封装了一些常用的组件方便大家快速开发,封装的前台模板组件在 static/js/frontend.js,后台模板组件在 static/js/admin.js, fronte
基础介绍 FastAdmin的前端部分使用或涉及到主要是RequireJS,jQuery,AdminLTE,Bower,Less,CSS,其中 RequireJS主要是用于JS的模块化加载 Bower主要用于管理第三方插件。 Less主要是用于我们编写LESS和编译成CSS代码 在阅读接下来的文档之前最好先简单的了解下RequireJS和Bower,而jQuery是我们必须要掌握的工具库 Fast
细细整理了过去接触过的那些前端技术,发现前端演进是段特别有意思的历史。人们总是在过去就做出未来需要的框架,而现在流行的是过去的过去发明过的。如,响应式设计不得不提到的一个缺点是:他只是将原本在模板层做的事,放到了样式(CSS)层来完成。 复杂度同力一样不会消失,也不会凭空产生,它总是从一个物体转移到另一个物体或一种形式转为另一种形式。 如果六、七年前的移动网络速度和今天一样快,那么直接上的技术就是
这已经是复活面了,之前一面完直接秒挂,这次至少目前还活着。 先是个人介绍,这个面试官比较直接,在我介绍到第一个项目的时候就开始问问题了,后面就直接开始拷打项目了,没让我接着往下讲。不得不说,这个面试官的风格就是极具侵略性,会对着你的一个失误猛攻,有些人可能会慌,我的经验就是平常心对待,反正我就是个正常人,我又不是超人,犯错是很正常的事情罢了。 Vue-Router的几种路由方式 hash模式和hi
一面: 1、自我介绍 2、成绩,考研/保研 3、项目亮点 4、vue最大的优点 5、vue的响应式原理,vue如何监听数据 6、介绍mvvm 7、输入一个url到渲染页面会发生什么 8、哈希表的原理 9、反问 二面: 1、自我介绍 2、成绩 3、项目怎么做的,亮点 4、两道智力题 1)一百盏灯暗着,第一个人拉动所有灯,第二个人拉动编号为2,4,6...的灯,第三个人拉动3,6,9..的灯,求100
一面 1.自我介绍 2.不是计算机相关专业的,怎么想到做计算机 3.问了一个和项目相关的实现逻辑,之前速度慢的问题是在于这个算法吗还是其他东西? 4.react和vue有什么区别 5.diff中key的作用 6.分页拉取数据重复 移动端分页时,如何传递参数去避免切换第二页时出现由于短时间新增问题导致第二页中出现第一页的数据 面试官说这是业界常态问题,有点紧张没想出来,有说用时间来表示但是我说成时间