首页   注册   登录
LukeXuan's repos on GitHub
C · 6 人关注
osdev
Steps to x86 OS Development.
C · 5 人关注
JOS
Lab for Operating System from MIT 6.828
C++ · 4 人关注
USACO-selected
In memory of the good old days.
Shell · 3 人关注
atlas-centos7
Packer configuration for Vagrant and CentOS 7.
TeX · 2 人关注
CV
Coq · 2 人关注
formal-logic
Coq · 1 人关注
cool-coq
Repo for attempt of formalizing COOL(Classroom Object-Oriented Language) in Coq
1 人关注
dafny-ex
Repository to hold exercises for Dafny tutorial
CoffeeScript · 1 人关注
gulp-watcher
Package that combines atom and gulp.watch, forked from kenwheeler/gulp-helper
1 人关注
qrcode-viewer
To get access to QRCode of a specific post or page in the dashboard.
JavaScript · 1 人关注
shs-certification-keeper
A simple trick to keep you certificated by the certification system of SHS network.
Python · 0 人关注
aiosmtplib
asyncio smtplib implementation
C · 0 人关注
bonsai
Simple Python 3 module for LDAP, using libldap2 and winldap C libraries.
Emacs Lisp · 0 人关注
cmake-ide
Use Emacs as a C/C++ IDE
Emacs Lisp · 0 人关注
company-coq
IDE extensions for Proof General's Coq mode
Ruby · 0 人关注
homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
Ruby · 0 人关注
homebrew-core
🍻 Default formulae for the missing package manager for macOS
CSS · 0 人关注
littleosbook
Source for the little book about OS development
C++ · 0 人关注
llvm-pass
0 人关注
misc
Emacs Lisp · 0 人关注
nasm-mode
Major mode for editing NASM assembly programs
Shell · 0 人关注
oh-my-zsh
A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
0 人关注
playground
Playground for miscellaneous things.
Coq · 0 人关注
VST
Verified Software Toolchain
0 人关注
web-stuff
Excalibur

LukeXuan

V2EX 第 48062 号会员,加入于 2013-10-27 16:42:03 +08:00
LukeXuan 最近回复了
@noNOno eshell 对 pipe 的支持不完全,有什么解决方案吗?
可以软件切换 ESIM/SIM,只是不能同时待机。
找到中位数(O(n)),然后比中位数小的放在偶数位,大的放在奇数位。
2017-08-29 08:29:45 +08:00
回复了 yongzhong 创建的主题 程序员 我也进到 Google 的隐藏招聘通道了
通了 lv5 也没有什么特别的奖励…
2017-08-23 20:03:39 +08:00
回复了 ggbond1989 创建的主题 程序员 蓝光眼镜有用吗?
去的眼科医院配的眼镜,医生说眼镜防蓝光意义不大,毕竟不是全部遮挡。花那个钱不如在显示器上贴膜。

虽然个人觉得蓝光不算什么事,这个话题的发起者也是家长。
2017-08-21 23:11:49 +08:00
回复了 waiaan 创建的主题 编辑器 有多少人从 sublime 转投 vs code 了?
最开始用 IDE 后来用 sublime 然后是 atom/vsc 最后发现还是 emacs 好
2017-08-18 12:08:13 +08:00
回复了 can126 创建的主题 程序员 我这种资历能找到机器学习方面的工作嘛?
@menc 不服...传统的 CS 方向都是理论先行的...没有什么实践快于理论的...你应该说偏向于工程
2017-08-07 07:32:30 +08:00
回复了 dedmon 创建的主题 程序员 没见到有 V 友说 surface 这两款电脑呢?
windows 的平板的通病就是 不具备完整的触摸操作体系 导致你往往要去找鼠标
而如果你偶尔把键盘拆下来抱着用的时候 就会知道多难受了
2017-08-03 02:35:25 +08:00
回复了 a128445 创建的主题 全球工单系统 Surface Pro 4 风扇在设备倾斜时出现杂音
某天躺在床上的时候风扇运转会发出杂音,后来把 sp4 出了
关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   3143 人在线   最高记录 3762   ·  
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.1 · 19ms · UTC 01:17 · PVG 09:17 · LAX 18:17 · JFK 21:17
♥ Do have faith in what you're doing.
沪ICP备16043287号-1