Type
type.ai
Actively hiring
As featured in
View 1 job
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials
Funding and backers
Team
11-50
employees, estimated range
Hiring now
1
open roles
Backers
2
Y Combinator, Ascend.vc
Momentum
15/100
in the news
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Jan 2023
Went through Y Combinator
Tractionpublic signals, read monthly
Web presence
top 0.02%
of 133.2M domains by links, Common Crawl
Hacker News stories
1
best: 3 points
Backed byfrom the funds' portfolios and accelerator catalogs
Y Combinator 
Ascend.vc Similar startupsby what they do, their industry and backers
Write your novel faster with the best AI tool for fiction. Start for free today and see why The New Yorker calls it "a salvation" for…
Blooksy is the platform built for writers — manuscripts, editors, deadlines, and AI-powered structure, all in one place.
Turn ideas into long form YouTube videos without complex editing or a big team. ByThen AI helps you script, produce, edit, and publish in…
The AI production team for long-form video. VidRush turns a brief into a finished video: research, script, voiceover, footage, editing, and…
The independent governance layer for human and AI-generated code. Norma for any repo and any AI editor, plus deep governance for ServiceNow…
Turn raw footage into finished videos in minutes. An AI editor that works with your footage, understands your content, and gives you full…
News
A Type Stronger than the Sum of its Components
Have you ever written a type that you appreciated so much you still think about it? Like eating a really good meal, where if you try hard enough, you can sti...
Read more
Report
Report
Report
Geometric Type Theory, Done Two Ways
A topos can be specified by the geometric theory that it classifies. Though the sequents of a theory are described formally and syntactically, its interaction with the world of sets (through set-indexed disjunctions and axiom schemas) is often a little ha
Read more
Report
Probing picosecond depairing currents in type-II superconductors
Accessing the intrinsic critical current density in type-II superconductors can provide a means to probe microscopic superconducting properties and increase current limits in high-magnetic-field devices and electrical power systems. However, the critical
Read more
Report
Do not let your type system reason about aliasing in your programming language
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Read more
Report
Report
Type Punning in C and C++
I had a bug that took me a while to track down. The problem was type punning. A pointer cast worked fine at -O0 and silently broke at -O2. The C vs C++ distinction here is genuinely treacherous, and most blog posts on the topic get it wrong.
Read more
Report
Show more news
Tech stack
Technologies named in job postings at Type over the last 12 months, by layer, with the share of postings for each.
Technologies in use
6
Postings analysed
1
Stack modernity
83/100AI adopter
Languages
JavaScript
TypeScript
Node JS
Frameworks & libraries
React.js
AI & ML
LLM
Practices & domains
Offline-First
Sign in to see how your skills match this stack
Sign In
Salary insights
Compensation ranges based on this company's open jobs
Median
$230k
Typical range
$230k
Open positions
1
1
Jobs
Middle
100%
| Level | Jobs | Median | Typical range |
|---|---|---|---|
| Middle | 1 | $230k | $230k |
Highest paying role
Founding Product Engineer
$230k
Normalized to USD per year
Growth
Hiring Momentum
48/100
Stable
Open positions
1
0 opened / 0 closed in 30 days
ATS activity
Every ~19 hours
Today
Hiring Dynamics
+100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
Backend
100% ▲
Jobs
$140k – $230k per year • Equity 0.5–5% • In office • Full-Time • 3+ years exp
JavaScript
TypeScript
Node JS
LLM
Frontend
React.js
Mobile
Offline-First
Apply