- Chapel Hill, NC
-
17:30
(UTC -04:00) - www.linkedin.com/in/hartsock
- https://orcid.org/0009-0009-8368-0542
- @hartsock
- in/hartsock
Stars
DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
DeepSeek-VL: Towards Real-World Vision-Language Understanding
DeepSeek-VL2: Mixture-of-Experts Vision-Language Models for Advanced Multimodal Understanding
DeepSeek LLM: Let there be answers
Integrate the DeepSeek API into popular softwares
Fully open reproduction of DeepSeek-R1
DeepSeek Coder: Let the Code Write Itself
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.
An API for caching and execution of actions on a remote system.
Dafny is a verification-aware programming language
GraalPy – A high-performance embeddable Python 3 runtime for Java
A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)
Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations
Code for the paper "Language Models are Unsupervised Multitask Learners"
Purely native C++ cross-platform GUI framework for Android and iOS development. https://www.boden.io
Moved to GitLab: https://gitlab.com/sardana-org/sardana
🌘 Darktile is a GPU rendered terminal emulator designed for tiling window managers.