t3_1ifc4hz

Concurrencia en Erlang parte 10

t3_1ifbh4c

A secure low code deception framework, leveraging LLM for System Virtualization.

Very very simple| Connect C++ with SQL Server and populate dataGridView

t3_1ifb2v9

t3_1ifazas

Do they use python in their backend for scraping or they use javascript DOM to extract those torrent files from the sites like Prateby and etc..?

<div class="md"><p>Do they use python in their backend for scraping or they use javascript DOM to extract those torrent files from the sites like Prateby and etc..?</p>
</div>

How does Torrdroid perform searching for torrent files?

t3_1if9xze

Beyond the AI MVP: What it really takes

t3_1if9ub7

Engineering With Java: Digest #44

t3_1if9r5l

Hey everyone!

I've been fascinated with linear logic, session types, and the concurrent semantics they provide for programming. Over time, I refined some ideas on how a programming language making full use of these could look like, and I think it's time I share it!

Here's a repo with **full documentation:** https://github.com/faiface/par-lang

**Brace yourself,** because it doesn't seem unreasonable to consider this a different **programming paradigm.** It will probably take a little bit of playing with it to fully understand it, but I can promise that once it makes sense, it's quite beautiful, and operationally powerful.

To make it easy to **play with,** the language offers an **interactive playground** that supports interacting with everything the language offers. Clicking on buttons to concurrently construct inputs and observing outputs pop up is the jam.

**Let me know what you think!**

## Example code

```
define tree_of_colors =
  .node
    (.node
      (.empty!)
      (.red!)
      (.empty!)!)
    (.green!)
    (.node
      (.node
        (.empty!)
        (.yellow!)
        (.empty!)!)
      (.blue!)
      (.empty!)!)!

define flatten = [tree] chan yield {
  let yield = tree begin {
    empty? => yield

    node[left][value][right]? => do {
      let yield = left loop
      yield.item(value)
    } in right loop
  }

  yield.empty!
}

define flattened = flatten(tree_of_colors)
```

# Some extracts from the language guide:

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power
of linear logic into practice.

- Code executes in **sequential processes.**
- Processes **communicate** with each other **via channels.**
- Every channel has **two end-points, in two different processes.**
- **Two processes share at most one channel.**
- The previous two properties guarantee, that **deadlocks are not possible.**
- **No disconnected, unreachable processes.** If we imagine a graph with processes as nodes, and channels
  as edges, it will always be a single connected tree.

Despite the language being dynamically typed at the moment, the above properties hold. With the exception of
_no unreachable processes_, they also hold statically. **A type system with linear types is on the horizon,**
but I want to fully figure out the semantics first.

**All values in Par are channels.** Processes are intangible, they only exist by
executing, and operating on tangible objects: channels. How can it possibly all be channels?

- **A list?** That's a channel sending all its items in order, then signaling the end.
- **A function?** A channel that receives the function argument, then becomes the result.
- **An infinite stream?** Also a channel! This one will be waiting to receive a signal to either
  produce the next item, or to close.

Some features important for a real-world language are still **missing:**

- Primitive types, like **strings and numbers.** However, Par is expressive enough to enable custom
  representations of numbers, booleans, lists, streams, and so on. Just like λ-calculus, but with channels
  and expressive concurrency.
- **Replicable values.** But, once again, replication can be implemented manually, for now.
- **Non-determinism.** This can't be implemented manually, but I alredy have a mechanism thought out.

One non-essential feature that I really hope will make it into the language later is **reactive values.**
It's those that update automatically based on their dependencies changing.

## Theoretical background

Par is a direct implementation of [linear logic](https://en.wikipedia.org/wiki/Linear_logic). Every
operation corresponds to a proof-rule in its sequent calculus formulation. A future
type system will have direct correspondence with propositions in linear logic.

The language builds on a process language called CP from Phil Wadler's beautiful paper
["Propositions as Sessions"](https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-sessions/propositions-as-sessions.pdf).

While Phil didn't intend CP to be a foundation of any practical programming language (instead putting his
hopes on GV, a functional language in the same paper), I saw a big potential there.

My contribution is reworking the syntax to be expression-friendly, making it more visually paletable,
and adding the whole expression syntax that makes it into a practical language.


<div class="md"><p>Hey everyone!</p>

<p>I&#39;ve been fascinated with linear logic, session types, and the concurrent semantics they provide for programming. Over time, I refined some ideas on how a programming language making full use of these could look like, and I think it&#39;s time I share it!</p>

