cookoo
cookoo

One-day Compiler in Ocaml

Happen to find this nice presentation on quickly developing static DSL in OCaml. Here, 'static' means the DSL is processed by a formal compiler as opposed to dynamic DSL such as the fancy metaprogramming in Ruby in runtime. I've been learning OCaml for a while and find it amazing for the elegance, speed and easiness to play with. It's also very good at writing compilers, which I've been long planning to learn thoroughly.

你可能感兴趣的:(html,.net,Scheme,haskell,Ruby)

  • centos7 二进制安装docker和docker-compose(amd64,arch64) 蓝~天~ 容器化脚本dockercentoslinux
    一、优化系统modprobebr_netfiltercat>>/etc/sysctl.conf/etc/systemd/system/docker.service/etc/docker/daemon.json<
  • 如何在网页编辑器中使用KindEditor导入Excel文件？ 2501_90699640 编辑器excelumeditor粘贴wordueditor粘贴wordueditor复制wordueditor上传word图片ueditor导入word
    要求：开源，免费，技术支持编辑器：KindEditor前端：vue2,vue3,react,vue-cli,html5,后端：java,jsp,springboot,asp.net,php,asp,.netcore,.netmvc,.netform功能：导入Word,导入Excel,导入PPT(PowerPoint),导入PDF,复制粘贴word,导入微信公众号内容,web截屏平台：Windows
  • web服务器 恐龙撞击的危机感 服务器运维
    1.web服务器简介www是worldwideweb的缩写，即全球信息广播系统。它通过结合文字、图形、影像和声音等多媒体元素，使用超链接技术，使用户可以通过Internet访问和获取所需的信息。当用户连接到一个www网站时，该网站会提供数据，用户的客户端需要使用浏览器来解析这些数据。2.web服务器的类型（1）静态网页：这些网页是单向的，仅提供信息浏览，不涉及用户与服务器之间的互动。用户可以查看内
  • 关于Markdown编辑器Typora的基本语法使用 秦若 Markdown编辑器使用经验分享
    title:关于Markdown编辑器Typora的基本语法使用date:2022-03-2416:50:49tags:TyporaTypora基本使用1.Markdown相关介绍//Markdown语言Markdown是一种轻量级标记语言，创始人为约翰·格鲁伯（英语：JohnGruber）。它允许人们使用易读易写的纯文本格式编写文档，然后转换成有效的XHTML（或者HTML）文档。由于Markd
  • DeepSeek-V3-0324更新详解与入门指南：从技术突破到实际应用 Tee xm 语言模型
    DeepSeek-V3-0324更新详解与入门指南：从技术突破到实际应用一、更新概述：开源AI的里程碑式升级2025年3月24日，DeepSeek推出的V3-0324版本（参数规模6850亿）虽定位为"小版本迭代"，却在代码能力、推理效率、开源协议三大维度实现跨越式发展。此次更新不仅让开源模型首次达到闭源顶级水平（如Claude3.7Sonnet），更通过MIT协议彻底解除商用限制，标志着AI技术
  • 利用GLUT实现在OpenGL中绘制文本的简单方法 Timidkid OpenGL学习opengl绘制本文
    原文出处：http://blog.csdn.net/happen23/article/details/4642517PS:下文内容对原文内容做了适当的修改和扩充。OpenGL本身不支持字符显示，然后觉得对于简单的一些应用，使用GLUT的库就够了。比如这里我们想要实现的文本绘制：示例代码：//要显示的字符char*str="currentfps=";intn=strlen(str);//设置要在屏幕
  • 2025最新docker教程（八） 嘿rasa 2025最新教程系列docker容器运维
    什么是Dockerfile？Dockerfile是一个用来构建镜像的文本文件，文本内容包含了一条条构建镜像所需的指令和说明。使用Dockerfile定制镜像这里仅讲解如何运行Dockerfile文件来定制一个镜像，具体Dockerfile文件内指令详解，将在下一节中介绍，这里你只要知道构建的流程即可。1、下面定制一个nginx镜像（构建好的镜像内会有一个/usr/share/nginx/html/
  • 解决 Vitis HLS 无法找到源文件的错误 kanhao100 HLSfpga开发c++
    解决VitisHLS无法找到源文件的错误错误分析根据您提供的日志，VitisHLS在执行时遇到了以下关键错误：WARNING:[HLS200-40]Cannotfinddesignfile'resnet18_0325.cpp'WARNING:[HLS200-40]Cannotfindsourcefileresnet18_0325.cpp;skippingit.ERROR:[HLS200-70]Ca
  • opengl绘制文字 huangzhichang13 opengl
    转自网摘http://www.cnblogs.com/mattins/p/4126298.html。没示例程序。增加了两个文件，showline.c,showtext.c。分别为第二个和第三个示例程序的main函数相关部分。在ctbuf.h和textarea.h最开头部分增加了一句#include附件中一共有三个示例程序：第一个，飘动的“曹”字旗。代码为：flag.c,GLee.c,GLee.h第
  • Verilog 中寄存器类型（reg）与线网类型（wire）的区别 千千道 FPGAfpga开发
    目录一、前言二、基本概念与分类1.寄存器类型2.线网类型三、六大核心区别对比四、使用场景深度解析1.寄存器类型的典型应用2.线网类型的典型应用五、常见误区与注意事项1.寄存器≠物理寄存器2.未初始化值陷阱3.SystemVerilog的改进六、总结一、前言在Verilog硬件描述语言中，寄存器类型（RegisterTypes）和线网类型（NetTypes）是两类最基础且容易混淆的变量类型。理解二者
  • “网页编辑器新技能：UMEDITOR的WORD、PDF导入解决方案？“ weixin_52041354 编辑器wordpdfumeditor粘贴wordueditor粘贴wordueditor复制wordueditor上传word图片
    要求：开源，免费，技术支持编辑器：百度ueditor前端：vue2,vue3,vue-cli,react,html5用户体验：Ctrl+V快捷键操作功能：导入Word,导入Excel,导入PPT(PowerPoint),导入PDF,复制粘贴word,导入微信公众号内容,web截屏平台：Windows,macOS,Linux,RedHat,CentOS,Ubuntu,中标麒麟,银河麒麟,统信UOS,
  • 走向数字社会：从Deepseek到群体智慧报告190+份汇总解读|附PDF下载 数据挖掘深度学习人工智能算法
    原文链接：https://tecdat.cn/?p=412621943年麦卡洛克构建首个神经元数学模型时，或许未曾预见这场技术演进将重塑人类文明。技术迭代的脉络清晰可循：符号主义时期（1956-1980）以知识表示和逻辑推理为核心，早期专家系统需手动编写数万条规则库；联结主义阶段（2012-2018）卷积神经网络在ImageNet挑战赛实现16%的错误率突破，参数规模首次突破千万级。\本报告汇总洞
  • 给Web开发者的HarmonyOS指南01-文本样式
    给Web开发者的HarmonyOS指南01-文本样式本系列教程适合HarmonyOS初学者，为那些熟悉用HTML与CSS语法的Web前端开发者准备的。本系列教程会将HTML/CSS代码片段替换为等价的HarmonyOS/ArkUI代码。页面结构HTML与ArkUI在Web开发中，HTML文档结构由、和等标签组成，其中标签包含了页面中所有可见的内容。而在HarmonyOS的ArkUI框架中，使用@E
  • echarts vue 酷炫图_Vue怎么使用Echarts创建图表 正直boy echartsvue酷炫图
    摘要：在后台管理系统中，我们经常会遇到图表，比如说：柱形图，饼状图，折线图，雷达图等等，而用来写图表插件有很多，我这里主要介绍Echarts在项目里怎么使用，官网地址如下：https://echarts.baidu.com/index.html，详细信息请阅览他们的官网文档和实例，各种图表都比较完善。本文流程：1.安装插件2.引入Echarts3.创建图表4.修改样式5.接入数据一.安装插件方法一
  • Python Eel 与 Remi、NiceGUI 的区别：选择合适的库来创建 Web 界面 scoone python前端开发语言
    在Python社区中，有几个库可以帮助开发者快速创建基于Web的用户界面，其中PythonEel、Remi和NiceGUI是比较受欢迎的几个。本文将对比这三者的主要区别，帮助您根据项目需求选择最合适的库。PythonEel目的Eel的目标是简化将Python脚本转换为完整Web应用程序的过程。使用方式允许使用HTML/CSS/JavaScript创建前端，Python作为后端。提供简单的路由系统，
  • 树形弹窗选择框/vue2/Element/弹框选择 八万鸡米花 vue.js前端javascriptelementui
    前言此类选择器根据vue+elementUI实现，使用vue3的可以根据此案例稍作改动即可实现，主要功能有弹出选择、搜索过滤、搜索结果高亮等，此选择器只支持单选，如需多选可在此基础进行改造。效果图代码实现使用时，props-value必须要传，并且要保证其唯一性！！！HTML（{{data[props.children].length}}）清空JSexportdefault{props:{valu
  • Element树型下拉框/vue2树型下拉框/TreeSelect/树型下拉 八万鸡米花 vue.js前端javascriptelementui
    前言今天小谭要给大家分享的是基于elementui的下拉框和树型控件二次分装的树型下拉框，elementplus新增了这一组件，但是对于还在使用vue2的我来说，就很不友好。组件可以实现单选和多选，以及其他常用功能，废话不多说，直接上效果图：代码实现效果图如上，接下来实现代码：使用时，props-value必须要传，并且要保证其唯一性！！！HTMl：{{data[props.label]}}（{{
  • k8s kubernetes dashboard一直CarshLoopBackoff 林润庚 后端kubernetes容器云原生
    使用kubectlgetpods-A-owide发现pod一直CarshLoopBackoff通过kubectldescribepodkubernetes-dashboard-7c4f8ff86d-7k7bd-nkubernetes-dashboard获取详细信息发现一直报错WarningUnhealthy10m(x31over34m)kubeletLivenessprobefailed:Get"
  • “百度UM编辑器能否支持粘贴WORD文档并自动上传图片？“ 2501_90646763 umeditor粘贴wordueditor粘贴wordueditor复制wordueditor上传word图片ueditor导入wordueditor导入pdfueditor导入ppt
    要求：开源，免费，技术支持编辑器：百度ueditor前端：vue2,vue3,vue-cli,react,html5用户体验：Ctrl+V快捷键操作功能：导入Word,导入Excel,导入PPT(PowerPoint),导入PDF,复制粘贴word,导入微信公众号内容,web截屏平台：Windows,macOS,Linux,RedHat,CentOS,Ubuntu,中标麒麟,银河麒麟,统信UOS,
  • “百度富文本编辑器（UMEDITOR）如何高效导入WORD内容？“ 2501_90646449 umeditor粘贴wordueditor粘贴wordueditor复制wordueditor上传word图片ueditor导入wordueditor导入pdfueditor导入ppt
    要求：开源，免费，技术支持编辑器：百度ueditor前端：vue2,vue3,vue-cli,react,html5用户体验：Ctrl+V快捷键操作功能：导入Word,导入Excel,导入PPT(PowerPoint),导入PDF,复制粘贴word,导入微信公众号内容,web截屏平台：Windows,macOS,Linux,RedHat,CentOS,Ubuntu,中标麒麟,银河麒麟,统信UOS,
  • “如何通过UMEDITOR将WORD文档中的图片无缝复制到网页？“ 2501_90646449 umeditor粘贴wordueditor粘贴wordueditor复制wordueditor上传word图片ueditor导入wordueditor导入pdfueditor导入ppt
    要求：开源，免费，技术支持编辑器：百度ueditor前端：vue2,vue3,vue-cli,react,html5用户体验：Ctrl+V快捷键操作功能：导入Word,导入Excel,导入PPT(PowerPoint),导入PDF,复制粘贴word,导入微信公众号内容,web截屏平台：Windows,macOS,Linux,RedHat,CentOS,Ubuntu,中标麒麟,银河麒麟,统信UOS,
  • 使用Python+Flask开发博客项目，并实现内网穿透_flask框架内网攻击 2401_84182428 程序员pythonflask数据库
    ifrequest.method=='GET':returnrender_template('login.html')elifrequest.method=='POST':username=request.form.get('username')password=request.form.get('password')user=User.query.filter_by(username=usern
  • CSS 尺寸 (Dimension) wjs2024 开发语言
    CSS尺寸(Dimension)在网页设计中，CSS（层叠样式表）的尺寸属性是控制元素大小和位置的关键。本文将详细介绍CSS尺寸相关的概念、属性及其应用。1.CSS尺寸概述CSS尺寸主要包括宽度和高度，这些属性可以应用于各种HTML元素，如div、p、img等。通过合理设置尺寸，可以使网页布局更加美观、合理。2.CSS宽度和高度属性2.1宽度（Width）宽度属性用于设置元素的宽度。以下是一些常用
  • 第十五章 | Layer2、Rollup 与 ZK 技术实战解析 白马区块Crypto100 区块链智能合约soliditypythonweb3
    第十五章|Layer2、Rollup与ZK技术实战解析——构建下一代高性能区块链应用，从Solidity到zkSync！✅本章导读Layer2和零知识证明（ZK）正成为区块链发展的核心方向。随着主网Gas居高不下、TPS无法满足需求，越来越多的项目和开发者开始部署在Layer2Rollup上（如zkSync、StarkNet、Arbitrum、Optimism）。本章将从开发者视角，讲清楚：Lay
  • 程序员周树人的狂人日记Part16__职场关系学 灏瀚星空 周树人的代码故事会人工智能源代码管理机器学习开发语言架构观察者模式
    程序员周树人的狂人日记Part16__职场关系学代码知识点：Python装饰器特权｜类继承机制｜NetworkX图算法故事概要故事一：【血脉检测仪】关于企业通过关系网络固化特权阶层现象故事二：【安全区彩票】关于企业用伪公平机制掩盖关系户特权现象故事三：【末位优化器】关于企业考核算法沦为关系清除工具现象故事一：《血脉检测仪》class特殊关系员工(Employee):def__init__(self
  • Go 语言 net/http模块的完整方法详解及示例 demonlg0112 Golanggolanghttp开发语言云原生后端
    以下是Go语言net/http模块的完整方法详解及示例，涵盖所有核心功能：一、常量常见的HTTP方法变量名值备注MethodGetGETMethodHeadHEADMethodPostPOSTMethodPutPUTMethodPatchPATCHMethodDeletePATCHRFC5789MethodDeleteDELETEMethodConnectCONNECTMethodOptionsO
  • 使用wkhtml把html文档转成wkhtmltoimage、wkhtmltopdf JoLonn linux服务器运维
    1、安装wkhtmltox插件#1.1wkhtmltox插件存放/etc/apt/wkhtmltox/bin//etc/apt/wkhtmltox/include/#1.2设置可执行权限sudochmod-R777/etc/apt/wkhtmltox/执行命令开始转换shell_exec('/etc/apt/wkhtmltox/bin/wkhtmltoimage111.html111.png');
  • Godot引擎开发：Godot基础入门_发布与分发 chenlz2007 游戏开发godot游戏引擎性能优化网络nginx
    发布与分发在完成游戏开发后，发布和分发游戏是将您的作品展示给玩家的最后一步。Godot引擎提供了多种发布平台，包括Windows、macOS、Linux、HTML5、Android和iOS。本节将详细介绍如何在Godot引擎中准备和发布游戏，涵盖以下内容：项目设置导出模板导出设置导出游戏签名与分发部署到不同平台1.项目设置在发布游戏之前，首先需要确保项目的设置正确无误。项目设置包括但不限于标题、图
  • 通过文件描述符（fd）去访问Android共享内存 aaajj C/C++Linux/UnixAndroid
    关于Android共享内存，可以查看下这个资料https://blog.csdn.net/goodlixueyong/article/details/53151959Android中分别提供了C++和Java的访问共享内存的接口Java层使用MemoryFile通过fd去标识共享内存android_os_SharedMemory.cpp里有具体实现Native层使用了binder封装，但是没有提供
  • 如何使用HTML，CSS和JavaScript创建 二进制计算器？ 濯一一 Html5+Css3二进制计算器BinaryCalHTMLCSSJavaScript
    HTML或超文本标记语言以及CSS(级联样式表)和JavaScript可用于开发可执行某些功能的交互式用户应用程序。同样,可以完全使用HTML,CSS和JS开发二进制计算器。二进制计算器：对二进制数执行算术运算。二进制计算器的缓冲区限制为8位。如果算术运算的结果超过8位,则多余的位将被截断。算术运算是使用JavaScript函数完成的。该应用程序包括：一个显示屏,在该显示屏上可以显示用户输入以及算
  • HQL之投影查询 归来朝歌 HQLHibernate查询语句投影查询
            在HQL查询中，常常面临这样一个场景，对于多表查询，是要将一个表的对象查出来还是要只需要每个表中的几个字段，最后放在一起显示？ 针对上面的场景，如果需要将一个对象查出来： HQL语句写“from 对象”即可 Session session = HibernateUtil.openSession();
  • Spring整合redis bylijinnan redis
    pom.xml <dependencies> <!-- Spring Data - Redis Library --> <dependency> <groupId>org.springframework.data</groupId> <artifactId>spring-data-redi
  • org.hibernate.NonUniqueResultException: query did not return a unique result: 2 0624chenhong Hibernate
    参考：http://blog.csdn.net/qingfeilee/article/details/7052736 org.hibernate.NonUniqueResultException: query did not return a unique result: 2         在项目中出现了org.hiber
  • android动画效果 不懂事的小屁孩 android动画
    前几天弄alertdialog和popupwindow的时候，用到了android的动画效果，今天专门研究了一下关于android的动画效果，列出来，方便以后使用。 Android 平台提供了两类动画。 一类是Tween动画，就是对场景里的对象不断的进行图像变化来产生动画效果（旋转、平移、放缩和渐变）。 第二类就是 Frame动画，即顺序的播放事先做好的图像，与gif图片原理类似。
  • js delete 删除机理以及它的内存泄露问题的解决方案 换个号韩国红果果 JavaScript
    delete删除属性时只是解除了属性与对象的绑定，故当属性值为一个对象时，删除时会造成内存泄露  （其实还未删除） 举例： var person={name:{firstname:'bob'}} var p=person.name delete person.name p.firstname -->'bob' // 依然可以访问p.firstname，存在内存泄露
  • Oracle将零干预分析加入网络即服务计划 蓝儿唯美 oracle
    由Oracle通信技术部门主导的演示项目并没有在本月较早前法国南斯举行的行业集团TM论坛大会中获得嘉奖。但是，Oracle通信官员解雇致力于打造一个支持零干预分配和编制功能的网络即服务（NaaS）平台，帮助企业以更灵活和更适合云的方式实现通信服务提供商（CSP）的连接产品。这个Oracle主导的项目属于TM Forum Live!活动上展示的Catalyst计划的19个项目之一。Catalyst计
  • spring学习——springmvc（二） a-john springMVC
    Spring MVC提供了非常方便的文件上传功能。 1，配置Spring支持文件上传： DispatcherServlet本身并不知道如何处理multipart的表单数据，需要一个multipart解析器把POST请求的multipart数据中抽取出来，这样DispatcherServlet就能将其传递给我们的控制器了。为了在Spring中注册multipart解析器，需要声明一个实现了Mul
  • POJ-2828-Buy Tickets aijuans ACM_POJ
    POJ-2828-Buy Tickets http://poj.org/problem?id=2828 线段树，逆序插入 #include<iostream>#include<cstdio>#include<cstring>#include<cstdlib>using namespace std;#define N 200010struct
  • Java Ant build.xml详解 asia007 build.xml
    1,什么是antant是构建工具2,什么是构建概念到处可查到，形象来说，你要把代码从某个地方拿来，编译，再拷贝到某个地方去等等操作，当然不仅与此，但是主要用来干这个3,ant的好处跨平台   --因为ant是使用java实现的，所以它跨平台使用简单--与ant的兄弟make比起来语法清晰--同样是和make相比功能强大--ant能做的事情很多，可能你用了很久，你仍然不知道它能有
  • android按钮监听器的四种技术 百合不是茶 androidxml配置监听器实现接口
    android开发中经常会用到各种各样的监听器,android监听器的写法与java又有不同的地方;    1,activity中使用内部类实现接口 ,创建内部类实例  使用add方法  与java类似   创建监听器的实例 myLis lis = new myLis();   使用add方法给按钮添加监听器  
  • 软件架构师不等同于资深程序员 bijian1013 程序员架构师架构设计
            本文的作者Armel Nene是ETAPIX Global公司的首席架构师，他居住在伦敦，他参与过的开源项目包括 Apache Lucene,，Apache Nutch， Liferay 和 Pentaho等。         如今很多的公司
  • TeamForge Wiki Syntax & CollabNet User Information Center sunjing TeamForgeHow doAttachementAnchorWiki Syntax
    the CollabNet user information center http://help.collab.net/   How do I create a new Wiki page? A CollabNet TeamForge project can have any number of Wiki pages. All Wiki pages are linked, and
  • 【Redis四】Redis数据类型 bit1129 redis
    概述 Redis是一个高性能的数据结构服务器，称之为数据结构服务器的原因是，它提供了丰富的数据类型以满足不同的应用场景，本文对Redis的数据类型以及对这些类型可能的操作进行总结。 Redis常用的数据类型包括string、set、list、hash以及sorted set.Redis本身是K/V系统，这里的数据类型指的是value的类型，而不是key的类型，key的类型只有一种即string
  • SSH2整合-附源码 白糖_ eclipsespringtomcatHibernateGoogle
    今天用eclipse终于整合出了struts2+hibernate+spring框架。 我创建的是tomcat项目，需要有tomcat插件。导入项目以后，鼠标右键选择属性，然后再找到“tomcat”项，勾选一下“Is a tomcat project”即可。具体方法见源码里的jsp图片，sql也在源码里。     补充1：项目中部分jar包不是最新版的，可能导
  • [转]开源项目代码的学习方法 braveCS 学习方法
    转自： http://blog.sina.com.cn/s/blog_693458530100lk5m.html http://www.cnblogs.com/west-link/archive/2011/06/07/2074466.html   1）阅读features。以此来搞清楚该项目有哪些特性2）思考。想想如果自己来做有这些features的项目该如何构架3）下载并安装d
  • 编程之美-子数组的最大和（二维） bylijinnan 编程之美
    package beautyOfCoding; import java.util.Arrays; import java.util.Random; public class MaxSubArraySum2 { /** * 编程之美 子数组之和的最大值（二维） */ private static final int ROW = 5; private stat
  • 读书笔记-3 chengxuyuancsdn jquery笔记resultMap配置ibatis一对多配置
    1、resultMap配置 2、ibatis一对多配置 3、jquery笔记 1、resultMap配置 当<select resultMap="topic_data"> <resultMap id="topic_data">必须一一对应。 (1)<resultMap class="tblTopic&q
  • [物理与天文]物理学新进展 comsci
          如果我们必须获得某种地球上没有的矿石,才能够进行某些能量输出装置的设计和建造,而要获得这种矿石,又必须首先进行深空探测,而要进行深空探测,又必须获得这种能量输出装置,这个矛盾的循环,会导致地球联盟在与宇宙文明建立关系的时候,陷入困境       怎么办呢?  
  • Oracle 11g新特性:Automatic Diagnostic Repository daizj oracleADR
    Oracle Database 11g的FDI（Fault Diagnosability Infrastructure）是自动化诊断方面的又一增强。 FDI的一个关键组件是自动诊断库（Automatic Diagnostic Repository-ADR）。 在oracle 11g中，alert文件的信息是以xml的文件格式存在的，另外提供了普通文本格式的alert文件。 这两份log文
  • 简单排序:选择排序 dieslrae 选择排序
    public void selectSort(int[] array){ int select; for(int i=0;i<array.length;i++){ select = i; for(int k=i+1;k<array.leng
  • C语言学习六指针的经典程序，互换两个数字 dcj3sjt126com c
    示例程序，swap_1和swap_2都是错误的，推理从1开始推到2，2没完成，推到3就完成了 # include <stdio.h> void swap_1(int, int); void swap_2(int *, int *); void swap_3(int *, int *); int main(void) { int a = 3; int b =
  • php 5.4中php-fpm 的重启、终止操作命令 dcj3sjt126com PHP
    php 5.4中php-fpm 的重启、终止操作命令: 查看php运行目录命令：which php/usr/bin/php 查看php-fpm进程数：ps aux | grep -c php-fpm 查看运行内存/usr/bin/php  -i|grep mem 重启php-fpm/etc/init.d/php-fpm restart 在phpinfo()输出内容可以看到php
  • 线程同步工具类 shuizhaosi888 同步工具类
    同步工具类包括信号量（Semaphore）、栅栏（barrier）、闭锁（CountDownLatch）   闭锁（CountDownLatch） public class RunMain { public long timeTasks(int nThreads, final Runnable task) throws InterruptedException { fin
  • bleeding edge是什么意思 haojinghua DI
    不止一次，看到很多讲技术的文章里面出现过这个词语。今天终于弄懂了——通过朋友给的浏览软件，上了wiki。  我再一次感到，没有辞典能像WiKi一样，给出这样体贴人心、一清二楚的解释了。为了表达我对WiKi的喜爱，只好在此一一中英对照，给大家上次课。   In computer science, bleeding edge is a term that
  • c中实现utf8和gbk的互转 jimmee ciconvutf8&gbk编码
    #include <iconv.h> #include <stdlib.h> #include <stdio.h> #include <unistd.h> #include <fcntl.h> #include <string.h> #include <sys/stat.h> int code_c
  • 大型分布式网站架构设计与实践 lilin530 应用服务器搜索引擎
    1.大型网站软件系统的特点？ a.高并发，大流量。 b.高可用。 c.海量数据。 d.用户分布广泛，网络情况复杂。 e.安全环境恶劣。 f.需求快速变更，发布频繁。 g.渐进式发展。 2.大型网站架构演化发展历程？ a.初始阶段的网站架构。 应用程序，数据库，文件等所有的资源都在一台服务器上。 b.应用服务器和数据服务器分离。 c.使用缓存改善网站性能。 d.使用应用
  • 在代码中获取Android theme中的attr属性值 OliveExcel androidtheme
    Android的Theme是由各种attr组合而成, 每个attr对应了这个属性的一个引用, 这个引用又可以是各种东西.   在某些情况下, 我们需要获取非自定义的主题下某个属性的内容 (比如拿到系统默认的配色colorAccent), 操作方式举例一则: int defaultColor = 0xFF000000; int[] attrsArray = { andorid.r.
  • 基于Zookeeper的分布式共享锁 roadrunners zookeeper分布式共享锁
    首先，说说我们的场景，订单服务是做成集群的，当两个以上结点同时收到一个相同订单的创建指令，这时并发就产生了，系统就会重复创建订单。等等......场景。这时，分布式共享锁就闪亮登场了。   共享锁在同一个进程中是很容易实现的，但在跨进程或者在不同Server之间就不好实现了。Zookeeper就很容易实现。具体的实现原理官网和其它网站也有翻译，这里就不在赘述了。   官
  • 两个容易被忽略的MySQL知识 tomcat_oracle mysql
    1、varchar(5)可以存储多少个汉字，多少个字母数字？ 　　相信有好多人应该跟我一样，对这个已经很熟悉了，根据经验我们能很快的做出决定，比如说用varchar(200)去存储url等等，但是，即使你用了很多次也很熟悉了，也有可能对上面的问题做出错误的回答。 　　这个问题我查了好多资料，有的人说是可以存储5个字符，2.5个汉字（每个汉字占用两个字节的话），有的人说这个要区分版本，5.0
  • zoj 3827 Information Entropy(水题) 阿尔萨斯 format
    题目链接：zoj 3827 Information Entropy 题目大意：三种底，计算和。 解题思路：调用库函数就可以直接算了，不过要注意Pi = 0的时候，不过它题目里居然也讲了。。。limp→0+plogb(p)=0，因为p是logp的高阶。 #include <cstdio> #include <cstring> #include <cmath&
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他