Main Page: Difference between revisions

From Rongcui Dong @ UR
No edit summary
 
Tag: Manual revert
 
(4 intermediate revisions by the same user not shown)
Line 1: Line 1:
<strong>MediaWiki has been installed.</strong>
== <code>whoami</code> ==


Consult the [https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents User's Guide] for information on using the wiki software.


== Getting started ==
A PhD student at [https://cs.rochester.edu/ University of Rochester, CS Department]. Currently working with [https://cs.rochester.edu/~sree/ Prof. Sreepathi Pai].
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Configuration_settings Configuration settings list]
 
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:FAQ MediaWiki FAQ]
You can read some [[Special:ArticlesHome|Blogs]]. There might also be some linked knowledge.
* [https://lists.wikimedia.org/postorius/lists/mediawiki-announce.lists.wikimedia.org/ MediaWiki release mailing list]
 
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Localisation#Translation_resources Localise MediaWiki for your language]
== Technology Stack ==
* [https://www.mediawiki.org/wiki/Special:MyLanguage/Manual:Combating_spam Learn how to combat spam on your wiki]
I use [https://www.haskell.org/ Haskell], [https://www.rust-lang.org/ Rust], and [https://julialang.org/ Julia] extensively. For systems scripting, I go for [https://www.ruby-lang.org/en/ Ruby] or [https://www.python.org/ Python]. Should I need anything really low level, I use C. For hardware, I use Verilog.
 
Currently also interested in:
 
* [https://lamport.azurewebsites.net/tla/tla.html TLA+]
* [https://github.com/Z3Prover/z3 Z3]
* [https://coq.inria.fr/ Coq]
 
== Research Projects ==
 
== Other Projects ==
 
* [https://github.com/rongcuid/MSCC Mad Scientist Carl’s Core], a RISC-V RV32I M-privilege softcore on Artix 7
* [https://github.com/rongcuid/gqlforum-rs gqlforum-rs], an experimental full-stack Rust forum (not to be used in production)
 
== Publications ==

Latest revision as of 10:29, 11 October 2023

whoami

A PhD student at University of Rochester, CS Department. Currently working with Prof. Sreepathi Pai.

You can read some Blogs. There might also be some linked knowledge.

Technology Stack

I use Haskell, Rust, and Julia extensively. For systems scripting, I go for Ruby or Python. Should I need anything really low level, I use C. For hardware, I use Verilog.

Currently also interested in:

Research Projects

Other Projects

Publications