Claire Xen  πŸ³οΈβ€βš§οΈ πŸ§™πŸ»β€β™€οΈ πŸ’–πŸ’›πŸ’™'s Avatar

Claire Xen πŸ³οΈβ€βš§οΈ πŸ§™πŸ»β€β™€οΈ πŸ’–πŸ’›πŸ’™

@clairexen.bsky.social

Neurodiverse Trans Geek Girl πŸ§™β€β™€οΈ Queer Kinky Poly Mess πŸ³οΈβ€πŸŒˆ πŸ³οΈβ€βš§οΈ CTO @YosysHQ 😺 RISC-V, SMT πŸ‘©β€πŸ’» Opinions are my Ceti eel's πŸ˜› ACAB BLM ✊ I am Antifa 🏴🚩 Vienna, Austria πŸ“Œ she/her πŸ§šβ€β™€οΈ

845 Followers  |  109 Following  |  141 Posts  |  Joined: 21.10.2023
Posts Following

Posts by Claire Xen πŸ³οΈβ€βš§οΈ πŸ§™πŸ»β€β™€οΈ πŸ’–πŸ’›πŸ’™ (@clairexen.bsky.social)

Preview
Don’t Panic, β€˜Wordle’ Hasn’t Run Out Of Five-Letter Words Just Yet Today's 'Wordle' answer will take a lot of dedicated daily players by surprise, but don't worry - it's not a mistake.

Yep. Seems to be real:
Don’t Panic, β€˜Wordle’ Hasn’t Run Out Of Five-Letter Words Just Yet share.google/5ApzE0CLR2Nh...

02.02.2026 17:04 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

That was a repeat of the very first word

02.02.2026 16:57 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Wordle 1,689 3/6*

🟨🟨🟨🟨⬜
🟩🟨🟨🟨⬜
🟩🟩🟩🟩🟩

... Oh wow. Did we just reach "the end of wordle"? πŸ€”

02.02.2026 11:33 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Wordle 1,651 2/6*

⬜⬜🟩⬜🟩
🟩🟩🟩🟩🟩

πŸŽ‰πŸŽ‰πŸŽ‰πŸŽ‰πŸŽ‰

26.12.2025 14:18 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,642 X/6*

🟨⬜🟩⬜🟨
🟩🟩🟩⬜🟩
🟩🟩🟩⬜🟩
🟩🟩🟩⬜🟩
🟩🟩🟩⬜🟩
🟩🟩🟩⬜🟩

Hahaha πŸ˜‚πŸ˜‚πŸ˜‚

17.12.2025 11:45 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,641 4/6*

⬜⬜⬜🟨🟨
⬜🟩⬜🟨⬜
🟩🟩⬜🟩⬜
🟩🟩🟩🟩🟩

That. Was. So. F*ing. Hard.

16.12.2025 22:31 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,576 5/6*

⬜🟩🟩🟩🟩
⬜🟩🟩🟩🟩
⬜🟩🟩🟩🟩
⬜🟩🟩🟩🟩
🟩🟩🟩🟩🟩

Hahaha. Crazy...

12.10.2025 08:27 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0
Slide from Hot Chips 2025:
"2025 TCMM Open Source Hardware Contribution Award:
Claire Wolf: In recognition of outstanding contributions to RISC-V β€”
including BitManip, RVFI, and PicoRV32β€”and to open-source tools like Yosys and IceStorm. [IEEE Computer Society TCMM / Technical Community on Microprocessors and Microcomputers]"

Slide from Hot Chips 2025: "2025 TCMM Open Source Hardware Contribution Award: Claire Wolf: In recognition of outstanding contributions to RISC-V β€” including BitManip, RVFI, and PicoRV32β€”and to open-source tools like Yosys and IceStorm. [IEEE Computer Society TCMM / Technical Community on Microprocessors and Microcomputers]"

Congratulations @clairexen.bsky.social: #HotChips / IEEE TCMM 2025 Open Source Hardware Contribution Award

27.08.2025 01:33 β€” πŸ‘ 31    πŸ” 11    πŸ’¬ 2    πŸ“Œ 1

Wordle 1,529 4/6*

🟩⬜⬜🟩⬜
🟩⬜⬜🟩⬜
🟩⬜⬜🟩⬜
🟩🟩🟩🟩🟩

26.08.2025 12:00 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,518 3/6*

⬜⬜⬜⬜🟨
⬜🟩⬜⬜⬜
🟩🟩🟩🟩🟩

15.08.2025 05:17 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,517 6/6*

⬜🟨⬜🟨⬜
🟨⬜⬜⬜🟨
⬜🟨🟨🟩⬜
⬜⬜🟩🟩🟩
⬜⬜🟩🟩🟩
🟩🟩🟩🟩🟩

Ok. Wow. Uff. That was pretty exciting. I'm starting to think they are running out of good words..

14.08.2025 10:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,515 4/6*

⬜⬜⬜🟩🟩
⬜⬜⬜🟩🟩
🟨🟩🟨🟩🟩
🟩🟩🟩🟩🟩

Posting this for my 3rd guess 😜

