HNHacker News
TopNewBestAskShowJobs

Yoric

7,362 karma · joined February 24, 2009

Hi, I'm David. If you have ever cursed at Promise or async/await in JavaScript, I'm sorry, I promise it's not (only) my fault! The same if you ever cursed at try! or ? in Rust!

Currently working on static analysis at GitLab, formerly quantum computing at Pasqal, safety tools at Element, performance at Mozilla, Rust contributor. Enjoys tech and product challenges, performance programming, safety guarantees, systems programming, programming language design, distributed programming, static analysis, compilers, formal methods, back-ends, databases, ...

Also, science vulgarization, storytelling, improv acting, ...

D.O.Teller+hn@gmail.com https://www.linkedin.com/in/davidteller/ https://github.com/Yoric https://yoric.github.io meet.hn/city/fr-Lyon

submissionscomments

Show HN: Open-Source Quantum Solver for Maximum Independent Set Problems

6 pts·Yoric·
0

(Quite) a few words about async

yoric.github.io·3 pts·Yoric·
0

Quantum hardware may be a good match for AI

arstechnica.com·1 pts·Yoric·
0

Rust in 2025: Language interop and the extensible compiler

smallcultfollowing.com·3 pts·Yoric·
1

Show HN: Quantum Evolution Kernel (FOSS quantum graph machine learning lib)

github.com·11 pts·Yoric·
0

What would it take to add refinement types to Rust?

yoric.github.io·136 pts·Yoric·
94

Coding for a Finite World

yoric.github.io·3 pts·Yoric·
0

Ask HN: (When) will tech sector hiring recover?

2 pts·Yoric·
7

Ask HN: What's next for tech sector jobs?

1 pts·Yoric·
2

Mentored Bugs at Mozilla

yoric.github.io·1 pts·Yoric·
0

Possibly one small step towards named arguments in Rust

yoric.github.io·2 pts·Yoric·
0

Mozilla announces the first three Covid-19 Solutions Fund Recipients

blog.mozilla.org·2 pts·Yoric·
0

Ask HN: How can we help Italy against Covid-19?

3 pts·Yoric·
4

Ask HN: How do you work at home with at-home children?

1 pts·Yoric·
6

Units of Measure in Rust, with Refinement Types

yoric.github.io·4 pts·Yoric·
0

A minimal layoff survival guide

yoric.github.io·1 pts·Yoric·
0

When Fascism Comes to America, It Will Be Wrapped in the Flag

quoteinvestigator.com·3 pts·Yoric·
0

Thinkerbell: A minimal scripting language for the SmartHome (post-mortem)

yoric.github.io·2 pts·Yoric·
0

JS Binary AST – How to replace proving with validating for fun and profit

yoric.github.io·1 pts·Yoric·
0

Typestates in Rust

yoric.github.io·2 pts·Yoric·
0

JavaScript Binary AST: Motivations and Design Decisions

yoric.github.io·2 pts·Yoric·
0

Towards a JavaScript Binary AST

yoric.github.io·310 pts·Yoric·
205

Project Lighthouse: A post-mortem

yoric.github.io·2 pts·Yoric·
0

Things to do before your project dies

yoric.github.io·96 pts·Yoric·
3

Redox RFC 1: Userland capabilities

github.com·2 pts·Yoric·
0

1,000,000 Bug Sweepstake – Deadline Approaching

blog.gerv.net·1 pts·Yoric·
0

Why Firefox OS matters to me

dutherenverseauborddelatable.wordpress.com·2 pts·Yoric·
0

It's not about Webkit, silly. It's about evolution.

dutherenverseauborddelatable.wordpress.com·1 pts·Yoric·
0

Ocsigen Eliom 3 released

ocsigen.org·1 pts·Yoric·
0

Tales of Science Fiction Bugs: The Thing That Killed Talos

dutherenverseauborddelatable.wordpress.com·1 pts·Yoric·
0
Page 1 of 2Next →