Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Sam

@lenary@types.pl
mastodon 4.8.0-alpha.2+glitch
  • Open on types.pl

🧑‍💻 Compiler Engineer
🍟 RISC-V
🥸 Shitposts Are Mine Alone

0 Followers
0 Following
34 Posts
Joined November 21, 2022
website:
https://lenary.co.uk/
📷:
https://photos.lenary.co.uk/
pronouns:
he/him
wishlist:
https://uk.bookshop.org/wishlists/a87cc1a263d555888c073b830f642009f91b3674
Open post
Sam @lenary@types.pl
· 2mo ago
Replying to
@rk@mastodon.well.com @joe@f.duriansoftware.com GET /.well-known/updog
5
0
2
0
Open post
Sam @lenary@types.pl
· 3mo ago
Replying to
@steve@discuss.systems @whitequark@social.treehouse.systems did the previous owners? i guess sorta?
3
0
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@lzg@mastodon.social lena hours are used more quickly between 9-5
3
0
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@pigworker one of my big worries about LLMs is there's no pressure to reduce boilerplate. I hope you can provide that mechanism again. Yes I write C++ every day, how can you tell?
3
0
0
0
Open post
Sam @lenary@types.pl
· 4mo ago
Replying to
@pigworker@types.pl slepper is one who carries things, and slupper is the meal between lunch and supper.
2
2
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@pervognsen Nothing was sacred. It's now more sacred than it was. Though I think AMDGPU? wants to read (but not modify) the string for scheduling hints/annotations.
2
2
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@TomF@mastodon.gamedev.place this has four seats, if you fold open the back! It only has three forward gears with cast chasms between them so i hate to think how slow it would be with four.
1
0
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@TomF@mastodon.gamedev.place it would be if it was reliable and could get up any hills
1
2
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@TomF@mastodon.gamedev.place nope, a Triumph :) Some Austin 7s were Big but none Super.
1
2
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@fay59@tech.lgbt brave
1
0
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@thesamesam I'm not super familiar with how thin lto is orchestrated. I think that while there are separate threads, they can pull known definitions into partitions based on need, so controlling number of threads doesn't help much. I'm not sure though.
1
0
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@thesamesam ThinLTO in LLVM does some partitioning. Full LTO does a single Partition. Unified I think can do either.
1
2
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@ionchy high fiber cereal
1
1
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@dan genuinely surprised this isn't Zach
1
0
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@regehr@mastodon.social i mostly get this and then i have a good week where i remember… and buy eggs or whatever every time i visit a grocery store and end up with waaaaay too many
1
0
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@jneen@unstable.systems alright there pterry
1
1
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@wilbowma it doesn't help that the bib info from the ACM DL is 💩
1
0
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@zwarich @pervognsen risc-v will do things like rewrite registers in instructions, delete instructions, rewrite them with a smaller variant, etc etc etc. Now remember that alignment needs to be preserved and enjoy your headache.
1
0
0
0
Open post
Sam @lenary@types.pl
· 7mo ago
Replying to
@onpaperwings let's say there are 9 shelves in the stack: all 9 of them filled for 40 feet.
1
1
0
0
Open post
Sam @lenary@types.pl
· 7mo ago
Replying to
@regehr@mastodon.social one worry I would have about this is whether using a reducer is "reasonable". I know it's "needed" for humans to analyse the problems, but I don't know if the claude compiler has a compositional enough structure that big programs hit the same problems small programs do (I know clang etc *do* have this structure but that's because they were written by humans). This feels like some opposite to the "small model theory" we get in program synthesis for working out which candidates are likely to be most general. I guess that's easy to verify by checking all the pre-shrinking cases are fixed by the fixes to the reduced bugs, and maybe against all the intermediate shrunk programs.
1
1
0
0
Open post
Sam @lenary@types.pl
· 46mo ago
Replying to
@sunfish I haven't tried the transformation shown in this paper combined with LTO (which does cross-module inlining), but it seems best to just hide the accesses behind calls anyway.
1
1
0
0
Open post
Sam @lenary@types.pl
· 46mo ago
Replying to
@sunfish *especially* as you end up needing a volatile kind of memcpy for some kinds of MMIO buffer accesses, which is very easy for C compilers to mess with in unforseen ways.
1
0
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@edwinb plenty of time for mischief and high jinks. Care to disclose any plans?
0
0
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@pervognsen I don't have data to back this up but I presume this exact inline asm string in the x86 callback was in a core header/library somewhere, called from a hot loop, and this made a specific benchmark faster on a machine that had a better core than the header presumed.
0
0
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@zwarich @pervognsen let me introduce you to RISC-V Linker Relaxations, which both inspect and modify machine code bytes to change the sequence to better ones (they still use relocations)
0
3
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@dev@discuss.systems god american drivers are such trash. In the UK you don't move until the lights stop flashing, regardless of the barriers, so they can put the barriers down again without turning them off.
0
0
0
0
Open post
Sam @lenary@types.pl
· 7mo ago
Replying to
@meowray@hachyderm.io I'm not sure that "Recommendation for future architectures" is entirely correct. Let's say I have two instructions, one that's some kind of "jump and set return address", and a similar one that doesn't set the return address (otherwise identical layout for the pc-relative operand). Yes, the one that sets the return address is allowed to use the PLT (but doesn't have to), so a CALL relocation is reasonable for this instruction, and for tail calls that use the instruction that doesn't set the return address. BUT this doesn't address that you can use the non-return-address-setting instruction for jumps within a function, where the PLT-clobbered registers may still be live. So you still end up with two relocations (a Call relocation and a Jump relocation) that are very similar, just the call relocation is allowed to use the PLT if it feels like it, and the Jump is not.
0
1
0
0
Open post
Sam @lenary@types.pl
· 5mo ago
Replying to
@TomF@mastodon.gamedev.place "Super Seven" is two different cars and only one would be seen at a track day. I own the other
0
2
0
0
Open post
Sam @lenary@types.pl
· 3mo ago
Replying to
@mwichary@mastodon.online oooh is this reusing pin matrices that also got used on synths? What are they originally for?
0
0
0
0
Open post
Sam @lenary@types.pl
· 7mo ago
Replying to
@JamesWidman@mastodon.social @zygoloid@hachyderm.io I don't think he's saying the signed integer type doesn't exist, just that it cannot represent 0.
0
1
0
0
Open post
Sam @lenary@types.pl
· 6mo ago
Replying to
@bentnib@types.pl but what color are they?
0
1
0
0
Open post
Sam @lenary@types.pl
· 4mo ago
Replying to
@pigworker@types.pl OED claims slep is a noun, an archaic term for to sleep. That's not interesting enough either.
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 18:13:55 UTC