HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azhenley

24,456 karmajoined 12 lat temu
Applied science at Microsoft. AI and developer tools. Ex startup, ex professor at Carnegie Mellon University.

http://austinhenley.com

Submissions

The Conversation We're Not Having About AI in Peer Review

cabird.com
1 points·by azhenley·8 godzin temu·0 comments

The Art of (Agent) War

certiv.ai
1 points·by azhenley·przedwczoraj·0 comments

So you want to learn physics (second edition, 2021)

susanrigetti.com
2 points·by azhenley·3 dni temu·1 comments

On vibe forks

rahulpandita.me
1 points·by azhenley·3 dni temu·0 comments

UVS Nirmana (A Game by Zach Barth)

store.steampowered.com
4 points·by azhenley·5 dni temu·1 comments

Adoption and Impact of Command-Line AI Coding Agents at Microsoft [pdf]

arxiv.org
2 points·by azhenley·5 dni temu·0 comments

Synthesis is harder than analysis

surfingcomplexity.blog
154 points·by azhenley·7 dni temu·41 comments

To tab or not to tab

arxiv.org
3 points·by azhenley·8 dni temu·0 comments

van Embde Boas tree

en.wikipedia.org
2 points·by azhenley·9 dni temu·0 comments

On Vibe Forks

rahulpandita.me
1 points·by azhenley·10 dni temu·0 comments

The test suite was the incident

christophermeiklejohn.com
2 points·by azhenley·10 dni temu·1 comments

Getting Started with Rhombus

docs.racket-lang.org
1 points·by azhenley·11 dni temu·0 comments

Loko Scheme 0.13.0

weinholt.se
24 points·by azhenley·11 dni temu·2 comments

Tug: An IDE for AI Coding

github.com
1 points·by azhenley·14 dni temu·1 comments

Compiler Education Deserves a Revolution

thunderseethe.dev
4 points·by azhenley·15 dni temu·0 comments

[untitled]

1 points·by azhenley·17 dni temu·0 comments

Instantiating UI Components with Distinguishing Variations [pdf]

static.barik.net
6 points·by azhenley·17 dni temu·0 comments

RRB-Trees: Efficient Immutable Vectors (2012) [pdf]

infoscience.epfl.ch
45 points·by azhenley·17 dni temu·13 comments

Arguzz: Testing ZkVMs for Soundness and Completeness Bugs

arxiv.org
2 points·by azhenley·19 dni temu·0 comments

OCaml 5.5 Released

discuss.ocaml.org
7 points·by azhenley·20 dni temu·0 comments

comments

azhenley
·16 dni temu·discuss
There was some interesting discussion which data structure to use for Rhombus: https://github.com/racket/rhombus/discussions/221
azhenley
·17 dni temu·discuss
You can read about Shrubbery, just adding the Rhombus syntax in Racket:

https://docs.racket-lang.org/shrubbery/index.html
azhenley
·20 dni temu·discuss
I want to see Dang’s list of fav classics :)
azhenley
·20 dni temu·discuss
Writing a Lisp is one of my favorite projects. I try to do it every year or two, taking a different approach each time.
azhenley
·22 dni temu·discuss
> This article was not written by AI.

:(
azhenley
·24 dni temu·discuss
Search doesn’t seem to work.
azhenley
·25 dni temu·discuss
Are the 14,078 share events from unique users? If not, the usage rate would be even lower (<0.21% of users share but sometimes share multiple times).
azhenley
·29 dni temu·discuss
Blogs are free/cheap to host, not necessarily free/cheap to produce, and they might have a huge impact on the reader. I am happy to support my favorite content creators in a small way.
azhenley
·w zeszłym miesiącu·discuss
My agent checks my session logs to look for things that I should automate. I blogged about how I got there: https://austinhenley.com/blog/automatingmyjob.html Maybe I'll share some of the skills.
azhenley
·2 miesiące temu·discuss
Good thing I’m actively writing a programming book!

(Reading HN to procrastinate.)
azhenley
·3 miesiące temu·discuss
We used to call this “concept count”. You usually want to minimize the number of core concepts that make up your product. I’ve also heard it as the “nouns and verbs” of a product.
azhenley
·3 miesiące temu·discuss
I wish there was a writeup about the emulator. I did find the documentation for the language: https://spectre-docs.pages.dev

Over 900 commits and 400k loc to Spectre in less than 3 weeks has me thinking this is all AI.
azhenley
·3 miesiące temu·discuss
I spoke with a bunch of profs about how they were assessing students in the age of AI:

https://austinhenley.com/blog/aihomework.html
azhenley
·3 miesiące temu·discuss
Reminds me of Paper Website from the Tiny Projects series, discussed back in 2021.

https://daily.tinyprojects.dev/paper_website

https://news.ycombinator.com/item?id=29550812
azhenley
·4 miesiące temu·discuss
It was started 7 years ago.
azhenley
·4 miesiące temu·discuss
I was trying to compare the two. At first glance, MonoGame has far more stars and recent commits. Or is it just in maintenance mode?
azhenley
·5 miesięcy temu·discuss
It was a convention to denote a variation or version. Not sure how the trend started though.
azhenley
·5 miesięcy temu·discuss
A few of my games from 2009 are on here! Very cool.
azhenley
·5 miesięcy temu·discuss
You deduct the expenses you paid, not the income you hoped to earn.
azhenley
·5 miesięcy temu·discuss
> we use 256-bit integers in our hot paths and go up to 564 bits for certain edge cases.

Why 564 bits? That’s 70.5 bytes.