Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

raphael-proust

@raphaelp@types.pl
  • Open on types.pl

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

0 Followers
0 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

Posts

Open post
raphaelp
raphael-proust @raphaelp@types.pl · Jun 29, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @ercanbrack@mastodon.online
@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/
1
0
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · May 28, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @koronkebitch@types.pl
@koronkebitch@types.pl congratulations!
1
0
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · May 11, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @raphaelp@types.pl
@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
raphaelp
raphael-proust @raphaelp@types.pl · May 11, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @murz@elekk.xyz
@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
0
1
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · May 11, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @murz@elekk.xyz
@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
raphaelp
raphael-proust @raphaelp@types.pl · May 11, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @The_T@glaceon.social
@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
1
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · May 11, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @The_T@glaceon.social
@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
raphaelp
raphael-proust @raphaelp@types.pl · May 11, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @murz@elekk.xyz
@murz@elekk.xyz i have both the "two d10" version and the "golf ball" version
1
0
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · May 08, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @klara@wandering.shop
@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
Open post
raphaelp
raphael-proust @raphaelp@types.pl · Apr 30, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl

well i mean technically the straw is not made of plastic

3
0
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · Apr 25, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl

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
raphaelp
raphael-proust @raphaelp@types.pl · Apr 24, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @ionchy@types.pl
@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
raphaelp
raphael-proust @raphaelp@types.pl · Apr 24, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @ionchy@types.pl
@ionchy @bhaktishh with surround ds) (where ds is for delete surrounding)
0
4
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · Apr 20, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl

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/

1
1
0
0
Open post
raphaelp
raphael-proust @raphaelp@types.pl · Mar 21, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @koronkebitch@types.pl

@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
raphaelp
raphael-proust @raphaelp@types.pl · Feb 18, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @nasser@merveilles.town
@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
raphaelp
raphael-proust @raphaelp@types.pl · Feb 15, 2026
raphael-proust
@raphaelp@types.pl

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

types.pl
Replying to @markusde@types.pl
@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

Remote instance

types.pl
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

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: 10:52:52 UTC