Skip to content
View radleyle's full-sized avatar
🎯
Focusing
🎯
Focusing
7 followers · 9 following

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report radleyle

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
radleyle/README.md

Hey there 🙌

I'm Nguyen Le. You can call me Radley as well! I'm a Computer Science student at Bucknell University.

I work at the intersection of AI engineering and full-stack engineering — building real systems, not just demos. I've published at ICML VecDB 2025, done ML research on biomass gasification, and shipped apps across the stack.

What I'm working on

  • 🏢 Contributor @ Astrio — building a coding agent that uses formal verification to prove the code
  • 🖥️ KitchenLab — An AI cooking agent that teaches, generates and adapts recipes, diagnoses failures, suggests substitutions, and helps users run small kitchen experiments — with every answer grounded in a cited food-science knowledge base and deterministic calculators. (repo)
  • 📄 Always tinkering with something new — check my pinned repos for the latest

Tools & Tech

  • Frontend: React, Next.js, TypeScript, Tailwind CSS
  • Backend: Python, FastAPI, Node.js, Rust
  • AI/ML: PyTorch, LangGraph, RAG, FAISS, Hugging Face, scikit-learn
  • Other: Git, Docker, Firebase, Stripe, AWS, databases

A bit about me

  • 🏀 I love playing basketball and watching the NBA
  • ☕️ A coffee person
  • 🇰🇷 Into K-drama and K-pop
  • 🧱 I like buiding things that are helful for the community around me

How to reach me

Pinned Loading

  1. pc-performance-diagnoser pc-performance-diagnoser Public

    A local tool that reads CPU and process data from your PC, stores it as time-series data in SQLite, flags RAM pressure and memory overflow, and uses an LLM to turn the findings into a plain-English…

    Python

  2. vernora vernora Public

    An offline-first language-learning platform that prepares learners for real conversations.

    TypeScript

  3. forall-examples forall-examples Public

    Verified example projects for Forall

    TypeScript

  4. kitchen-lab kitchen-lab Public

    Cook better through science. A "cooking through science" AI agent that teaches, generates and adapts recipes, diagnoses cooking failures, and recommends substitutions -- with every answer grounded …

    Python

  5. flashy flashy Public

    Flashy is a study app for building flashcard decks and drilling them until they stick — with AI when you want speed, and a calm focus mode when it’s time to study.

    JavaScript

  6. biomass-gasification-for-hydrogen-production biomass-gasification-for-hydrogen-production Public

    Biomass gasification research pipeline using RAG to extract H₂ and CO yield data from scientific literature. Supports CO₂, steam, plasma, and supercritical water gasification for life cycle assessm…

    Python