zundon

OCamlA hardware description language using OCaml effects: A hardware description language using OCaml effectsThis is an idea proposed in 2025 as a Cambridge Computer Science Part III or MPhil project, and is available for being worked on. It may be co-supervised with KC Sivaramakrishnan and Andy Ray.Programming FPGAs using functional programming languages is a very good fit for the problem domain. OCaml has the HardCaml ecosystem to express… <a href="https://anil.recoil.org/ideas/tracing-hdl-with-effects?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://anil.recoil.org/ideas/tracing-hdl-with-effects?utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlPlanet</a>

Daniil BaturinSoupault 5.0.0, a static site generator based on HTML element tree rewriting, is now available: <a href="https://soupault.app/blog/soupault-5.0.0-release/" rel="nofollow noopener" translate="no" target="_blank">https://soupault.app/blog/soupault-5.0.0-release/</a> This release includes: 1. A built-in Markdown processor based on Cmarkit (in addition to configurable external convertors, not as a replacement for them). 2. A new built-in widget that feeds attributes and content of an HTML element to a template and replaces the element with that template's output (a simpler way to make "shortcodes" than writing Lua plugins). 3. Site index available to all pages by default, so things like a site-wide navigation sidebar are simpler and faster now. 4. A few smaller improvements and new plugin functions.It also removes or reworks some obscure options, so existing configs may need small adjustments (hence the major version bump, read the post carefully!).<a href="https://functional.cafe/tags/webdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#webdev</a> <a href="https://functional.cafe/tags/html" class="mention hashtag" rel="nofollow noopener" target="_blank">#html</a> <a href="https://functional.cafe/tags/indieweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#indieweb</a> <a href="https://functional.cafe/tags/smallweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#smallweb</a> <a href="https://functional.cafe/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#foss</a> <a href="https://functional.cafe/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#ocaml</a>

ELLIOTTCABLEHi! New instance, new pinned post.Send me cool people to follow (or introduce yourself!)- leftists - functional programmers, 'spcly <a href="https://functional.cafe/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> folks - <a href="https://functional.cafe/tags/Queer" class="mention hashtag" rel="nofollow noopener" target="_blank">#Queer</a> mfers, <a href="https://functional.cafe/tags/BDSM" class="mention hashtag" rel="nofollow noopener" target="_blank">#BDSM</a>, or <a href="https://functional.cafe/tags/polyamory" class="mention hashtag" rel="nofollow noopener" target="_blank">#polyamory</a> - fans of <a href="https://functional.cafe/tags/SystemicGames" class="mention hashtag" rel="nofollow noopener" target="_blank">#SystemicGames</a> (<a href="https://functional.cafe/tags/Factorio" class="mention hashtag" rel="nofollow noopener" target="_blank">#Factorio</a>, <a href="https://functional.cafe/tags/RimWorld" class="mention hashtag" rel="nofollow noopener" target="_blank">#RimWorld</a>, and the like)come @ me :transHaskell:

洪民憙 (Hong Minhee)Just what the internet needed: another attempt to explain <a class="mention hashtag" rel="nofollow noopener" href="https://hollo.social/tags/monads" target="_blank">#monads</a>! 🙄 But this time I'm comparing <a class="mention hashtag" rel="nofollow noopener" href="https://hollo.social/tags/Haskell" target="_blank">#Haskell</a> and <a class="mention hashtag" rel="nofollow noopener" href="https://hollo.social/tags/OCaml" target="_blank">#OCaml</a> approaches to show why <a class="mention hashtag" rel="nofollow noopener" href="https://hollo.social/tags/typeclasses" target="_blank">#typeclasses</a> make all the difference. Turns out those JavaScript <code>Promise</code> analogies only tell half the story…<a href="https://hackers.pub/@hongminhee/2025/monads" rel="nofollow noopener" target="_blank">https://hackers.pub/@hongminhee/2025/monads</a>

洪民憙 (Hong Minhee)Monads: Beyond Simple Analogies—Reflections on Functional Programming Paradigms <a href="https://hackers.pub/@hongminhee/2025/monads" rel="nofollow noopener" translate="no" target="_blank">https://hackers.pub/@hongminhee/2025/monads</a>

OCamlBuilding Incremental and Reproducible Data Pipelines - Patrick Ferris - FUN OCaml 2024: Patrick Ferris's FUN OCaml 2024 talk recording!Overview by Patrick:We present the good and the bad of building a dataflow engine in OCaml. The engine underpins a complex ecological analysis of avoided deforestation projects in tropical moist rainforests. We will discuss: Onboarding experienced developers who are new to OCaml. - Building an operating system in… <a href="https://www.youtube.com/watch/6mxx2j1jmhE?version=3&utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch/6mxx2j1jmhE?version=3&utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlPlanet</a>

