introducing TScert, a sound core for TypeScript.
- TypeScript functions accepted only with a proof
- a checker whose soundness is proved in Lean
- first target: its own front end, 628 of 684 functions verified
a research project, unfinished by design. read it, inspect it 👇
Claude Code writes Mermaid. Merman draws it right in your terminal.
This open-source plugin renders flowcharts, sequence diagrams, ER diagrams and charts alongside colored tables and syntax-highlighted code.
You also get 17 themes, copy buttons and optional compact tool-call rows to make long agent sessions easier to scan.
Under the hood: TypeScript hooks intercept UI rendering, parse the Markdown and draw it locally using beautiful-mermaid and Prism.
The optional diagram hint adds ~355 tokens per conversation. Redraws add none.
Requires Claude Code 2.1.311+.
Let's connect 👋 Reply with the first language you ever wrote code in 👇
I'll go first: QuickBASIC. Now mostly Swift, but I do some TypeScript, Kotlin and Zig for fun.
Hey, developers! 👋
I share JS, TS, and web dev content every day. 🚀
Looking to connect with founders, developers, and indie hackers.
Let's learn, build, and grow together!
Say hello! 👇
#JavaScript#TypeScript#WebDev#BuildInPublic#IndieHackers
Object-oriented programming is one of the most widely-used programming paradigms in software development.
And in this detailed guide, Lucas shows you how it works in TypeScript.
You'll learn key TS language features like objects, classes, & interfaces, then see how they give rise to the four pillars of OOP.
"So, I've implemented floats at the type level, and surprisingly, using Newton's algorithm for approximating the n-th root actually works!
#typscript#ProgrammingMagic
GitHub's Octoverse 2026 is out.
TypeScript: ~13M monthly contributors
Python: ~13M
JavaScript: 7.4M
And 40%+ of PRs now start as an AI agent's draft.
Typed code + AI agents = the new default.
Are you still on plain JS? 👇
How to turn your tasks into workflows and reusable behavior.
You ask your agent to build it once, and then you run it again and again.
Huge advantage to doing this:
• You only use models for tasks that only models can do
• Every other step is encoded in TypeScript
• Very easy to troubleshoot
• You can reuse your behaviors across automations
Hiring Alert !
Askable Is Hiring a Remote Software Engineer - AI Coding Tasks
PAY: $1,000 Per Accepted Task
This job is fully remote and you can apply from anywhere.
Key Skills:
Python, TypeScript, Go, Rust, Java, C++, Docker, Linux, Git, Software Engineering, Open-Source Development, Automated Testing, AI Coding Tools, AI Model Evaluation, Code Debugging, Test Development, Benchmark Design, Code Review, Technical Documentation.
Benefits:
- $1,000 Per Approved Task
- 100% Remote Work Environment
- Work from Anywhere Worldwide
- Flexible Working Hours
- Unlimited Task Opportunities
- Direct USD Payments
- Opportunity to Work on Advanced AI Model Training
- $400 Referral Reward for Qualified Referrals
Location: Worldwide (Remote)
Experience Required: 2+ Years
Work Commitment: Minimum 10 Hours/Week
Requirement: Previous Contributions to an Open-Source Repository or Qualifying Personal Codebase.
If you are interested in this position, check, comment and apply.
The TypeSOL community opens tomorrow, Nov 4.
You've asked for a place to talk with us beyond the replies, and you're right. Tomorrow we open a community channel on Telegram or Discord: a direct line to the team, devlogs as they happen, help with your first Solana program in TypeScript, and a say in what we build next.
The link goes up here tomorrow.
introducing TLA-ts proofs, written 100% in TypeScript
TLA+/TLC is normally used for model checking (a subset)
But now you can write full on formally verified proofs that run anywhere (browser, Node, Bun)!
My Microsoft USER (User Security Evaluation Reporter) tool that won the 2019 Microsoft Graph Security Hackathon is back and it has been completely rearchitected.
It's now a single Node 24/TypeScript web app on Azure App Service
Check it out ⬇️
رسائل دكتوراه في اللسانيات الحاسوبية
برمجة واجهات~/~ باستخدام Vue.js
TypeScript إعداد دراسات + الجرائم
الإلكترونية الأدلة الرقمية تصميم عروض
بوربوينت للخطط ~الاستراتيجية بحثية
خطة جمع البيانات وأدوات الدراسة نحو
اطروحة ماستر حل واجبات واجب عربي
حل بروجكت هندسة بترول اتصالات لاب
