Recent submissions

Comment · 10 months ago
I'm working on a visual watchface builder for Garmin smartwatches currently. Think like Canva but for a watchface. It's not released yet, but coming along well. I'd like to support other brands too, like Pebble.
Comment · 10 months ago
I think this is awesome. I'd love to see alternatives to React for the SSR. Potentially a Ducklang UI library so I don't have to write divs and useState()
Comment · 1 year ago
I am thinking you opened an issue. Thank you! I added one.
Comment · 1 year ago
It would be possible, but I don't have a good ldap server to test on, especially one I can modify config changes. If you'd like to contribute to the repo, adding a test ldap server that can be used for development would enable a lot more features.
Comment · 1 year ago
Haven't tested, but i think it should. it's using Go's LDAP library in the background
Comment · 1 year ago
I don't have a way to debug windows, so atm it's kind wysiwyg.

#2 is a great idea. open a ticket if you'd like.

Comment · 1 year ago
I hate it so much. And it barely works with newer macs.
Comment · 1 year ago
Will do!
Comment · 1 year ago
You're very welcome!
Comment · 1 year ago
Thank you!
Comment · 4 years ago
The lack of integrated terminal or method of running a go program makes me question what use this is to someone. Until either of those is implemented, this is a no-go for me. Not even mentioning that it costs money to use without adding any value over free editors.
Comment · 4 years ago
I went to school at K-State and was best friends with one of the original developers of this software. Eventually, I took a formal logic class with a professor in the philosophy department, Graham. He is involved to a large extent in this as well. One of the best professors I had—-incredibly intelligent and patient and all around good.

I would highly recommend people check out Carnap. Having used Z3 and Alloy in other classic, Carnap was by far the best one I used. Very fast and it gave actually useful error messages. It was also so cool how it could represent different types of logic systems. The whole thing is like a cool blag magic to me.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton