|
Your Feedback Needed on OCaml Home Page Wireframe!
|
|
14
|
778
|
April 16, 2024
|
|
Academic OCaml Users Testimonials!
|
|
6
|
719
|
March 27, 2024
|
|
X + r to dismiss new topics stopped working
|
|
0
|
168
|
March 23, 2024
|
|
Pinned notice somewhere noticeable to discourage use of heavily/fully LLM generated sites?
|
|
0
|
202
|
February 14, 2024
|
|
It is now possible to create new topics by email
|
|
3
|
331
|
December 23, 2023
|
|
Asked a beginners question and got spam-filtered
|
|
9
|
585
|
December 23, 2023
|
|
Feedback on RWO dev site
|
|
3
|
1056
|
December 18, 2023
|
|
We send 100 emails a day
|
|
10
|
1040
|
March 30, 2023
|
|
Where's the "Further Reading" section of the manual?
|
|
1
|
426
|
November 19, 2022
|
|
Request to change username
|
|
1
|
543
|
September 21, 2022
|
|
How to dismiss efficiently
|
|
1
|
586
|
June 10, 2022
|
|
Add `z3` as a allowable search term
|
|
6
|
794
|
September 30, 2021
|
|
Buggy ocaml logo in threads
|
|
4
|
1055
|
May 19, 2021
|
|
Email subscription
|
|
20
|
2528
|
July 2, 2018
|
|
Mailing list mode has disappeared?
|
|
4
|
909
|
March 15, 2021
|
|
Bouncing emails?
|
|
2
|
572
|
December 27, 2020
|
|
Pin web discussion thread
|
|
0
|
571
|
November 4, 2020
|
|
Consider filling out the Category descriptions, add additional categories
|
|
0
|
972
|
October 23, 2020
|
|
Add monthly "ask anything" running discussion
|
|
3
|
777
|
October 23, 2020
|
|
Broken syntax highlighting on the pipeline operator
|
|
0
|
710
|
December 23, 2019
|
|
Unbinding ctrl-f as site-wide search
|
|
4
|
876
|
November 1, 2019
|
|
Create a Real World OCaml category
|
|
11
|
2767
|
March 2, 2018
|
|
Rearranging project categories into sub-categories
|
|
13
|
2234
|
January 8, 2018
|
|
(WIP) Frequently Asked Questions
|
|
11
|
3073
|
January 4, 2018
|
|
Discussion site status and timeline
|
|
40
|
4616
|
October 16, 2017
|
|
Interactive code snippets
|
|
2
|
1024
|
October 6, 2017
|
|
OCaml.org broken SSL certificate?
|
|
0
|
926
|
August 18, 2017
|
|
New category idea: Proposals
|
|
14
|
1869
|
August 16, 2017
|
|
Which categories to create in the site
|
|
84
|
6790
|
August 9, 2017
|
|
New category ideas for this forum! (ReasonML and Announcements)
|
|
3
|
1427
|
July 11, 2017
|