HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azhenley

24,456 karmajoined vor 12 Jahren
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·vor 11 Stunden·0 comments

The Art of (Agent) War

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

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

susanrigetti.com
2 points·by azhenley·vor 4 Tagen·1 comments

On vibe forks

rahulpandita.me
1 points·by azhenley·vor 4 Tagen·0 comments

UVS Nirmana (A Game by Zach Barth)

store.steampowered.com
4 points·by azhenley·vor 5 Tagen·1 comments

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

arxiv.org
2 points·by azhenley·vor 5 Tagen·0 comments

Synthesis is harder than analysis

surfingcomplexity.blog
154 points·by azhenley·vor 8 Tagen·41 comments

To tab or not to tab

arxiv.org
3 points·by azhenley·vor 8 Tagen·0 comments

van Embde Boas tree

en.wikipedia.org
2 points·by azhenley·vor 9 Tagen·0 comments

On Vibe Forks

rahulpandita.me
1 points·by azhenley·vor 10 Tagen·0 comments

The test suite was the incident

christophermeiklejohn.com
2 points·by azhenley·vor 10 Tagen·1 comments

Getting Started with Rhombus

docs.racket-lang.org
1 points·by azhenley·vor 11 Tagen·0 comments

Loko Scheme 0.13.0

weinholt.se
24 points·by azhenley·vor 12 Tagen·2 comments

Tug: An IDE for AI Coding

github.com
1 points·by azhenley·vor 14 Tagen·1 comments

Compiler Education Deserves a Revolution

thunderseethe.dev
4 points·by azhenley·vor 15 Tagen·0 comments

[untitled]

1 points·by azhenley·vor 17 Tagen·0 comments

Instantiating UI Components with Distinguishing Variations [pdf]

static.barik.net
6 points·by azhenley·vor 18 Tagen·0 comments

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

infoscience.epfl.ch
45 points·by azhenley·vor 18 Tagen·13 comments

Arguzz: Testing ZkVMs for Soundness and Completeness Bugs

arxiv.org
2 points·by azhenley·vor 19 Tagen·0 comments

OCaml 5.5 Released

discuss.ocaml.org
7 points·by azhenley·vor 20 Tagen·0 comments

comments

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

https://docs.racket-lang.org/shrubbery/index.html
azhenley
·vor 20 Tagen·discuss
I want to see Dang’s list of fav classics :)
azhenley
·vor 20 Tagen·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
·vor 23 Tagen·discuss
> This article was not written by AI.

:(
azhenley
·vor 24 Tagen·discuss
Search doesn’t seem to work.
azhenley
·vor 25 Tagen·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
·vor 29 Tagen·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
·letzten Monat·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
·vor 2 Monaten·discuss
Good thing I’m actively writing a programming book!

(Reading HN to procrastinate.)
azhenley
·vor 3 Monaten·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
·vor 3 Monaten·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
·vor 3 Monaten·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
·vor 3 Monaten·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
·vor 4 Monaten·discuss
It was started 7 years ago.
azhenley
·vor 4 Monaten·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
·vor 5 Monaten·discuss
It was a convention to denote a variation or version. Not sure how the trend started though.
azhenley
·vor 5 Monaten·discuss
A few of my games from 2009 are on here! Very cool.
azhenley
·vor 5 Monaten·discuss
You deduct the expenses you paid, not the income you hoped to earn.
azhenley
·vor 5 Monaten·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.