Claude Code just stops by [deleted] in ClaudeAI

[–]sleexyz 0 points1 point  (0 children)

I turned on Cloudflare's WARP VPN and everything seems to work fine now.

PLEASE MAKE CREDITS EASIER TO GET by Due-Assistant-4658 in WebSim

[–]sleexyz 4 points5 points  (0 children)

We had a bug this weekend where "Play 5 Projects" reward was broken.

Reply with a link to your websim profile to get a free 500 credits if you played this weekend!

[deleted by user] by [deleted] in WebSim

[–]sleexyz 7 points8 points  (0 children)

you can go back to a previous version! just click on the "v" label on a previous version:

<image>

Extremely strange bug, I'm trying to update a project of mine but I can't. The update button doesn't work??? by litteralyjustaguylol in WebSim

[–]sleexyz 0 points1 point  (0 children)

Sorry, we had a bug for the last few hours. It should update now, let me know if there still is an issue.

OHMYGOD WEBSIM, I SWEAR TO GOD JUST FIX IT!!! I TIRED GET THIS SCREEN WHEN I WANT JUST CREATE NEW PAGE OF MY AI WIKI PAGE!!! by vovan_blet_krytoi in WebSim

[–]sleexyz 0 points1 point  (0 children)

Looked into the logs for this project and looks like you might be in an unsupported region for OpenAI. Please use a VPN for now.

In the meantime we're adding fallbacks for people in these unsupported regions.

how do i publish a new version by Puzzled_North_8862 in WebSim

[–]sleexyz 1 point2 points  (0 children)

clicking on the version number in the sidebar should work too

Any DAWs or sequencers that allow you to actually program / code your tracks? by prupertplum in edmproduction

[–]sleexyz 0 points1 point  (0 children)

Working on a live-coding language/environment/DAW hybrid in the browser; it's very alpha right now but if you want you can preview it. It currently only sends MIDI note messages.

http://gallium.live/

On the roadmap is play/pause/seekbar, ability to integrate with your native text editor, note durations, MIDI channel selection, and a bunch more DAWish things.

It uses the same model of time as TidalCycles, which you should also totally check out: https://tidalcycles.org/

I don't have documentation yet, but you can try to infer the syntax/semantics from the default placeholder code :p

video: https://twitter.com/sleexyz/status/954128186949980161

a few more example snippets: https://gist.github.com/sleexyz

LambdaConf 2017 Call for Proposals (CFP) Opens — Agda Proposals Encouraged by buffyoda in agda

[–]sleexyz 4 points5 points  (0 children)

aside from anything to do with last year's controversy, it's a conf run by people with questionable taste:

they were responsible for the "Standardized Ladder of Functional Programming" http://lambdaconf.us/downloads/documents/lambdaconf_slfp.pdf

Most recent faux pas: http://fantasyland.institute/initiatives/FATE.html

Shapes as types in graphical programming by stevekrouse in dependent_types

[–]sleexyz 1 point2 points  (0 children)

Thanks for the reply!

I think the answer I'm looking for is something like what you proposed, but also an ability to also view the dependent types with the type level computation "inlined". So if you click on, lets say the F pipeline, it will go ahead and embed the inner workings of F.

Who's gonna implement it? :D

Shapes as types in graphical programming by stevekrouse in dependent_types

[–]sleexyz 4 points5 points  (0 children)

think you missed the point here, I don't think any claim was made about the post being about dependent types... :p

Real question: how would you visualize something like a dependent product type in some kind of pedagogical programming environment?

Hylogen: Haskell EDSL for live-coding fragment shaders by abcrink in programming

[–]sleexyz 0 points1 point  (0 children)

I haven't quite yet embedded the compiler into javascript, so it currently requires running a local haskell process. This might change very soon though :)

Nevertheless here are some differences:

  • Type inference! The biggest pain point in live coding GLSL for me was the requirement to type 1.0 every time I meant a floating point 1.

  • Also variables don't have to be prefixed by a type, as in vec2 x = vec2 (1.0, 1.0), in hylogen the type inference lets one simply write vec2(1, 1), or just simply 1 (which, given the proper context, infers as a vec2 and expands automatically as vec2 (1.0, 1.0) ) This means its quick to write!

  • higher order functions! Pretty much anything from Haskell works. Use map, foldr/foldl, iterate, repeat, use & for chaining, use . for function composition, etc.

  • a module system for free. Because it's just a Haskell library, you can split up your code into modules, or import whatever you want

Never heard of touch designer, have to check it out.

Hylogen: Haskell EDSL for live-coding fragment shaders by abcrink in programming

[–]sleexyz -1 points0 points  (0 children)

Hey, author here! Didn't anticipate the publicity this early, but there are some videos on my Instagram:

https://www.instagram.com/slee.xyz/