corpus.blog
41554 blogs · [ { "id": "01a08c65-6e97-73d1-9ff2-2f189c6fdb38", "title": "An Interesting Consequence of Bluespec's One Rule at a Time Semantics", "url": "https://yehowshuaimmanuel.com/posts/oraat-fifo/", "published_at": "2026-01-03T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189c7e3425", "title": "About", "url": "https://yehowshuaimmanuel.com/about/", "published_at": "2025-09-15T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189cfde98e", "title": "Graphics Pipelines and GPU Hardware : Lab Notes 1", "url": "https://yehowshuaimmanuel.com/posts/gpu1/", "published_at": "2025-09-11T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189d3655ad", "title": "My First Linux Kernel Contribution!", "url": "https://yehowshuaimmanuel.com/posts/firstlinuxkernelpatch/", "published_at": "2025-07-17T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189e354356", "title": "Working on ICanBuildIt.io", "url": "https://yehowshuaimmanuel.com/posts/icanbuiltit/", "published_at": "2025-07-17T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189eade45d", "title": "We wanted flying cars, instead we got 140 characters.", "url": "https://yehowshuaimmanuel.com/posts/140characters/", "published_at": "2025-03-02T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189ed8f1c5", "title": "PowerPC Retreat But Not Surrender", "url": "https://yehowshuaimmanuel.com/posts/powerpc-retreat-but-not-surrender/", "published_at": "2025-02-12T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189f147b95", "title": "Towards Simulating Verilog With Haskell", "url": "https://yehowshuaimmanuel.com/posts/towardssimulatingverilogwithhaskell/", "published_at": "2024-12-14T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189f4ddc40", "title": "Thoughts Probably Occur Outside Time and Space", "url": "https://yehowshuaimmanuel.com/posts/existential_reflections/", "published_at": "2024-08-25T00:00:00+00:00" }, { "id": "01a08c65-6e97-73d1-9ff2-2f189f5fce53", "title": "Sunsetting the Fastwave Backend", "url": "https://yehowshuaimmanuel.com/posts/sunsetting_fastwave/", "published_at": "2024-03-12T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b06418e51a", "title": "Unpacking Challenges from the POWER ISA: Why I'm Exploring RISC-V's Formal Models", "url": "https://yehowshuaimmanuel.com/posts/formal-specs-vs-prose/", "published_at": "2023-07-02T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b064947def", "title": "AI as a Utility", "url": "https://yehowshuaimmanuel.com/posts/ai-as-a-utility/", "published_at": "2023-06-13T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b064e3c4b4", "title": "Improving The Bluespec Compiler", "url": "https://yehowshuaimmanuel.com/posts/improving-bluespec/", "published_at": "2023-06-01T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b0655c09f4", "title": "An Interesting SBIR Topic", "url": "https://yehowshuaimmanuel.com/posts/sbir_topic/", "published_at": "2023-05-13T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b0659bda7b", "title": "Current Interests / Top Of Mind", "url": "https://yehowshuaimmanuel.com/posts/topofmind/", "published_at": "2023-05-12T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b06628e6f1", "title": "GoodBye Rust?", "url": "https://yehowshuaimmanuel.com/posts/goodbyerust/", "published_at": "2023-04-22T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b06649e937", "title": "Taking a look at Clash HDL", "url": "https://yehowshuaimmanuel.com/posts/taking-another-look-at-clash-copy/", "published_at": "2022-11-10T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b066b07355", "title": "Bluespec. The Rust of Hardware Design?", "url": "https://yehowshuaimmanuel.com/posts/bluespec-the-rust-of-hardware/", "published_at": "2022-10-07T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b066b6a490", "title": "Getting Started With Bluespec", "url": "https://yehowshuaimmanuel.com/posts/getting-started-with-bluespec/", "published_at": "2022-10-07T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b067a4abc5", "title": "Rational Points On an Elliptical Curve", "url": "https://yehowshuaimmanuel.com/posts/rational_points/", "published_at": "2022-09-07T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b067f17896", "title": "Programming Languages", "url": "https://yehowshuaimmanuel.com/posts/programming_languages/", "published_at": "2021-06-07T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b068e2728c", "title": "Thoughts From a Programmer", "url": "https://yehowshuaimmanuel.com/archives/", "published_at": "2019-05-28T00:00:00+00:00" }, { "id": "01a08c65-6e98-7061-bff1-38b068eeca37", "title": "The Craze for Retro", "url": "https://yehowshuaimmanuel.com/posts/the_craze_for_retro/", "published_at": "2016-11-19T00:00:00+00:00" } ] posts Claim your blog
Back to yehowshuaimmanuel.com
Blog · corpus.blog/blogs/yehowshuaimmanuel.com/posts

yehowshuaimmanuel.com

yehowshuaimmanuel.com

2026

An Interesting Consequence of Bluespec's One Rule at a Time Semanticsoriginal ↗
3 Jan 2026

2025

Aboutoriginal ↗
15 Sept 2025
Graphics Pipelines and GPU Hardware : Lab Notes 1original ↗
11 Sept 2025
My First Linux Kernel Contribution!original ↗
17 Jul 2025
Working on ICanBuildIt.iooriginal ↗
17 Jul 2025
We wanted flying cars, instead we got 140 characters.original ↗
2 Mar 2025
PowerPC Retreat But Not Surrenderoriginal ↗
12 Feb 2025

2024

Towards Simulating Verilog With Haskelloriginal ↗
14 Dec 2024
Thoughts Probably Occur Outside Time and Spaceoriginal ↗
25 Aug 2024
Sunsetting the Fastwave Backendoriginal ↗
12 Mar 2024

2023

Unpacking Challenges from the POWER ISA: Why I'm Exploring RISC-V's Formal Modelsoriginal ↗
2 Jul 2023
AI as a Utilityoriginal ↗
13 Jun 2023
Improving The Bluespec Compileroriginal ↗
1 Jun 2023
An Interesting SBIR Topicoriginal ↗
13 May 2023
Current Interests / Top Of Mindoriginal ↗
12 May 2023
GoodBye Rust?original ↗
22 Apr 2023

2022

Taking a look at Clash HDLoriginal ↗
10 Nov 2022
Bluespec. The Rust of Hardware Design?original ↗
7 Oct 2022
Getting Started With Bluespecoriginal ↗
7 Oct 2022
Rational Points On an Elliptical Curveoriginal ↗
7 Sept 2022

2021

Programming Languagesoriginal ↗
7 Jun 2021

2019

Thoughts From a Programmeroriginal ↗
28 May 2019

2016

The Craze for Retrooriginal ↗
19 Nov 2016