<p>Here&#39;s a repo with <strong>full documentation:</strong> <a href="https://github.com/faiface/par-lang">https://github.com/faiface/par-lang</a></p>

<p><strong>Brace yourself,</strong> because it doesn&#39;t seem unreasonable to consider this a different <strong>programming paradigm.</strong> It will probably take a little bit of playing with it to fully understand it, but I can promise that once it makes sense, it&#39;s quite beautiful, and operationally powerful.</p>

<p>To make it easy to <strong>play with,</strong> the language offers an <strong>interactive playground</strong> that supports interacting with everything the language offers. Clicking on buttons to concurrently construct inputs and observing outputs pop up is the jam.</p>

<p><strong>Let me know what you think!</strong></p>

<h2>Example code</h2>

<p>```
define tree_of_colors =
  .node
    (.node
      (.empty!)
      (.red!)
      (.empty!)!)
    (.green!)
    (.node
      (.node
        (.empty!)
        (.yellow!)
        (.empty!)!)
      (.blue!)
      (.empty!)!)!</p>

<p>define flatten = [tree] chan yield {
  let yield = tree begin {
    empty? =&gt; yield</p>

<pre><code>node[left][value][right]? =&gt; do {
  let yield = left loop
  yield.item(value)
} in right loop
</code></pre>

<p>}</p>

<p>yield.empty!
}</p>

<p>define flattened = flatten(tree_of_colors)
```</p>

<h1>Some extracts from the language guide:</h1>

<p>Par (⅋) is an experimental concurrent programming language. It&#39;s an attempt to bring the expressive power
of linear logic into practice.</p>

<ul>
<li>Code executes in <strong>sequential processes.</strong></li>
<li>Processes <strong>communicate</strong> with each other <strong>via channels.</strong></li>
<li>Every channel has <strong>two end-points, in two different processes.</strong></li>
<li><strong>Two processes share at most one channel.</strong></li>
<li>The previous two properties guarantee, that <strong>deadlocks are not possible.</strong></li>
<li><strong>No disconnected, unreachable processes.</strong> If we imagine a graph with processes as nodes, and channels
as edges, it will always be a single connected tree.</li>
</ul>

<p>Despite the language being dynamically typed at the moment, the above properties hold. With the exception of
<em>no unreachable processes</em>, they also hold statically. <strong>A type system with linear types is on the horizon,</strong>
but I want to fully figure out the semantics first.</p>

<p><strong>All values in Par are channels.</strong> Processes are intangible, they only exist by
executing, and operating on tangible objects: channels. How can it possibly all be channels?</p>

<ul>
<li><strong>A list?</strong> That&#39;s a channel sending all its items in order, then signaling the end.</li>
<li><strong>A function?</strong> A channel that receives the function argument, then becomes the result.</li>
<li><strong>An infinite stream?</strong> Also a channel! This one will be waiting to receive a signal to either
produce the next item, or to close.</li>
</ul>

<p>Some features important for a real-world language are still <strong>missing:</strong></p>

<ul>
<li>Primitive types, like <strong>strings and numbers.</strong> However, Par is expressive enough to enable custom
representations of numbers, booleans, lists, streams, and so on. Just like λ-calculus, but with channels
and expressive concurrency.</li>
<li><strong>Replicable values.</strong> But, once again, replication can be implemented manually, for now.</li>
<li><strong>Non-determinism.</strong> This can&#39;t be implemented manually, but I alredy have a mechanism thought out.</li>
</ul>

<p>One non-essential feature that I really hope will make it into the language later is <strong>reactive values.</strong>
It&#39;s those that update automatically based on their dependencies changing.</p>

<h2>Theoretical background</h2>

<p>Par is a direct implementation of <a href="https://en.wikipedia.org/wiki/Linear_logic">linear logic</a>. Every
operation corresponds to a proof-rule in its sequent calculus formulation. A future
type system will have direct correspondence with propositions in linear logic.</p>

<p>The language builds on a process language called CP from Phil Wadler&#39;s beautiful paper
<a href="https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-sessions/propositions-as-sessions.pdf">&quot;Propositions as Sessions&quot;</a>.</p>

<p>While Phil didn&#39;t intend CP to be a foundation of any practical programming language (instead putting his
hopes on GV, a functional language in the same paper), I saw a big potential there.</p>

<p>My contribution is reworking the syntax to be expression-friendly, making it more visually paletable,
and adding the whole expression syntax that makes it into a practical language.</p>
</div>