OCamlOCaml Weekly News, 12 Nov 2024: * Picos — Interoperable effects based concurrency * findlib-1.9.7 * First release candidate for OCaml 5.2.1 * mirage-swapfs * Dune dev meeting * Other OCaml News <a href="https://alan.petitepomme.net/cwn/2024.11.12.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://alan.petitepomme.net/cwn/2024.11.12.html?utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlPlanet</a>

OCamlBeta release of Frama-C 30.0~beta (Zinc) <a href="https://frama-c.com/fc-versions/zinc.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://frama-c.com/fc-versions/zinc.html?utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlPlanet</a>

OCamlOCaml 5.2.1 - Release Candidate: The release of OCaml version 5.2.1 is imminent.OCaml 5.2.1 is a collection of safe but import runtime time bug fixes backported from the 5.3 branch of OCaml. The full list of bug fixes is available above.In order to ensure that the future release works as expected, we are planning to test a release candidate during the upcoming week.If you find any bugs, please report them here on GitHub.---… <a href="https://ocaml.org/changelog/2024-11-07-5.2.1-rc1?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://ocaml.org/changelog/2024-11-07-5.2.1-rc1?utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlChangelog" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlChangelog</a>

OCamlOCaml Weekly News, 29 Oct 2024: * HOL Light released to OPAM * Could we add a tiny OCaml interpreter to Numworks graphical calculators? * opam 2.3.0~beta2 * Editors dev-meeting #4, Thu. 31th: Search by type à la Sherlodoc 🕵️ * Dune dev meeting * Shell Completions in Dune Developer Preview * Other OCaml News <a href="https://alan.petitepomme.net/cwn/2024.10.29.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://alan.petitepomme.net/cwn/2024.10.29.html?utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlPlanet</a>

OCamlMeet DNSvizor: run your own DHCP and DNS MirageOS unikernel: The NGI-funded DNSvizor provides core network services on your network; DNS resolution and DHCP. <a href="https://blog.robur.coop/articles/dnsvizor01.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://blog.robur.coop/articles/dnsvizor01.html?utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlPlanet</a>

OCamlRuntime arguments in MirageOS: The history of runtime arguments to a MirageOS unikernel <a href="https://blog.robur.coop/articles/arguments.html?utm_source=dlvr.it&utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank">https://blog.robur.coop/articles/arguments.html?utm_source=dlvr.it&utm_medium=mastodon</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCamlPlanet</a>

Alan 🎲The <a href="https://framapiaf.org/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> Weekly News for 2024-10-22 is out <a href="https://alan.petitepomme.net/cwn/2024.10.22.html" rel="nofollow noopener" translate="no" target="_blank">https://alan.petitepomme.net/cwn/2024.10.22.html</a>

Alan 🎲The <a href="https://framapiaf.org/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> Weekly News for 2024-10-01 is out<a href="https://alan.petitepomme.net/cwn/2024.10.01.html" rel="nofollow noopener" translate="no" target="_blank">https://alan.petitepomme.net/cwn/2024.10.01.html</a>

Alan 🎲The <a href="https://framapiaf.org/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> Weekly News for 2024-09-17 is out<a href="https://alan.petitepomme.net/cwn/2024.09.17.html" rel="nofollow noopener" translate="no" target="_blank">https://alan.petitepomme.net/cwn/2024.09.17.html</a>

Alan 🎲The <a href="https://framapiaf.org/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> Weekly News for 2024-09-10 is out<a href="https://alan.petitepomme.net/cwn/2024.09.10.html" rel="nofollow noopener" translate="no" target="_blank">https://alan.petitepomme.net/cwn/2024.09.10.html</a>

OCamlFun OCaml 2024 / September 16 + 17 / Berlin, Germanyfun-ocaml.comTalk MirageOS - Developing Operating Systems in OCamlSpeaker Hannes MehnertOCaml is a great systems programming language. We use it since more than a decade to develop MirageOS unikernels: run OCaml as a virtual machine, no Linux kernel involved.I'll present what MirageOS is today and where it is used, its future, and our learnings so far.<a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/FunOCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunOCaml</a>

Alan 🎲The <a href="https://framapiaf.org/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> Weekly News for 2024-07-16 is out <a href="https://alan.petitepomme.net/cwn/2024.07.16.html" rel="nofollow noopener" translate="no" target="_blank">https://alan.petitepomme.net/cwn/2024.07.16.html</a>

DinosaureB · o · B, a universal peer to peer file-transfer in <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> with an <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> was accepted for the <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> workshop. You can see details here: <a href="https://icfp24.sigplan.org/details/ocaml-2024-papers/2/B-o-B-a-universal-secure-file-transfer-software-in-OCaml" rel="nofollow noopener" translate="no" target="_blank">https://icfp24.sigplan.org/details/ocaml-2024-papers/2/B-o-B-a-universal-secure-file-transfer-software-in-OCaml</a> See you in Milan! I'm happy that robur.coop has a place in such event.

Recent searches

Search options

Administered by:

Server stats:

#ocaml