HN user

shreyans

689 karma

diving deeper https://shreyans.org

Posts20
Comments25
View on HN
shreyansb.substack.com 5mo ago

Parting thoughts from a departing co-founder

shreyans
1pts0
substack.com 6mo ago

Going down art rabbit holes with AI

shreyans
1pts0
shreyans.org 10mo ago

Every company needs an LLM powered data explorer

shreyans
10pts1
shreyans.org 1y ago

Why we had a kid

shreyans
3pts0
shreyans.org 1y ago

The Surreal Magnificence of Fatherhood

shreyans
178pts240
shreyans.org 2y ago

How I picked up and got good at tennis

shreyans
4pts2
shreyans.org 2y ago

What I learned getting acquired by Google

shreyans
1045pts611
maven.com 3y ago

Search, categorization, and personalization, all in a week with embeddings

shreyans
1pts0
blog.socratic.org 9y ago

Stepping into math: Open-sourcing our step-by-step solver

shreyans
554pts176
blog.socratic.org 10y ago

AI in education: take a pic of a question and this teaches you how to answer it

shreyans
1pts0
medium.com 10y ago

Building an educational app? Read this first

shreyans
2pts0
medium.com 11y ago

Maps: Why they're useful, and how we build our custom, animating maps with D3.js

shreyans
2pts0
blog.socratic.org 11y ago

To win in education, build for students

shreyans
1pts0
medium.com 11y ago

We cut our Flask page load times by 60% with one line of code

shreyans
6pts4
medium.com 11y ago

Why LaTeX is bad for learning

shreyans
4pts0
medium.com 12y ago

The Problem with "Community"

shreyans
1pts0
dthink.ashaelizabethgupta.com 14y ago

What we mean by 'programming', or, why we should learn to code.

shreyans
3pts1
dthink.ashaelizabethgupta.com 14y ago

Should you be in school, or out making things? A simple guide

shreyans
1pts0
shreyans.bhansa.li 15y ago

Easy SVN branching and merging

shreyans
1pts0
news.ycombinator.com 16y ago

Ask HN: What are the options for non-dilutive financing for early stage firms?

shreyans
3pts0

I was helping my dad figure out how he could set up a daily news bot for his stock portfolio, and Zo looks like the answer!

A sandboxed AI that operates on all my context (and helps me write scripts to import the necessary context from other services) is exactly the model of personal intelligence that I want.

Love opening with LeWitt and Eno.

I really like this para: > Another significant change is that workflows can be long‑lived and self‑healing: if run on always-on compute like servers, agents can schedule and repair persistent or recurring work like report generation, data pipelines, or crawl-and-summarize tasks, always resuming from state,with a general purpose recovery mechanism. The significance of generality is worth calling out, because in some sense it is the crux of what is new. These systems are inherently more robust than traditional symbolic programs because they have a modality that is complete at the expense of consistency: all inputs will produce some response from an LLM, whereas most possible inputs will crash most classical functions. Whether or not the general handler will “do the right thing” comes down to the quality of the specification.

And this one: > When the shape of programming changes to encapsulate multiple levels of abstraction, the basic unit of work changes from specifying lines of code to specifying any of: line of code, logic, function, capability, behavior, application. Our new programs will buy determinism with checks. Type systems, property‑based tests, schema checks, idempotent operations (declarative codegen), and permission policies make runs repeatable and failures bounded; agents work is graded by those deterministic gates.

Maven.com | Full stack product engineer | Full-time | Remote (USA, Canada) Maven is the missing grad school for technology jobs. We have the largest collection of expert-led cohort-based-courses on the topics that matter most for today's careers.

We’re looking for full-stack product engineers to own big parts of our fast growing marketplace, from recommendation systems to data infrastructure to the course experience at the center of it.

The ideal candidate has shipped meaningful features to a real user base and is comfortable with the broad set of concerns that come with building production web apps.

You will have a high degree of ownership over our technical systems, and will be able to shape our product direction and the evolution of your own role.

We are a team of just under 20, have raised $25 million from a16z and First Round, and are growing towards profitability in the coming year and half.

