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

raphael-proust

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

https://raphael-proust.gitlab.io/about.html

58 Followers
94 Following
17 Posts
Joined December 19, 2022
website:
https://raphael-proust.gitlab.io/about.html
website:
https://raphael-proust.github.io/about.html
puzzmo:
@raphael-p
Open post
raphael-proust @raphaelp@types.pl
· 5mo ago

well i mean technically the straw is not made of plastic

3
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 3mo ago
Replying to
@ercanbrack@mastodon.online there was a blog post about game dev where they said that Linux is a small player base, but the one that gives you the most and best quality feedback… might apply to other kind of dev? https://www.reddit.com/r/gamedev/comments/qeqn3b/despite_having_just_58_sales_over_38_of_bug/
reddit

Despite having just 5.8% sales, over 38% of bug reports come from the Linux community

koderski

1
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 4mo ago
Replying to
@The_T@glaceon.social @vaporeon_@glaceon.social @murz@elekk.xyz oh i find the golf ball readable enough and i dislike having to find the tens die and after the roll find which is which so i can add… but it is written pretty small i don't think the golf ball style is completely fair though, it doesn't seem too regular to me
2
2
0
0
Open post
raphael-proust @raphaelp@types.pl
· 4mo ago
Replying to
@koronkebitch@types.pl congratulations!
1
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 6mo ago
Replying to

@koronkebitch <3

Yes, I realize that my own field started as a way of automating and making logical arguments "objective" under some system.

some parts of cs yes, but i see pl specifically as very human oriented. it's making the tool (the computer) actually usable by humans. like how do we preserve the predictable and fast nature of electronic circuits but also make it something humans can do human things with. (the "preserving" part requires a lot of formalisms and proofs and all that, but the proof is only useful in that it allows you to confidently write correct doc/specs which is for humans.)

it's really telling that the answer to automate the human part of writing software is "use something which approximates a human-like behaviour (language)". (a bit like if the way to make a mechanical piano was to make a pair of mechanical hands.)

anyway, love the blogpost

2
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 4mo ago
Replying to
@murz@elekk.xyz @The_T@glaceon.social @vaporeon_@glaceon.social oh i also have a fully spherical d6 which has some sand (or like) in it, and always stops on one of the 6 markings on the sphere surface if you don't want to work out that puzzle in your head, i can give you the solution
1
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 4mo ago
Replying to
@murz@elekk.xyz @The_T@glaceon.social @vaporeon_@glaceon.social mine is hollow and has some kind of sand in it, this provides enough friction for it to stop quickly, it's also an ok maracas
1
1
0
0
Open post
raphael-proust @raphaelp@types.pl
· 4mo ago
Replying to
@murz@elekk.xyz @The_T@glaceon.social @vaporeon_@glaceon.social i'm not even sure there's a mathematical solution to making a theoretically correct golf ball… is there?
1
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 4mo ago
Replying to
@The_T@glaceon.social @vaporeon_@glaceon.social @murz@elekk.xyz i guess you need a flat and hard surface for it, maybe hard if you have a squishy rolling mat?
1
3
0
0
Open post
raphael-proust @raphaelp@types.pl
· 4mo ago
Replying to
@murz@elekk.xyz i have both the "two d10" version and the "golf ball" version
1
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 5mo ago

it's unsurprising that in the country of kettels, the chocolate powder are “add water, contains milk powder”

it's just that the country of kettels is also the country of milk being sold in a large selection of sizes in every corner shop

1
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 5mo ago
Replying to
@ionchy @bhaktishh also from the same author i'd recommend vim-repeat (allows you to use . (dot) to repeat surround operations, so ds).. deletes 3 pairs of brackets)
1
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 5mo ago

got my copy of Dice the Demiurge by @Sophie@dice.camp from dtrpg

looking forward to playing from a physical book, it's been polished a lot since last i play the alpha/beta releases!

https://sophiehoulden.com/dicethedemiurge/

sophiehoulden.com
1
1
0
0
Open post
raphael-proust @raphaelp@types.pl
· 7mo ago
@nasser voted yes with the goes-without-saying assumption that it doesn't load additional javascript from the internet, only uses local code
0
1
0
0
Open post
raphael-proust @raphaelp@types.pl
· 5mo ago
Replying to
@ionchy @bhaktishh with surround ds) (where ds is for delete surrounding)
0
4
0
0
Open post
raphael-proust @raphaelp@types.pl
· 7mo ago
Replying to
@markusde@types.pl you mean why don't pescetarian go all the way and become vegetarian bc what even is the thing w eating fish? (idk, fish delicious, fish nutritious, ask them) or why doesn't pescatrianism count as vegetarianism? it used to be that in france “végétarien” meant pescetarian (which was sure to cause lots of translation nightmare for vegetarian travelers). the meaning as changed now and it means vegetarian. but i guess to consider them the same you have to consider that fish are not animals?? which like fish obviously are, right?
0
0
0
0
Open post
raphael-proust @raphaelp@types.pl
· 5mo ago
Replying to
@klara@wandering.shop with xkb i'm pretty sure you can remap F codes to media codes and vice-versa so it should be doable… i don't know if you can do it via a setting or such
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: 22:33:13 UTC