nicolas-siplis

5 ms·

1.
Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com)
531 points by nicolas-siplis 14d ago|256 comments
2.
Ironsmith – A full grammar, parser, and compiler for Magic: The Gathering cards(chiplis.com)
2 points by nicolas-siplis 3mo ago|1 comments
3.
by nicolas-siplis 3mo ago
Hey HN! I've been working on this for the past few months and I think it's at the point where I'm ready for some user feedback. It's a WASM engine attempting to accurately model all of MTG's rules and cards. AFAIK,
4.
by nicolas-siplis 5mo ago
Million thanks for this! I stumbled upon XMage at some point but I didn't think of reusing their test suite. I'll see what Codex can cook up, I already have a WASM API which looks fairly similar to what XMage is doing for their te
5.
Show HN: A (de)compiler and parser/engine for custom Magic: The Gathering cards(chiplis.com)
4 points by nicolas-siplis 5mo ago|2 comments
6.
by nicolas-siplis 5mo ago
I'm actually working on this right now! https://chiplis.com/ironsmith It's a parser + (de)compiler and rules engine which I'm trying to get to 100% coverage over all Standard/Modern/Vintage/Com
7.
Ironsmith – MTG card (de)compiler and multiplayer rules engine(github.com)
2 points by nicolas-siplis 6mo ago|0 comments
8.
Show HN: Ironsmith – MTG card (de)compiler and multiplayer rules engine(chiplis.com)
1 points by nicolas-siplis 7mo ago|0 comments
9.
Gambeth – Decentralized parimutuel prediction market platform(gambeth.com)
1 points by nicolas-siplis 3y ago|1 comments
10.
by nicolas-siplis 3y ago
Hi HN! The last couple years I fell into an "interesting" relationship with "investing" and so I decided to focus my ludopathy into something remotely useful. Unfortunately, instead of that I bring to you... Gambeth! Any
11.
Show HN: Gambeth, fully decentralized, serverless prediction market platform(gambeth.com)
1 points by nicolas-siplis 3y ago|0 comments
12.
by nicolas-siplis 3y ago
Hey there, just wanted to thank you because you also fixed my Twitter Spaces downloader app[0]! After the API changes the default bearer token I was using (same as yours) stopped working, but after changing the same way you all's back
13.
by nicolas-siplis 3y ago
Been trying to find one through Twitter but haven't had any luck, would super appreciate an invite!
14.
by nicolas-siplis 3y ago
One might entertain a contrary perspective on the issue of ChatGPT. Rather than being a monolithic linguistic equalizer, it could be seen as a tool, a canvas with a wide spectrum of applications. Sure, some may choose to use it as a crutch,
15.
Show HN: IronBoy, a highly accurate GameBoy emulator written in Rust, runs WASM(nicolas-siplis.com)
33 points by nicolas-siplis 3y ago|5 comments
16.
by nicolas-siplis 4y ago
I remember reading the original version and thinking "Ah, this would be so much more grokkable if only I knew Haskell"... Delusions of grandeur are a marvelous thing!
17.
by nicolas-siplis 4y ago
I _think_ it still works as expected if you enter fullscreen mode from the browser itself, unless I'm misremembering.
18.
by nicolas-siplis 4y ago
Hey there! I've been working on a Game Boy emulator since last year and found the GameRoy project, which translates the PPU's logic from SameBoy, the (AFAIK) most accurate GB emulator around. I basically copied the PPU logic into
19.
by nicolas-siplis 4y ago
The explanation I read used Finding Wally as an example: I can put a piece of paper with Wally's silhouette cut off in front of the book. Align Wally to fit into the silhouette and you're done! The paper just needs to be consider
20.
by nicolas-siplis 4y ago
I have 0 experience with theorem provers (and almost 0 with proofs in general) but am at least somewhat aware of their existence. This might be the first time I feel like I can actually follow the code. Might start learning Oak because of t
21.
by nicolas-siplis 4y ago
I think the distinction lies in God being that which cannot be moved, having infinite power is not enough to be God.
22.
by nicolas-siplis 5y ago
Femme fatale is the first thing that comes to mind.
23.
Building a decentralized prediction market platform in 200 lines of Solidity(nicolas-siplis.com)
2 points by nicolas-siplis 5y ago|0 comments
24.
by nicolas-siplis 5y ago
Update: One of the Reddit devs just posted a comment with some more information: https://www.reddit.com/r/help/comments/s4095g/resolved_block...
25.
Ask HN: What the hell happened to Reddit on Firefox?
8 points by nicolas-siplis 5y ago|3 comments
26.
by nicolas-siplis 5y ago
Huh, I wonder if there's any relationship to the Hairy Ball theorem. They appear to describe similar situations, but on different dimensions.
27.
Show HN: Blockchain-based webapp allowing users to create arbitrary bets: WSBDD(wsbdd.net)
1 points by nicolas-siplis 5y ago|1 comments
28.
by nicolas-siplis 5y ago
Hi HN! These last couple weeks I've been working on what I believe is a really cool idea and think I'm finally ready to show you guys. WSBDD is a fully blockchain based web application, a single static page built using vanilla JS
29.
Show HN: Wsbdd – Wei Stakes by Decentralized Degenerates(wsbdd.net)
1 points by nicolas-siplis 5y ago|1 comments
30.
by nicolas-siplis 5y ago
Hi HN! These last couple weeks I've been working on what I believe is a really cool idea and think I'm finally ready to show you guys. WSBDD is a fully blockchain based web application, a single static page built using vanilla JS

More ›