burakemir
burakemir@discuss.systems
<p>Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.</p><p>Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: <a href="https://codeberg.org/TauCeti/mangle-go" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">codeberg.org/TauCeti/mangle-go</span><span class="invisible"></span></a> <a href="http://codeberg.org/TauCeti/mangle-rs" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">http://</span><span class="">codeberg.org/TauCeti/mangle-rs</span><span class="invisible"></span></a></p><p><a href="https://discuss.systems/tags/datalog" class="mention hashtag" rel="tag">#<span>da
Posts
-
Post #3693642
Good description of the Read-Copy-Update (RCU) pattern https://www.infoq.com/articles/read-copy-update/
-
Post #2632555
#Mangle #Datalog news: mangle-rs has python bindings now. Get them on https://pypi.org/project/mangle-py/ Let me know if there are any problems or you have suggestions for the API. As a reminder: Mangle is a datalog based language, with a go and a Rust implementation. The Rust one can also conveniently used in the browser, via WASM. The time to use datalog from your code is *now*, no excuses 😉
-
Post #2632554
This morning I saw @djg in my news feed, an interview on the impact of AI software engineering. I had met Dan maybe 20 years ago when he visited EPFL and gave a talk about Cyclone, one of the early languages aiming to provide memory safety for low level, address-exposed programming. It was good to read some balanced, grounded views, and I share the optimism: most skills remain relevant and we haven&#39;t even gotten close to what is possible with software. The interview: https://www.business...
-
Post #2632553
You may have heard about the 4G model your Chrome downloaded. Here&#39;s how to get rid of it - via LinkedIn, Himanshu Sharma posts: --- 1) In Chrome, click the address bar and type: chrome://flags then press Enter. 2) Turn off the key AI flags by disabling the following: &gt;&gt; optimization guide on device. &gt;&gt; Prompt API for Gemini Nano. &gt;&gt; Prompt API for Gemini Nano with Multimodal Input. &gt;&gt; Writer API for Gemini Nano. &gt;&gt; R...
-
Post #2632552
&quot;Be happy for a fleeting moment. That moment is your life.&quot;
-
Post #2632551
&quot;Human beings, viewed as behaving systems, are quite simple. The apparent complexity of our behavior over time is largely a reflection of the complexity of the environment in which we find ourselves.&quot; Herbert A. Simon, The Sciences of the Artificial