Skip to content

Commit 772be1a

Browse files
jmctjmct
authored
Merge branch 'haskellfoundation:hakyll' into hakyll
2 parents 7b1ba29 + 5128d41 commit 772be1a

File tree

12 files changed

+838
-5
lines changed

12 files changed

+838
-5
lines changed

‎assets/images/community-glue.svg‎

Lines changed: 346 additions & 0 deletions
Loading

‎news/2024-11-08/haskell-foundation-update-september-2024.markdown‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
---
2-
title: Haskell Foundation Octoboer 2024 Update
2+
title: Haskell Foundation October 2024 Update
33
---
44

55
José Manuel Calderón Trilla posted the <a href='https://discourse.haskell.org/t/haskell-foundation-october-2024-update/10707' target='_blank'>October 2024 Foundation update</a> in our community's Discourse instance.

‎podcast/29/index.markdown‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
---
2-
title: ZuriHac
2+
title: ZuriHac 2023
33
episode: 29
44
buzzsproutId: 13122509
55
recorded: 2023-06-11

‎podcast/56/index.markdown‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,4 @@ published: 2024-10-01
77
---
88
Today on the Haskell Interlude, Matti and Sam are joined by Satnam Singh. Satnam has been a lecturer at Glasgow, and Software Engineer at Google, Meta, and now Groq. He talks about convincing people to use Haskell, laying out circuits and why community matters.
99

10-
PS: After the recording, it was important to Satnam to clarify that his advise to “not be afraid to loose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk.
10+
PS: After the recording, it was important to Satnam to clarify that his advise to “not be afraid to lose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk.

‎podcast/57/transcript.markdown‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ And then later at school, we had computer science, not as a regular subject at s
2424

2525
Then we moved to Berlin. So, I also started basically studying, continued my studies in Berlin. And I worked as a basically teaching assistant there for first-year course, and that was in functional programming, but that was in Miranda, at least the first few years. And then when Gofer basically became a thing, we switched to Haskell. So, I mainly did some programming with programming assignments there, but I didn’t do a lot of programming, Haskell programming for applications for myself.
2626

27-
*AL (0:04:55)*: Yeah, perhaps we should remind our audience with slightly less experience a little bit about what Miranda and Gaffer actually are, because I could imagine that many Haskellers these days don’t actually know. So, I mean, I guess, do you want to say yourself or --
27+
*AL (0:04:55)*: Yeah, perhaps we should remind our audience with slightly less experience a little bit about what Miranda and Gofer actually are, because I could imagine that many Haskellers these days don’t actually know. So, I mean, I guess, do you want to say yourself or --
2828

2929
*GK (0:05:14)*: Yeah. So, I’m not completely familiar with the history of Miranda, but it was basically, I think, a predecessor of Haskell and had already a lot of Haskell features. Like not all the type system features, of course, that Haskell is now, but the core Haskell.
3030

‎podcast/58/index.markdown‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: ICFP 2024
3+
episode: 58
4+
buzzsproutId: 16127172
5+
recorded: 2024-09-04
6+
published: 2024-11-18
7+
---
8+
In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, and organizers.

‎podcast/58/links.markdown‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
* [ICFP '24](https://icfp24.sigplan.org/)
2+
* [Niek Mulleners](https://niekm.github.io/)
3+
* [Pedro Abreu](https://www.typetheoryforall.com/)
4+
* [Andy Gordon](https://andrewdgordon.github.io/)
5+
* [Cyrus Omar](https://web.eecs.umich.edu/~comar/)
6+
* [Simon Peyton Jones](https://simon.peytonjones.org/)
7+
* [PLMW](https://icfp24.sigplan.org/home/PLMW-ICFP-2024)
8+
* [Sara Juhosova](https://sarajuhosova.github.io/)
9+
* [Yaron Minsky](https://x.com/yminsky)
10+
* [Harry Goldstein](https://harrisongoldste.in/)
11+
* [Marco Gaboardi](https://cs-people.bu.edu/gaboardi/)
12+
* [David Binder](https://binderdavid.github.io/)
13+
* [Niki Vazou](https://nikivazou.github.io/)

‎podcast/58/transcript.markdown‎

Lines changed: 249 additions & 0 deletions
Large diffs are not rendered by default.

‎podcast/59/index.markdown‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
---
2+
title: Harry Goldstein
3+
episode: 59
4+
buzzsproutId: 16261243
5+
recorded: 2024-10-23
6+
published: 2024-12-12
7+
---
8+
Sam and Wouter interview Harry Goldstein, a researcher in property-based testing who works in PL, SE, and HCI. In this episode, we reflect on random generators, the find-a-friend model, interdisciplinary research, and how to have impact beyond your own research community.
9+

‎podcast/59/links.markdown‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
* [Harry's website](https://harrisongoldste.in/)
2+
* [Chasins et al. HCI +PL better together CACM](https://dl.acm.org/doi/10.1145/3469279)
3+
* [PLMW@ POPL24 - Consider Collaboration](https://www.youtube.com/watch?v=sSl-856qUOA)
4+
* [PLMW@ ICFP24 - My PhD Compass Six ways to guide a PhD to success](https://www.youtube.com/live/pS_vJAwjcM4?t=26173s)
5+
* [Property based testing in practice](https://dl.acm.org/doi/10.1145/3597503.3639581)
6+
* [Tyche: making sense of property based testing effectiveness](https://harrisongoldste.in/papers/uist24-tyche.pdf)
7+
* [Reflecting on Random Generation](https://dl.acm.org/doi/10.1145/3607842)
8+
* [Parsing randomness](https://dl.acm.org/doi/abs/10.1145/3563291)
9+
* [Hypothesis library for Python](https://hypothesis.readthedocs.io/en/latest/)
10+
* [Mica: Automated Differential Testing for OCaml Modules](https://harrisongoldste.in/papers/ocaml24-mica.pdf)
11+
* [Ghostwriter](https://hypothesis.readthedocs.io/en/latest/ghostwriter.html)
12+
* [QuickCheck](https://hackage.haskell.org/package/QuickCheck)
13+
* [QuickSpec](https://hackage.haskell.org/package/quickspec)

0 commit comments

Comments
 (0)