12.08.2025 10:35 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

So if you are currently involved with ISA-level decisions about inclusion of any pext/pdep-like instructions:

Please consider including SAG/inverse-SAG with bit-reversal of the goats.

No matter which of the two implementation methods you are using: All you need to do is not mask the goat bits.

25.07.2025 23:30 β€” πŸ‘ 4    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

So if you are currently involved with ISA-level decisions about inclusion of any pext/pdep-like instructions:

Please consider including SAG/inverse-SAG with bit-reversal of the goats.

No matter which of the two implementation methods you are using: All you need to do is not mask the goat bits.

25.07.2025 23:30 β€” πŸ‘ 4    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

At some point that patent will expire, and until then there's my implementation.

(And I think my approach will still stay relevant after, because it makes it very simple to build multi-cycle SAG cores.)

25.07.2025 23:30 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I think the really important takeaway is that they, my method and theirs, are both functionally the same, i.e. they both implement an SAG with bit-reversal of the goats.

This means, as far as the ISA is concerned, it's a safe decision to include an SAG instruction.

25.07.2025 23:30 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Wordle 1,498 4/6*

🟨⬜⬜⬜⬜
⬜🟩🟨⬜🟨
🟩🟩⬜⬜🟩
🟩🟩🟩🟩🟩

... back to normal ^__^

25.07.2025 23:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

Nah! No luck. πŸ™ˆ I was unsure which of the 4 options I could come up with to pick, and as it turned out, it was none of them... πŸ˜‚

But I'm still at 99% and that's all that really matters to me. (But tbh, it does matter to me way more than it probably should..)

25.07.2025 08:57 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Wordle 1,497 X/6*

⬜⬜🟨🟩⬜
⬜🟩⬜🟩🟩
⬜🟩⬜🟩🟩
⬜🟩⬜🟩🟩
⬜🟩⬜🟩🟩

... Wahhh! I have ~23 hours to decide on a last guess... /o\

24.07.2025 23:20 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Here is the code:
github.com/clairexen/ed...

I can't see any obvious reason why that identity should not extend beyond 8-bit units. But I have not actually tested that hypothesis yet.

24.07.2025 12:38 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

I have to make a correction regarding ☝️. I've now implemented the Hilewitz-Lee method as well in my edu-sag repository. And it implements the bit-reflecting-SAG as-is. All you have to do is to remove the '&ci' from the data input, thus it's always more area to implement PEXT than bit-reflecting-SAG.

24.07.2025 12:38 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Here is the code:
github.com/clairexen/ed...

I can't see any obvious reason why that identity should not extend beyond 8-bit units. But I have not actually tested that hypothesis yet.

24.07.2025 12:38 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

I have to make a correction regarding ☝️. I've now implemented the Hilewitz-Lee method as well in my edu-sag repository. And it implements the bit-reflecting-SAG as-is. All you have to do is to remove the '&ci' from the data input, thus it's always more area to implement PEXT than bit-reflecting-SAG.

24.07.2025 12:38 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Wordle 1,483 4/6*

🟩⬜🟩⬜⬜
🟩⬜🟩🟨🟩
🟩🟩🟩⬜🟩
🟩🟩🟩🟩🟩

11.07.2025 09:22 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,482 6/6*

⬜⬜⬜⬜⬜
⬜⬜⬜⬜⬜
⬜⬜🟩🟩🟩
⬜🟩🟩🟩🟩
⬜🟩🟩🟩🟩
🟩🟩🟩🟩🟩

.. that was a bit unusual.
but I still got it in the end ^__^

09.07.2025 22:51 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,474 4/6*

⬜🟨⬜🟨⬜
🟨🟨🟨⬜⬜
🟩🟩⬜🟨⬜
🟩🟩🟩🟩🟩

02.07.2025 05:03 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,473 3/6*

⬜⬜⬜🟨⬜
🟩🟩⬜🟨🟨
🟩🟩🟩🟩🟩

01.07.2025 08:04 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Wordle 1,462 5/6*

⬜⬜🟩⬜⬜
⬜⬜🟩⬜🟩
⬜⬜🟩🟨🟩
⬜🟨🟩🟩🟩
🟩🟩🟩🟩🟩

20.06.2025 17:19 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0
Preview
edu-sag/param.v at main Β· clairexen/edu-sag Educational 8-Bit Sheep-And-Goats (SAG) Verilog Reference IP - clairexen/edu-sag

I wrote a reference implementation for a SAG without bit reflection: github.com/clairexen/ed..., and I wrote a parametric SAG core for any bit width: github.com/clairexen/ed...

20.06.2025 16:04 β€” πŸ‘ 1    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Preview
edu-sag/param.v at main Β· clairexen/edu-sag Educational 8-Bit Sheep-And-Goats (SAG) Verilog Reference IP - clairexen/edu-sag

I wrote a reference implementation for a SAG without bit reflection: github.com/clairexen/ed..., and I wrote a parametric SAG core for any bit width: github.com/clairexen/ed...

20.06.2025 16:04 β€” πŸ‘ 1    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0