HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azhenley

24,456 karmajoined 12 yıl önce
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·9 saat önce·0 comments

The Art of (Agent) War

certiv.ai
1 points·by azhenley·evvelsi gün·0 comments

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

susanrigetti.com
2 points·by azhenley·3 gün önce·1 comments

On vibe forks

rahulpandita.me
1 points·by azhenley·3 gün önce·0 comments

UVS Nirmana (A Game by Zach Barth)

store.steampowered.com
4 points·by azhenley·5 gün önce·1 comments

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

arxiv.org
2 points·by azhenley·5 gün önce·0 comments

Synthesis is harder than analysis

surfingcomplexity.blog
154 points·by azhenley·8 gün önce·41 comments

To tab or not to tab

arxiv.org
3 points·by azhenley·8 gün önce·0 comments

van Embde Boas tree

en.wikipedia.org
2 points·by azhenley·9 gün önce·0 comments

On Vibe Forks

rahulpandita.me
1 points·by azhenley·10 gün önce·0 comments

The test suite was the incident

christophermeiklejohn.com
2 points·by azhenley·10 gün önce·1 comments

Getting Started with Rhombus

docs.racket-lang.org
1 points·by azhenley·11 gün önce·0 comments

Loko Scheme 0.13.0

weinholt.se
24 points·by azhenley·12 gün önce·2 comments

Tug: An IDE for AI Coding

github.com
1 points·by azhenley·14 gün önce·1 comments

Compiler Education Deserves a Revolution

thunderseethe.dev
4 points·by azhenley·15 gün önce·0 comments

[untitled]

1 points·by azhenley·17 gün önce·0 comments

Instantiating UI Components with Distinguishing Variations [pdf]

static.barik.net
6 points·by azhenley·17 gün önce·0 comments

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

infoscience.epfl.ch
45 points·by azhenley·17 gün önce·13 comments

Arguzz: Testing ZkVMs for Soundness and Completeness Bugs

arxiv.org
2 points·by azhenley·19 gün önce·0 comments

OCaml 5.5 Released

discuss.ocaml.org
7 points·by azhenley·20 gün önce·0 comments

comments

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

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

:(
azhenley
·24 gün önce·discuss
Search doesn’t seem to work.
azhenley
·25 gün önce·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 gün önce·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
·geçen ay·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 ay önce·discuss
Good thing I’m actively writing a programming book!

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