We use React+Nextjs, Python+FastAPI, Postgres+OpenSearch, OpenAI, dbt+Snowflake.

Read more at https://maven.com/s/eng-jd And email eng [at] our website with your resume and a note about yourself and your work.

Maven.com | Full stack product engineer | Full-time | Remote (USA, Canada)

Maven is the missing grad school for technology jobs. We have the largest collection of expert-led cohort-based-courses on the topics that matter most for today's careers.

We’re looking for full-stack product engineers to own big parts of our fast growing marketplace, from recommendation systems to data infrastructure to the course experience at the center of it.

The ideal candidate has shipped meaningful features to a real user base and is comfortable with the broad set of concerns that come with building production web apps.

You will have a high degree of ownership over our technical systems, and will be able to shape our product direction and the evolution of your own role.

We are a team of just under 20, have raised $25 million from a16z and First Round, and are growing towards profitability in the coming year and half.

We use React+Nextjs, Python+FastAPI, Postgres+OpenSearch, OpenAI, dbt+Snowflake.

Read more at https://maven.com/s/eng-jd And email eng [at] our website with your resume and a note about yourself and your work.

Maven.com | Full stack product engineer | Full-time | Remote (USA, Canada)

Maven is the missing grad school for technology jobs. We have the largest collection of expert-led cohort-based-courses on the topics that matter most for today's careers.

We’re looking for full-stack product engineers to own big parts of our fast growing marketplace, from recommendation systems to data infrastructure to the course experience at the center of it.

The ideal candidate has shipped meaningful features to a real user base and is comfortable with the broad set of concerns that come with building production web apps.

You will have a high degree of ownership over our technical systems, and because we believe in giving people as much responsibility as they want, you will also be able to shape our product direction and the evolution of your own role.

We are a team of just under 20, have raised $25 million from a16z and First Round, and are growing towards profitability in the coming year and half.

We use React+Nextjs, Python+FastAPI, Postgres+OpenSearch, OpenAI, dbt+Snowflake.

Read more and apply at https://maven.com/s/eng-jd

