Kachinsky kb1ns

## doom_emacs_for_haskell.md

      
              1 file
            
          
              0 forks
            
          
              6 comments
            
          
              19 stars
            
          
                ecthiender
                / doom_emacs_for_haskell.md
            
            
              Last active
              June 7, 2024 04:28
            
              
                Step by step instructions to setup doom emacs for Haskell + Haskell Language Server (LSP)
              
          
    Install doom emacs

git clone --depth 1 https://github.com/hlissner/doom-emacs ~/.emacs.d
cd ~/.emacs.d
bin/doom install
Optional

  
## update-dnsmasq-from-gfwlist.py
#!/usr/bin/env python
#coding=utf-8
#
# Generate a list of dnsmasq rules with ipset for gfwlist
#
# Copyright (C) 2014 http://www.shuyz.com
# Ref https://code.google.com/p/autoproxy-gfwlist/wiki/Rules

import urllib2
import re

## rust-robotics-libraries.md

      
              1 file
            
          
              7 forks
            
          
              7 comments
            
          
              62 stars
            
          
                ClintLiddick
                / rust-robotics-libraries.md
            
            
              Last active
              April 3, 2023 02:38
            
              
                Rust Libraries for Robotics
              
          
    Motivation

tl;dr
I want to use Rust to program robots. Help me find the best core libraries to build on.
Robotic systems require high performance and reliability, but also have enormous complexity
in terms of algorithms employed, number of subsystems, embedded hardware control, and other metrics.
Development is mostly split between C++ for performance and safety critical components,
and MatLab or Python for quick research or task iteration.

  
## WsChat.html
<!DOCTYPE html>
<html>
    <head>
        <meta charset="utf-8">
        <title>Tomcat WebSocket Chat</title>
        <script>
            var ws = new WebSocket("ws://localhost:8080/WsChat/wschat");
            ws.onopen = function(){
            };
            ws.onmessage = function(message){
	#!/usr/bin/env python
	#coding=utf-8
	#
	# Generate a list of dnsmasq rules with ipset for gfwlist
	#
	# Copyright (C) 2014 http://www.shuyz.com
	# Ref https://code.google.com/p/autoproxy-gfwlist/wiki/Rules

	import urllib2
	import re
	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<title>Tomcat WebSocket Chat</title>
	<script>
	var ws = new WebSocket("ws://localhost:8080/WsChat/wschat");
	ws.onopen = function(){
	};
	ws.onmessage = function(message){