Posts by hyperrealgopher@fosstodon.org
(DIR) Post #ACxUzLEYmQ05kr6b7Q by hyperrealgopher@fosstodon.org
2021-11-01T13:43:09Z
0 likes, 0 repeats
This has inspired me to probably take a look at #Isabelle for formal verification. I have a project I might use it for!https://www.youtube.com/watch?v=93ihwerN93M&t=1197s
(DIR) Post #AD9mvJQ9hzKY2sHDNY by hyperrealgopher@fosstodon.org
2021-11-07T12:00:38Z
0 likes, 0 repeats
I solved the #doublecola problem in #haskell.Read about the problem here: https://codeforces.com/problemset/problem/82/AMy solution: https://gist.github.com/hyperrealgopher/98ac52518a72363b077a6352e9963ed5
(DIR) Post #ADLCEJSLdArNWTK8lE by hyperrealgopher@fosstodon.org
2021-11-13T00:06:01Z
0 likes, 0 repeats
The #gopherhole builder I made is actually pretty advanced and I should document all its wonderful features and show it off... maybe I'll start a wiki soon.https://github.com/hyperrealgopher/burrow/blob/master/src/FrontMatter.hsJust look at what you can do with the frontmatter, for instance.
(DIR) Post #AIS6B89lNAN1sraxvM by hyperrealgopher@fosstodon.org
2022-04-14T21:21:42Z
0 likes, 0 repeats
I'm still here! Not dead. I've actually been working on various #haskell projects in secret and taking some time to grow some of my other pursuits/hobbies.
(DIR) Post #AIS6I9ovaIlf4VCTyq by hyperrealgopher@fosstodon.org
2022-04-14T21:22:58Z
0 likes, 0 repeats
@alcinnz Hello, it's been a while since I signed on to fosstodon and I just wanted to reach out to you. How are things?
(DIR) Post #AIS6LOAShKpURCoVJQ by hyperrealgopher@fosstodon.org
2022-04-14T21:23:34Z
0 likes, 0 repeats
I'm using #debian unstable these days.
(DIR) Post #AIS7WcjsxikmlmItpw by hyperrealgopher@fosstodon.org
2022-04-14T21:36:43Z
0 likes, 0 repeats
@alcinnz Oh you gave a talk at LIbrePlanet! That's so neat! This talk: https://media.libreplanet.org/u/libreplanet/m/you-wouldn-t-hate-artificial-scarcity/What's something really fun or a new passion within GNU/Linux you have? For me it's learning that I really like Debian unstable. Oh, also I got a #framework laptop!Wow, that text rendering library sounds cool!Thanks for taking the time to update me, Adrian.
(DIR) Post #AIS7n6CZBlM8mOZinA by hyperrealgopher@fosstodon.org
2022-04-14T21:39:46Z
0 likes, 0 repeats
@gruerproof Welcome to Fosstodon!
(DIR) Post #AIS7ok8sB10YwTdDCC by hyperrealgopher@fosstodon.org
2022-04-14T21:40:05Z
0 likes, 0 repeats
@LionelBonnaz Hello and welcome to Fosstodon!
(DIR) Post #AISULPEb86dIe7Hzk0 by hyperrealgopher@fosstodon.org
2022-04-15T01:52:29Z
0 likes, 0 repeats
@alcinnz One of the best purchases I've ever made. Extremely happy with my purchase. No regrets. The only downside is a battery life that can be tuned. I got the DIY edition and built everything and got an SSD that was all centered around battery life to compensate for the bad battery life.What are your favorite command line tools? One of my favorites is #zpaq.
(DIR) Post #AIcNmBKe3w1AxY6Srg by hyperrealgopher@fosstodon.org
2022-04-19T20:25:59Z
0 likes, 0 repeats
@hecate hey I was told you'd be the person to talk to if I wanted to contribute to making #haskell more accessible, namely they said you might be able to direct me to things that need documentation and the sort, I think?
(DIR) Post #AIcO7kkPaE3CsdRQ9I by hyperrealgopher@fosstodon.org
2022-04-19T20:29:54Z
0 likes, 0 repeats
@hecate Sorry for the ping-and-delete, I was redrafting my toot.I heard from Richard Eisenberg, while discussing my desire to help Haskell become more accessible, that you'd be a good person to talk to as a good starting point, especially with regard to your knowledge of where documentation is needed.
(DIR) Post #AIeWRgMwlAe32eOq3s by hyperrealgopher@fosstodon.org
2022-04-20T21:12:33Z
0 likes, 0 repeats
@hecate Nothing at the moment. Just wondering where I can help out to make Haskell more accessible.
(DIR) Post #AIeWUBBHAoPLBL8CtE by hyperrealgopher@fosstodon.org
2022-04-20T21:13:00Z
0 likes, 0 repeats
@hecate Nothing at the moment. Just wondering where I can help out to make Haskell more accessible. Although, I did feel like Scotty could've used more documentation. I'm not sure how I feel about it as a framework, though.
(DIR) Post #AItJHZCGTJKg7jMbFA by hyperrealgopher@fosstodon.org
2022-04-28T00:25:45Z
0 likes, 0 repeats
Haskell syntax highlighting broken in VSCodium 1.66.2. HLS 1.7.0.0. ghcup 0.1.17.7. ghc 8.10.7.
(DIR) Post #AItJUX8VRc35Utmx0a by hyperrealgopher@fosstodon.org
2022-04-28T00:28:06Z
0 likes, 0 repeats
Haskell syntax highlighting broken in VSCodium 1.66.2. HLS 1.7.0.0. ghcup 0.1.17.7. ghc 8.10.7. Downgrading (in VSCOdium) Haskell Syntax Highlighting extension to v3.3.0 (dependency of the Haskell extension) fixed the issue.
(DIR) Post #AJh7Nza7Owhlq0h768 by hyperrealgopher@fosstodon.org
2022-05-22T01:08:01Z
0 likes, 0 repeats
@someodd I've been programming for a long time. I can't believe how long it takes to figure out how to perform very basic database queries using this library. Not only that but it has absurd limitations. For example, you can't seem to select only specific fields, you can only select keys *or* everything from the database record. Unacceptable. Am I wrong?
(DIR) Post #AL1yOrvbEBg7YGWOo4 by hyperrealgopher@fosstodon.org
2022-07-01T00:28:22Z
0 likes, 0 repeats
Please follow @someodd!
(DIR) Post #ALqSpu0ipvWKHnxhPk by hyperrealgopher@fosstodon.org
2022-07-25T09:04:58Z
0 likes, 0 repeats
Is there a nice server setup/dashboard if I want to deploy services using Docker? I have a server at home and I tend to put webapps I make in Docker containers.
(DIR) Post #AMAPgc1xwOV6SJWTvE by hyperrealgopher@fosstodon.org
2022-08-04T00:03:54Z
0 likes, 0 repeats
I'm not dead. I'm going to forward you to another account.