corpus.blog
41554 blogs · [ { "id": "01a0879b-a963-701e-b197-0e2ae871311e", "title": "On Applying LLMs To Verification 2: On 'Good Enough'", "url": "https://ljhsiung.com/posts/llm-verification-2/", "published_at": "2026-02-22T16:29:18+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2ae8b31bbc", "title": "Mini-SoK: On Applying LLMs to Verification", "url": "https://ljhsiung.com/posts/llm-verification/", "published_at": "2024-06-21T05:30:29+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2ae9456dca", "title": "What I Did in 2023, and Being Asian-American", "url": "https://ljhsiung.com/posts/2024/", "published_at": "2024-03-08T07:13:19+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2ae9ab964c", "title": "Luck", "url": "https://ljhsiung.com/posts/luck/", "published_at": "2023-10-05T07:02:40+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2aea8c6d30", "title": "A (Living, Incomplete?) Survey of CPU Attacks", "url": "https://ljhsiung.com/posts/cpu-attacks-1/", "published_at": "2023-10-03T22:30:09+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2aea965888", "title": "Costs of Creation 2: The Verification of LK99", "url": "https://ljhsiung.com/posts/scaling-2/", "published_at": "2023-08-17T04:50:41+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2aeb756846", "title": "Costs of Creation: The Need for Testing", "url": "https://ljhsiung.com/posts/scaling/", "published_at": "2023-08-08T06:10:50+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2aebf5a48b", "title": "What I Did in 2022", "url": "https://ljhsiung.com/posts/2023/", "published_at": "2023-01-22T07:16:28+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2aecd36d27", "title": "Review: A Phd Is Not Enough", "url": "https://ljhsiung.com/posts/a-phd-is-not-enough/", "published_at": "2022-04-13T04:49:12+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2aed4de77c", "title": "I Spent 600 Dollars to Whisper to Chips", "url": "https://ljhsiung.com/posts/i-spent-600-dollars/", "published_at": "2022-03-30T05:49:32+00:00" }, { "id": "01a0879b-a963-701e-b197-0e2aed615c4f", "title": "Cryptopals Set 5", "url": "https://ljhsiung.com/posts/cryptopals-set-5/", "published_at": "2021-10-09T16:13:11+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f3b9f6fd", "title": "Startup Ideas", "url": "https://ljhsiung.com/posts/startup-ideas/", "published_at": "2021-09-18T04:34:12+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f476ebb2", "title": "On Hardware Security (Part 1): The Problem", "url": "https://ljhsiung.com/posts/the-state-of-cpu-fuzzing/", "published_at": "2021-08-03T03:08:28+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f4b45a01", "title": "1,597,463,007", "url": "https://ljhsiung.com/posts/favorite-number-over-1million/", "published_at": "2020-09-02T02:40:32+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f5522724", "title": "Cryptopals Set 4", "url": "https://ljhsiung.com/posts/cryptopals-set-4/", "published_at": "2020-05-25T21:46:00+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f6052a92", "title": "Cryptopals Set 3", "url": "https://ljhsiung.com/posts/cryptopals-set-3/", "published_at": "2020-03-31T02:56:13+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f6cf9a9f", "title": "Cryptopals Set 2", "url": "https://ljhsiung.com/posts/cryptopals-set-2/", "published_at": "2020-02-25T08:24:55+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f71b6663", "title": "Cryptopals Set 1", "url": "https://ljhsiung.com/posts/cryptopals-set-1/", "published_at": "2020-01-21T21:26:40+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f7857eef", "title": "What I Learned in 2019", "url": "https://ljhsiung.com/posts/what-i-learned-in-2019/", "published_at": "2020-01-02T02:05:42+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f81b2b9d", "title": "Purpose of this Blog", "url": "https://ljhsiung.com/posts/my-first-post/", "published_at": "2019-09-08T00:00:00+00:00" }, { "id": "01a0879b-a964-734e-9750-c939f86696e9", "title": "About Me", "url": "https://ljhsiung.com/about/", "published_at": null }, { "id": "01a0879b-a964-734e-9750-c939f8e3c90c", "title": "Links", "url": "https://ljhsiung.com/links/", "published_at": null }, { "id": "01a0879b-a964-734e-9750-c939f93fd454", "title": "Mistakes", "url": "https://ljhsiung.com/mistakes/", "published_at": null } ] posts Claim your blog
Back to ljhsiung.com
Blog · corpus.blog/blogs/ljhsiung.com/posts

ljhsiung.com

ljhsiung.com

2026

On Applying LLMs To Verification 2: On 'Good Enough'original ↗
22 Feb 2026

2024

Mini-SoK: On Applying LLMs to Verificationoriginal ↗
21 Jun 2024
What I Did in 2023, and Being Asian-Americanoriginal ↗
8 Mar 2024

2023

Luckoriginal ↗
5 Oct 2023
A (Living, Incomplete?) Survey of CPU Attacksoriginal ↗
3 Oct 2023
Costs of Creation 2: The Verification of LK99original ↗
17 Aug 2023
Costs of Creation: The Need for Testingoriginal ↗
8 Aug 2023
What I Did in 2022original ↗
22 Jan 2023

2022

Review: A Phd Is Not Enoughoriginal ↗
13 Apr 2022
I Spent 600 Dollars to Whisper to Chipsoriginal ↗
30 Mar 2022

2021

Cryptopals Set 5original ↗
9 Oct 2021
Startup Ideasoriginal ↗
18 Sept 2021
On Hardware Security (Part 1): The Problemoriginal ↗
3 Aug 2021

2020

1,597,463,007original ↗
2 Sept 2020
Cryptopals Set 4original ↗
25 May 2020
Cryptopals Set 3original ↗
31 Mar 2020
Cryptopals Set 2original ↗
25 Feb 2020
Cryptopals Set 1original ↗
21 Jan 2020
What I Learned in 2019original ↗
2 Jan 2020

2019

Purpose of this Blogoriginal ↗
8 Sept 2019

Undated

About Meoriginal ↗
—
Linksoriginal ↗
—
Mistakesoriginal ↗
—