Scan to download
Coin: Djux53BYQQG36MFTkM6Eo2TqGNbjGFxcxtNkGg8Yfp81
replies: 4
Kani Audit (KANI): If you are forking percolator this is my LLM flow to minimize bugs. 1) use max thinking mode to generate a spec for feature X Loop: 1) is the spec succinct, unambiguous, formally verifiable in kani? W
Insults, Unwanted Sexual Content & Graphic Objectification, Unwanted NSFW & Graphic Content, Violent Event Denial, Targeted Harassment and Inciting Harassment
Child sexual exploitation, grooming, physical child abuse, underage user
Encouraging, promoting, providing instructions or sharing strategies for self-harm.
Graphic Content, Gratuitous Gore, Adult Nudity & Sexual Behavior, Violent Sexual Conduct, Bestiality & Necrophilia, Media depicting a deceased individual.
Please explain why should be removed.