Par, an experimental concurrent language with an interactive playground

Build a Research Agent with Deepseek, LangGraph, and Streamlit

t3_1if8vjn

t3_1if8p94

Built a device to control IR devices remotely—worth putting on my CV?

Should you use microservices?

t3_1if88go

Should you use Microservices?

Leetcode 547 - Number of Provinces -
Graph - Disjoint Set (Union Find) - Depth First Search - Breadth First Search

Open Source Tool For Painting Normal Maps For Pixel Art

This is the code program that will convert your text file to Audio File using Google TTS.

I had created this GUI Program.

It is a simple program to be used, than many which are complicated.



Here's How : -

When, u run this code, it will open a GUI window.


The 'BEST' part of this program is you don't need to run by command line or input whole text file path and output mp3 file path.



You will have options for both - 



1- Input Text File = By clicking on Browse Button next to this field, you can select the text file in another window, that will open, then after selection, it will automatically enter the path of the file.



After this,



2-Output MP3 File = This is where, you want to save your output - mp3 file, which will be generated using Google TTS. By clicking on Browse Button next to this field, you can select and name the output file in another window, that will open, then after selection, it will automatically enter the path of the file.



After This -



When you click on Convert Button, The 'Background MAGIC' works.

It connects to the Google Server Text to Speech (TTS), which converts your whole text file into audio file of mp3 format.



Till Now, it only works with English text files and also convert it into English audio file, in Female Voice. 



Why only English?



Ans- Because, as we know English is universally accepted language, so this programs will be useful to many of you, weather you are in home or in your Job.

<div class="md"><p>This is the code program that will convert your text file to Audio File using Google TTS.</p>

<p>I had created this GUI Program.</p>

<p>It is a simple program to be used, than many which are complicated.</p>

<p>Here&#39;s How : -</p>

<p>When, u run this code, it will open a GUI window.</p>

<p>The &#39;BEST&#39; part of this program is you don&#39;t need to run by command line or input whole text file path and output mp3 file path.</p>

<p>You will have options for both - </p>

<p>1- Input Text File = By clicking on Browse Button next to this field, you can select the text file in another window, that will open, then after selection, it will automatically enter the path of the file.</p>

<p>After this,</p>

<p>2-Output MP3 File = This is where, you want to save your output - mp3 file, which will be generated using Google TTS. By clicking on Browse Button next to this field, you can select and name the output file in another window, that will open, then after selection, it will automatically enter the path of the file.</p>

<p>After This -</p>

<p>When you click on Convert Button, The &#39;Background MAGIC&#39; works.</p>

<p>It connects to the Google Server Text to Speech (TTS), which converts your whole text file into audio file of mp3 format.</p>

<p>Till Now, it only works with English text files and also convert it into English audio file, in Female Voice. </p>

<p>Why only English?</p>

<p>Ans- Because, as we know English is universally accepted language, so this programs will be useful to many of you, weather you are in home or in your Job.</p>
</div>

Simple but useful Text to Speech using Google TTS.

Our Craft is Changing

GitHub - iCreatorStudio/velora-vuejs-admin-template-free: Vuejs Free Admin Template: Production-Ready, Meticulously Crafted, and Feature-Rich 🤩

I Built My Own Git in Go – Here’s What I Learned

It's my first project in rust, and it made me fall in love with it

<div class="md"><p>It&#39;s my first project in rust, and it made me fall in love with it</p>
</div>

I build a windows cli tool for quickly linking and launching apps ~ with rust

The Full-Stack Lie: How Chasing “Everything” Made Developers Worse at Their Jobs

Hell Is Overconfident Developers Writing Encryption Code

Behaviors to adopt early in career

State of Java report shows strong migration from Java 8, rise of Apache Spark • DEVCLASS

How Are Images REALLY Stored?

How to Compile Java into Native Binaries with Graal and Mill

What is the Byzantine Generals Problem in Distributed Systems?

Tips for Every Developer : React Hooks Demystified

C++ Reflection: Back on Track - David Olsen - Meeting C++ 2024

JavaScript Hoisting In 5 Minutes

Disjoint Set (Union Find) - Path Compression explained with example and code

Global Variables Are Not the Problem

🚀 Building Space Bugs with Bulifier | 6-Hour Real-World Dev Experience 🎮

I built Space Bugs with Bulifier in 6 hours and recorded it all!

