#Haskell

I wonder if today's (14) #AdventOfCode task was specifically designed to be difficult for AI to solve due to vague specification, or if that's actually a problem that AI is particularly good at.

I was first slightly annoyed at having to guess, but then I got it with my first solution attempt (in #haskell), so I'm happy enough.

Haskell Weekly

@[email protected]

[Well-Typed] GHC activities report: September-November 2024

https://www.well-typed.com/blog/2024/12/ghc-activities-report-september-november-2024/

Discussions: https://discu.eu/q/https://www.well-typed.com/blog/2024/12/ghc-activities-report-september-november-2024/

#haskell #programming

Philipp

@[email protected]

#AdventOfCode in #haskell, day 13. First part was pretty easy. Second part would have been easy if sbv wasn't broken in #nixpkgs. I didn't want to just increase the precision.

José A. Alonso

@[email protected]

Readings shared December 11, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/11-readings_shared_12-11-24 #ITP #IsabelleHOL #Logic #Math #SetTheory #Haskell #FunctionalProgramming

Haskell Weekly

@[email protected]

Solving a ResourceT-related space leak in production

https://exploring-better-ways.bellroy.com/solving-a-resourcet-related-space-leak-in-production.html

Discussions: https://discu.eu/q/https://exploring-better-ways.bellroy.com/solving-a-resourcet-related-space-leak-in-production.html

#haskell #programming

#Haskell question: Is there a function for "reapply this function to a starting value N times"? e.g. `doTimes (*2) 3 1` would return `8` ((*2) $ (*2) $ (*2) $ 1). I know I could chain take and iterate and then do a Data.List.last, but that has crumby performance for very large values of N.

Haskell Weekly

@[email protected]

Internship opportunity with NASA programming in Rust

https://stemgateway.nasa.gov/s/course-offering/a0BSJ000000KS9p2AG/flight-software-in-rust

Discussions: https://discu.eu/q/https://stemgateway.nasa.gov/s/course-offering/a0BSJ000000KS9p2AG/flight-software-in-rust

#haskell #programming #rustlang

Haskell Weekly

@[email protected]

Haskell Interlude 59: Harry Goldstein

https://haskell.foundation/podcast/59/

Discussions: https://discu.eu/q/https://haskell.foundation/podcast/59/

#haskell #programming

Aly-Bocar

@[email protected]

#haskell people
I hope you're doing fine !

I got this every time I compile, I'm tired of it. Any idea why ?

José A. Alonso

@[email protected]

When is a call stack not a call stack? ~ Chris Smith. https://cdsmithus.medium.com/when-is-a-call-stack-not-a-call-stack-f7f12d7aabbe #Haskell #FunctionalProgramming

José A. Alonso

@[email protected]

Readings shared December 10, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/10-readings_shared_12-10-24 #Haskell #Python #Math #Logic #SMT #Z3 #Python #LLMs #Prolog #LogicProgramming

Haskell Weekly

@[email protected]

When is a call stack not a call stack?

https://cdsmithus.medium.com/when-is-a-call-stack-not-a-call-stack-f7f12d7aabbe

Discussions: https://discu.eu/q/https://cdsmithus.medium.com/when-is-a-call-stack-not-a-call-stack-f7f12d7aabbe

#haskell #programming

Haskell Weekly

@[email protected]

Parser Combinators Beat Regexes

https://entropicthoughts.com/parser-combinators-beat-regexes

Discussions: https://discu.eu/q/https://entropicthoughts.com/parser-combinators-beat-regexes

#haskell #programming

Philipp

@[email protected]

#AdventOfCode in #Haskell, day 10 was a breeze and also quite fun. Still didn't use comonads because of time constraints. 😐

Haskell Weekly

@[email protected]

The Haskell Programmer's Guide to the IO Monad

https://stefan-klinger.de/files/monadGuide.pdf

Discussions: https://discu.eu/q/https://stefan-klinger.de/files/monadGuide.pdf

#haskell #programming

Björn Gohla

@[email protected]

Anyone looking for a #Haskell Job, #Berlin or remote in EU/EEA?

~I will update this post when I have more details.~

Here is the job posting: https://careers.scrive.com/jobs/5365423-haskell-developer

We are also looking for an #elm engineer.

Haskell Weekly

@[email protected]

3D Printed Programming Language Logo Tree Ornaments: Designed in Haskell

https://github.com/joe-warren/christmas-ornaments

Discussions: https://discu.eu/q/https://github.com/joe-warren/christmas-ornaments

#haskell #programming

洪民憙 (Hong Minhee)

@[email protected] · Reply to 洪民憙 (Hong Minhee)'s post

It supports #Deno, #Node.js, #Bun, #Python, #Go, #Rust, #Java, and #Erlang out of box. Excellent! I with it would support #Haskell as well though.

https://mise.jdx.dev/core-tools.html

Anupam 《ミ》λ≡

@[email protected]

I have a #Linux machine with 32GB RAM and barely use 8GB of it. I run #Firefox with hundreds of tabs, open #Haskell, #Rust, and #PureScript projects all at the same time. Have #Telegram and #Discord apps running, and the memory usage still hovers around 8GB.Seems like I should be using Docker and Kubernetes just to feel like I'm using my machine to its potential 😆

Boyd Stephen Smith Jr.

@[email protected]

Would it be insane to create a git repository that has #Haskell, #Purescript, AND #Idris packages in it?

My main concern is that some of the package distribution tooling I've dealt with seems to assume/prefer the package is at the top-level of the git repo.

Should I be using *submodules*!? (Plz, no!)

I think it's going to be informative to keep the packages coherent, and one repo seems like it could be a way to do that.

kakkun61

@[email protected]

間に合うのかねえ #技術書典 #Haskell

justsoup

@[email protected]

Since I am the newest Trusted Contributor with #postmarketOS I thought I would give a little introductory post.

Heyo! My name is Aster (he/they) and I do stuff with #Linux! I am hard at work getting immutability up and running on pmOS with the help of the amazing work being done to port #systemd.

You may know me for my work on #Lomiri on pmOS, my favorite #MobileLinux desktop environment!

I also dabble in #Rustlang and a bit of #Haskell.

Excited to work with all of y'all!

Jesper Agdakx

@[email protected]

For Haskell packages published on Hackage, do you prefer version bounds on dependencies to be narrower or wider?

narrow ~ “We have tested that the package builds with dependencies that fall in this range”

wide ~ “Things are very likely to break if you use a version outside of this range, but we haven’t necessarily tested every version in it”

Case in point, I’m considering for agda2hs whether to bump the bound on base to only include the versions we actually test on CI, or to also include older versions that might still work but aren’t currently tested.

#Haskell #hackage #packages #agda

Anupam 《ミ》λ≡

@[email protected]

There is a fundamental difference between #complexity for the sake of convenience (I can build an entire app quickly. Think #JavaScript framework of the day), vs complexity for the sake of robustness (I can make changes to the app quickly without introducing new bugs. Think #Rust or #Haskell).

When you are not familiar with the tech, both can look the same, but they are not. The latter is actually #simplicity in disguise

Philipp

@[email protected]

In #haskell, is there a way to have doctests that just compile and not run? I have some IO code that I cannot execute in an isolated fashion.

MrBerard 😎👉👉

@[email protected]

#introduction

Mastodon's global search only works on hashed tags, not text, so:

#ComputerScience
#SoftwareEngineering
#Education
#UK Teacher
#Python
#Haskell
#InfoSec
#Processing
#AI
#Computing
#ComputingEducation
#SoundEngineering
#MusicProduction
#Music
#Comedy
#Standup
#French
#London

RanaldClouston

@[email protected]

I've been on Mastodon for a year, so it's time for a new pinned #introduction post with an updated dog pic! I'm a lecturer in #computerScience at Australian National University #ANU in #Canberra , #Ngunnawal / #Ngambri country. I research #typeTheory , #logic , #proofTheory and a little #categoryTheory , and teach an intro to programming class in #Haskell . Sometimes I post about work; when I'm busy at work I'm more likely to post about #books , my #labradoodle , and other pleasant distractions

A black shaggy labradoodle in a red harness stands on some grass, looking with open mouth at the camera

Timothy Wolodzko

@[email protected]

#c - what if everything was a pointer
#lisp - what if everything was a linked list
#haskell - what if everything was a pure function
#forth - what if everything was a stack
#lua - what if everything was a hash map
#erlang - what if everything was immutable
#prolog - what if everything was a pattern to match
#java - what if everything was a class
#rust - what if everything was a memory allocation problem
#golang - what if everything != nil
#javascript - what if everything was everything

Haskell Weekly

@[email protected]

Why is Prettier rock solid? Haskell!

https://mrmr.io/til/prettier

Discussions: https://discu.eu/q/https://mrmr.io/til/prettier

#haskell #programming

Joe

@[email protected]

If anyone's interested in the combination of #Haskell & #CAD / #3DPrinting I've been working on a library for declarative solid modeling

https://hackage.haskell.org/package/waterfall-cad-0.0.0.1
https://github.com/joe-warren/opencascade-hs

A solid of revolution, specifically a Pawn chess piece, rendered in grey on a blue background

An involute gear, relatively thin, 20 teeth, rendered in grey on a blue background

result of sweeping a kind of "rounded star" shape along a curved line, looks kind of like a line of toothpaste, rendered in grey on a blue background,

A rounded cube, with cylinders cut into it (an example of constructive solid geometry), rendered in grey on a blue background

HoldMyType

@[email protected]

I am not fully convinced here , maybe lazy eval is a cult

In a lazy evaluation scheme, the evaluation of an expression is deferred until the
value of the expression is actually needed elsewhere in the computation. That
is, the expression is evaluated on demand. This contrasts with what is called
eager evaluation in which an expression is evaluated as soon as its inputs are
available.
For example, if eager evaluation is used, an argument (which may be an arbi-
trary expression) of a function call is evaluated before the body of the function.
If lazy evaluation is used, the argument is not evaluated until the value is actu-
ally needed during the evaluation of the function body. If an argument’s value
is never needed, then the argument is expression is never evaluated.
Why should we care? Well, this facility allows programmers to construct and
use data structures that are conceptually unbounded or infinite in size. As
long as a program never actually needs to inspect the entire structure, then a
terminating computation is still possible.
For example, we might define the list of natural numbers as a list beginning
with 0, followed by the list formed by adding one to each element of the list of
natural numbers.
Lazy evaluation thus allows programmers to separate the data from the control.
They can define a data structure without having to worry about how it is
processed and they can define functions that manipulate the data structure
without having to worry about its size or how it is created. This ability to
separate the data from the control of processing enables programs to be highly
modular
#haskell
https://john.cs.olemiss.edu/~hcc/csci450/notes/haskell_notes.pdf

Haskell Weekly

@[email protected]

Anti-Instances in Haskell

https://www.heneli.dev/blog/anti-instances

Discussions: https://discu.eu/q/https://www.heneli.dev/blog/anti-instances

#haskell #programming

Haskell Weekly

@[email protected]

Difference between type variables, unification variables and skolems

https://cohost.org/prophet/post/2220730-if-there-is-one-piec

Discussions: https://discu.eu/q/https://cohost.org/prophet/post/2220730-if-there-is-one-piec

#haskell #programming

José A. Alonso

@[email protected]

falsify: Hypothesis-inspired shrinking for Haskell. ~ Edsko de Vries. https://well-typed.com/blog/2023/04/falsify/ #Haskell #FunctionalProgramming

HoldMyType

@[email protected]

A category with a terminal object, products and exponentials
is called a Cartesian Closed Category (CCC). N
For example, Set is a CCC. Another class of examples are Boolean algebras,
seen as categories:
• Products are given by conjunctions A ∧ B. We define exponentials as im-
plications:
A ⇒ B := ¬A ∨ B .
• Evaluation is just Modus Ponens,
(A ⇒ B) ∧ A ≤ B
while couniversality is the Deduction Theorem,
C ∧ A ≤ B ⇐⇒ C ≤ A ⇒ B
#haskell

HoldMyType

@[email protected]

defenseless thesis on 🧅s

Abstract:
later
Author :
Me
Assumption :
1. there are no onions , such that number of layers of an onion are 0 .
Law : You have no way to record all you knife ops .
2. Given theory T , for \[x \in T \], x need not be either true or false
if onions here are a functor they are also free monad
\[Op\]- now you peel of a layer from one
\[Op^{-1}\]you can wrap it back too
when you do that , you have a monoid.
How do you write a computable abstract syntax tree (AS A monad computation) for these ops
REFERENCES - LATER
To be contd
#HASKELL

HoldMyType

@[email protected]

So one way to define #continuousintegration is to write recursive function that defines its inputs in terms of the outputs, which the function gives using initial inputs and so on.
So domain corresponds to rand and vice versa and this describes continuity of the function?
Can we define the continuity in #math like this
Why types should I use if i write it in #haskell
Aha others are thinking about it too
Albeit, i don't think I can treat arrows like applicatives in my approach
Quote
fetching gives you a source promise and you want an image promise
writing pipelines using arrow notation is difficult because we have to program in a point-free style (without variables).
ci- is cool
https://codeberg.org/Codeberg-CI/request-access
https://roscidus.com/blog/blog/2019/11/14/cicd-pipelines/
via @talex5

lispwitch

@[email protected]

kradvortoj

#anarchism #ancientgreek #anthropology #baduk #bicycling #boardgames #calligraphy #chess #classicalantiquity #classics #climatechange #commonlisp #communism #compilers #cooperatives #culture #deutsch #digitalhumanities #dsa #emacs #español #esperanto #fiction #fancyrats #freeculture #freesoftware #fsf #gamedev #godot #gnu #guile #guix #hcoop #haskell #history #hypertext #internationalsolidarity #javascript #koinegreek #latin #lgbt #linguistics #lisp #lispgames #lispm #logic #math #northcarolina #octodon #philosophy #plt #posca #programming #poetry #queer #rats #scheme #sciencefiction #smalltalk #sml #snowdriftcoop #socialism #tea #trans #typography #unions #vegetarian #weiqi #wikis #www #xanadu #xmpp #yerbamate #yow #zen

Haskell Weekly

@[email protected]

Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994) [pdf]

https://www.cs.yale.edu/publications/techreports/tr1049.pdf

Discussions: https://discu.eu/q/https://www.cs.yale.edu/publications/techreports/tr1049.pdf

#cpp #haskell #lisp #programming

Christopher League

@[email protected]

Reactivating — Hello! I’m into:
• Functional programming, especially #haskell, #ocaml, #elmlang, #purescript
• Proof systems & software correctness tools #coq, #idris, #agda, #rustlang
• Scientific data acquisition & analysis, #gpu frameworks
• Reproducible builds, #nixos, #nixpkgs
• Non-traditional families (#queer, interracial)
• #ADHD strategies & other #neurodivergent perspectives
• Black natural hair care, for Ms. 7yo
• #Classical & electronic music, dabbling at piano as a busy adult