Maven (https://maven.com) | Senior/Staff Software Engineer (full-stack) | US, Canada Remote | $160-200k + equity

Maven is the best way to teach and learn critical career skills after college, with the largest marketplace of expert-led tech and business cohort-based courses.

We're 15 people, have raised $25 million, are earning revenue, fully remote but tight knit, very experienced, and building a new way to learn that students and instructors love.

You'll own major parts of the system, build end-to-end features, and have a voice in shaping the roadmap and company.

React (Nextjs), Python (FastAPI), Postgres (RDS). TipTap, Stream, OpenAI embeddings, dbt, Tailwind, Vercel, etc.

See more details, and apply here: https://maven.com/s/eng-jd

Maven (https://maven.com) | Senior/Staff Software Engineer (full-stack) | US, Canada Remote | $160-200k + equity

Maven is the best way to teach and learn critical career skills after college, through the largest marketplace of expert-led tech and business cohort-based courses.

We're 15 people, have raised $25 million, are earning revenue, fully remote but tight knit, very experienced, and building a new way to learn that we're very proud of.

You'll own major parts of the system, build end-to-end features, and have a voice in shaping the roadmap and company.

React (Nextjs), Python (FastAPI), Postgres (RDS). TipTap, Stream, OpenAI embeddings, dbt, Tailwind, Vercel, etc.

See more details, and apply here: https://maven.com/s/eng-jd

Maven (https://maven.com) | Senior Software Engineer (Full-stack, product) | US, Canada Remote | $160-200k

About us: building the university of the future, starting with the largest marketplace of expert-led cohort-based-courses on the Internet.

We're a 5 person eng team and a 15 person team led by the founders of Udemy, Venmo, Socratic. Raised $25 million from a16z and First Round in 2021, have 3+ years of runway, and are hitting our best months every month.

You'll own major parts of the system, build end-to-end features, and have a voice in shaping the roadmap and company.

React (Nextjs), Python (FastAPI), Postgres (RDS). TipTap, Stream, OpenAI embeddings, dbt, Tailwind, Vercel, etc.

A Loom about the company, our progress, team, and the role: https://www.loom.com/share/950987e744b64a79adca7008e32186c3

Apply here: https://maven.com/careers

Maven (https://maven.com) | Senior Software Engineer (Full-stack, product) | US, Canada Remote | $160-200k

About us: building the university of the future, starting with the largest marketplace of expert-led cohort-based-courses on the Internet.

We're a 5 person eng team and a 15 person team led by the founders of Udemy, Venmo, Socratic. Raised $25 million from a16z and First Round in 2021, have 3+ years of runway, and are hitting our best months every month.

You'll own major parts of the system, build end-to-end features, and have a voice in shaping the roadmap and company.

React (Nextjs), Python (FastAPI), Postgres (RDS). TipTap, Stream, OpenAI embeddings, dbt, Tailwind, Vercel, etc.

A Loom about the company, our progress, team, and the role: https://www.loom.com/share/5177344569214eeab996029bf64fe4cd

Apply here: https://maven.com/careers

+1, I've been using OpenSearch (basically Elasticsearch 7.0), and have been pretty happy with the setup so far.

OpenSearch specifically has an edge over Elasticsearch because it supports vectors up to 10k dimensions, whereas ES maxes out at indexing 1024 dimensions, which isn't enough to support OpenAI's 1536 dimension vectors.

And then there's the benefit of it being well documented / Q&A'd, and able to support regular searching, faceting, etc. as well.

Maven | Software Engineering / Design | Remote, US/Canada | Full-time | https://maven.com/careers

Maven is building the university of the future - empowering the world’s creators to offer cohort-based courses directly to their audiences. Courses on Maven have community at their core, focus on active learning, and are available anywhere in the world.

Our team has raised $25 million from incredible investors including Andreessen Horowitz, First Round, Naval, and Arlan Hamilton, and we've launched sold-out courses with instructors like Li Jin, Anthony Pompliano, Lenny Rachitsky, and Sahil Lavingia.

We're the leading player in a massive and growing market, but are still early enough for you to make a big impact. Join us!

#education #course #creators #platform

- Senior Software Engineer: https://boards.greenhouse.io/maven/jobs/4023548004 - Software Engineer: https://boards.greenhouse.io/maven/jobs/4138335004 - Lead Product Designer: https://boards.greenhouse.io/maven/jobs/4036844004

Maven | Full-stack, Front-end Engineers | Remote (US timezones) | Full time | $120-$170k + equity | https://maven.com Maven helps anyone build a cohort-based course and deliver an incredible student experience at scale.

Unlike small workshops or on-demand online classes, we integrate both live and asynchronous components to engage students without needing to scale up instructor time or support staff.

Our mission is to democratize education through online cohort-based courses. Right now, many experts and creators don't have the team, budget, or bandwidth to create a high quality cohort-based course. Inspired by the simplicity and power of tools like Shopify and Substack, we are building a platform that enables the best instructors to build the most engaging courses.

Our team of 12 has built and run educational experiences at Udemy, AltMBA, Minerva, Google, General Assembly, Socratic, and Shopify. We're backed by Andreessen Horowitz, First Round Capital, Naval Ravikant, Arlan Hamilton, and many more. We've launched sold-out courses for incredible instructors like Li Jin, Anthony Pompliano, Lenny Rachitsky, Sahil Lavingia, and more.

We're looking for our 2nd designer, and 6th and 7th engineers whose work will span across our system and will have a big impact on our product. We're experienced, ambitious, and supportive. We work with React/Typescript/Next.js, Python/FastAPI, AWS/ECS/RDS.

Reach out to me at shreyans at maven.com, or read more at https://maven.com/careers

- Product Engineer: https://boards.greenhouse.io/maven/jobs/4023548004

- Sr. Software Engineer: https://boards.greenhouse.io/maven/jobs/4024409004

- Product Designer (no post up yet but email me!) shreyans at maven.com

Maven | Full-stack, Front-end Engineers | Remote (US timezones) | Full time | $120-$160k + equity | https://maven.com

Maven helps anyone build a cohort-based course and deliver an incredible student experience at scale.

Unlike small workshops or on-demand online classes, we integrate both live and asynchronous components to engage students without needing to scale up instructor time or support staff.

Our mission is to democratize education through online cohort-based courses. Right now, many experts and creators don't have the team, budget, or bandwidth to create a high quality cohort-based course. Inspired by the simplicity and power of tools like Shopify and Substack, we are building a platform that enables the best instructors to build the most engaging courses.

Our team of 12 has built and run educational experiences at Udemy, AltMBA, Minerva, Google, General Assembly, Socratic, and Shopify. We're backed by Andreessen Horowitz, First Round Capital, Naval Ravikant, Arlan Hamilton, and many more. We've launched sold-out courses for incredible instructors like Li Jin, Anthony Pompliano, Lenny Rachitsky, Sahil Lavingia, and more.

We're looking for our 6th and 7th engineers whose work will span across our system and will have a big impact on our product. We're experienced, ambitious, and supportive. We work with React/Typescript/Next.js, Python/FastAPI, AWS/ECS/RDS.

Reach out to me at shreyans at maven.com, or read more at https://maven.com/careers

GitHub Codespaces 6 years ago

I imagine a lot of projects will start here, whether it's new developers or existing developers who want to spin up a straightforward service.

I just used Glitch.com for the first time to set write and deploy a Node server in 10 minutes, and it was an incredible experience.

Socratic | Generalist Engineer + Android Lead | New York City | Onsite, Full-time | https://socratic.org

Socratic is a top education app where students take a picture of a homework question and we instantly teach them how to answer it.

We're one of the top iOS education apps and our Android app is launching this week! We combine cutting edge machine learning with high quality custom content. Students asked 10 million questions last month, and we're just getting started.

We're looking for an experienced Android lead to own our Android app.

We're also looking for a generalist engineer to work on all aspects of our backend and dabble in mobile.

Descriptions of both jobs are at: https://socratic.org/jobs.

Reach out to jobs@socratic.org

Socratic | Android Developer | New York | will transfer H1B, full-time, https://socratic.org

Socratic is a education app that combines cutting-edge AI with expert teaching to make learning on your phone easy, free, and accessible to everyone.

We are working to provide high-quality learning that feels and works as well as one-on-one tutoring but at a fraction of the cost. We’ve helped over 30 million students, and have our sights set on the next billion.

We are looking for an experienced Android developer who has built multiple apps from scratch, deployed apps to the Play store, and has worked on a small team. You will be the first Android developer on the team.

Full job description is here: https://socratic.org/jobs#android

Socratic.org in New York City, iOS and web/backend.

We're a small education company with a mission to make learning easier.

Learning today is like programming before StackOverflow - kids end up on Yahoo Answers all the time. The Socratic community is changing that.

We just raised a $6 million Series A, and are hiring our first iOS engineer and a generalist web+backend engineer.

Our team is diverse, supportive, and experienced (Venmo, Google).

Happy to apply for apply for VISAs: TN1s and H1B transfers.

Read more about the roles @ https://socratic.org/jobs

Email us at makelearningeasier@socratic.org

Socratic.org in New York, iOS and web/backend

We're a small education company with a mission to make learning easier.

Learning today is like programming before StackOverflow - kids end up on Yahoo Answers all the time. The Socratic community is changing that.

We just raised our Series A, and are hiring our first iOS engineer and a generalist web+backend engineer.

Our team is diverse, supportive, and experienced (Venmo, Google). Women and other underrepresented minorities are encouraged to apply.

We're looking for a software INTERN as well. Happy to apply for VISAs.

More about the roles @ https://socratic.org/jobs Email us at hello@socratic.org

yes, would love asciimath support. most of the math that'll exist on the web isn't there yet, and it'll be so much easier to the next billion internet users than learning latex.

katex looks great though. we (socratic.org) might start using it if we can find a good asciimath=>latex converter.