/r/programming is a reddit for discussion and news about [computer programming](http://en.wikipedia.org/wiki/Computer_programming)

****
**Guidelines**

* Please keep submissions on topic and of high quality.
* That means no image posts, no memes, no politics
* Just because it has a computer in it doesn't make it programming. If there is no code in your link, it probably doesn't belong here.
* Direct links to app demos (unrelated to programming) will be removed.
* No surveys.
* Please follow proper [reddiquette](https://www.reddit.com/help/reddiquette).

****
**Info**

* Do you have a question? Check out /r/learnprogramming, /r/cscareerquestions, or [Stack Overflow](https://stackoverflow.com/).
* Do you have something funny to share with fellow programmers? Please take it to /r/ProgrammerHumor/.
* For posting job listings, please visit /r/forhire or /r/jobbit.
* Check out our [faq](http://www.reddit.com/r/programming/wiki/faq).  It could use some updating.
* Are you interested in promoting your own content?  STOP!  [Read this first](https://www.reddit.com/wiki/selfpromotion).

****
**Related reddits**

* /r/technology
* /r/ProgrammerTIL
* /r/learnprogramming
* /r/askprogramming
* /r/coding
* /r/compsci
* /r/dailyprogrammer
* /r/netsec
* /r/webdev
* /r/web_design
* /r/gamedev
* /r/cscareerquestions
* /r/reverseengineering
* /r/startups
* /r/techsupport

**[Specific languages](https://www.reddit.com/r/programming/wiki/faq#wiki_what_language_reddits_are_there.3F)**

<div class="md"><p><a href="/r/programming">/r/programming</a> is a reddit for discussion and news about <a href="http://en.wikipedia.org/wiki/Computer_programming">computer programming</a></p>

<hr/>

<p><strong>Guidelines</strong></p>

<ul>
<li>Please keep submissions on topic and of high quality.</li>
<li>That means no image posts, no memes, no politics</li>
<li>Just because it has a computer in it doesn&#39;t make it programming. If there is no code in your link, it probably doesn&#39;t belong here.</li>
<li>Direct links to app demos (unrelated to programming) will be removed.</li>
<li>No surveys.</li>
<li>Please follow proper <a href="https://www.reddit.com/help/reddiquette">reddiquette</a>.</li>
</ul>

<hr/>

<p><strong>Info</strong></p>

<ul>
<li>Do you have a question? Check out <a href="/r/learnprogramming">/r/learnprogramming</a>, <a href="/r/cscareerquestions">/r/cscareerquestions</a>, or <a href="https://stackoverflow.com/">Stack Overflow</a>.</li>
<li>Do you have something funny to share with fellow programmers? Please take it to <a href="/r/ProgrammerHumor/">/r/ProgrammerHumor/</a>.</li>
<li>For posting job listings, please visit <a href="/r/forhire">/r/forhire</a> or <a href="/r/jobbit">/r/jobbit</a>.</li>
<li>Check out our <a href="http://www.reddit.com/r/programming/wiki/faq">faq</a>.  It could use some updating.</li>
<li>Are you interested in promoting your own content?  STOP!  <a href="https://www.reddit.com/wiki/selfpromotion">Read this first</a>.</li>
</ul>

<hr/>

<p><strong>Related reddits</strong></p>

<ul>
<li><a href="/r/technology">/r/technology</a></li>
<li><a href="/r/ProgrammerTIL">/r/ProgrammerTIL</a></li>
<li><a href="/r/learnprogramming">/r/learnprogramming</a></li>
<li><a href="/r/askprogramming">/r/askprogramming</a></li>
<li><a href="/r/coding">/r/coding</a></li>
<li><a href="/r/compsci">/r/compsci</a></li>
<li><a href="/r/dailyprogrammer">/r/dailyprogrammer</a></li>
<li><a href="/r/netsec">/r/netsec</a></li>
<li><a href="/r/webdev">/r/webdev</a></li>
<li><a href="/r/web_design">/r/web_design</a></li>
<li><a href="/r/gamedev">/r/gamedev</a></li>
<li><a href="/r/cscareerquestions">/r/cscareerquestions</a></li>
<li><a href="/r/reverseengineering">/r/reverseengineering</a></li>
<li><a href="/r/startups">/r/startups</a></li>
<li><a href="/r/techsupport">/r/techsupport</a></li>
</ul>

<p><strong><a href="https://www.reddit.com/r/programming/wiki/faq#wiki_what_language_reddits_are_there.3F">Specific languages</a></strong></p>
</div>

<div class="md"><p>Computer Programming</p>
</div>