all a / b / c / f / h / j / jp / l / o / q / s / sw / lounge cgi up wiki
[Settings] [Home] [Contact] [Catalog] [Search] [Thread list] [Report] [Watcher] [PMs] [Admin]
[Return] [Bottom]

Posting mode: Reply
Tegaki
Emotes
Kaomoji
Emoji
BBCode
(for deletion)
  • Allowed file types are: gif, jpg, jpeg, png, bmp, webp, swf, webm, mp4
  • Maximum file size allowed is 50000 KB.
  • Images greater than 200 * 200 pixels will be thumbnailed.
  • 12 unique users in the last 10 minutes (including lurkers)
Want your banner here? Click here to submit yours!
File: Screen Shot 2026-06-25 at 12.11.32 AM.png
(631 KB, 3346x1783) ▶
646210
No.186201 [Report] + AS
▶
I finally started working on implement an expression system for my SVS project.
>>
No.186227 [Report] +
▶
I just realized I can't code anymore just looking at this. :biggrin:
>>
No.186378 [Report] +
▶
What's SVS? Elaborate
>>
No.186381 [Report] +
▶
>>186227
it's just a bit hard to read because of those long variable names and rather "compressed" lines (although to be fair I also try not to add newlines whenever I can), the only thing i dont understand is what "positive" means in that for loop, is it a macro perhaps?
>>
No.186917 [Report] +
▶
>>186381
>the only thing i dont understand is what "positive" means in that for loop, is it a macro perhaps?
It is a macro. The macro maps to a custom attribute that would normally do nothing. However, I could use a special program to modify the code such that all accesses and writes to any variable tagged with that attribute have an assert statement x >= 0 inserted before/after.
The idea behind this is because I plan to use a bounded model checker to formally verify the program as free of undefined behavior. The idea is constrain the search space and avoid false positives.
>>
No.186918 [Report] +
▶
>>186378
SVS is singing voice synthesis.
Want your banner here? Click here to submit yours!
[Top]
Delete post: []
First
[1]
Last