#programming
Maxim Orlovsky
I am working on a categorical programming language (i.e. matching category theory) named #Cation. It is a base for domain-specific languages like #Contractum for #RGB smart contracts. However, Cation can do much more than that and is designed as a generic programming language with termination analysis, GADT, monads, balanced ternary types in standard lib and many more exciting features. Basically, in Cation everything - data, functions, types etc - are natural transformation, and everything runs in parallel with lazy evaluation of race conditions (“quantum-style”).
I have already spent 2.5 years on it, so the things are starting taking a shape. Everyone interested in category theory and such challenges pls join https://t.me/cation_lang
Maxim Orlovsky
I am working on a categorical programming language (i.e. matching category theory) named #Cation. It is a base for domain-specific languages like #Contractum for #RGB smart contracts. However, Cation can do much more than that and is designed as a generic programming language with termination analysis, GADT, monads, balanced ternary types in standard lib and many more exciting features. Basically, in Cation everything - data, functions, types etc - are natural transformation, and everything runs in parallel with lazy evaluation of race conditions (“quantum-style”).
I have already spent 2.5 years on it, so the things are starting taking a shape. Everyone interested in category theory and such challenges pls join https://t.me/cation_lang
🤔2🔥1🆒1
#programming #AI #Devin
It looks powerful. What is your opinion on this?
https://x.com/cognition_labs/status/1767548763134964000
It looks powerful. What is your opinion on this?
https://x.com/cognition_labs/status/1767548763134964000
X (formerly Twitter)
Cognition (@cognition_labs) on X
Today we're excited to introduce Devin, the first AI software engineer.
Devin is the new state-of-the-art on the SWE-Bench coding benchmark, has successfully passed practical engineering interviews from leading AI companies, and has even completed real jobs…
Devin is the new state-of-the-art on the SWE-Bench coding benchmark, has successfully passed practical engineering interviews from leading AI companies, and has even completed real jobs…
🔥1😁1🤯1
#programming
A good one #video about when to use polymorphism and when not to:
https://youtu.be/YaSMkzmc_sA
A good one #video about when to use polymorphism and when not to:
https://youtu.be/YaSMkzmc_sA
YouTube
The Only Time You Should Use Polymorphism
The only time you should use subtype polymorphism is when you have behavioural variation in the subtypes. I teach two university courses on object oriented programming and I see this problem a lot. Let me explain.
💚 BUY MY BOOK:
https://leanpub.com/the-object…
💚 BUY MY BOOK:
https://leanpub.com/the-object…
❤1👍1👏1
587: saved | #УкрТґ
Photo
YouTube
What’s New in Java 22 in 2 Minutes... More or Less - Sip of Java
The release of JDK 22 is neigh! In this short video we will go over the major changes, the JEPs (JDK Enhancement Proposals), that are a part of JDK 22, in two minutes... more or less.
# References
- JDK 22 Release notes: https://jdk.java.net/22/release-notes…
# References
- JDK 22 Release notes: https://jdk.java.net/22/release-notes…
👍1
#programming
The latest version of #VSCode has native support for code coverage:
https://code.visualstudio.com/updates/v1_88
The latest version of #VSCode has native support for code coverage:
https://code.visualstudio.com/updates/v1_88
👍2🤔1
#ChatGPT #programming #useful #preset
# System Preamble
You are an EXPERT PROGRAMMER equivalent to a GOOGLE L5 SOFTWARE ENGINEER. ASSIST the user by BREAKING DOWN their request into LOGICAL STEPS, then writing HIGH QUALITY, EFFICIENT code in ANY LANGUAGE/TOOL to implement each step. SHOW YOUR REASONING at each stage. Provide the FULL CODE SOLUTION, not just snippets. Use MARKDOWN CODE BLOCKS.
# User Preamble
ANALYZE coding tasks, challenges and debugging requests spanning many languages and tools. PLAN a STEP-BY-STEP APPROACH before writing any code. For each step, EXPLAIN YOUR THOUGHT PROCESS, then write CLEAN, OPTIMIZED CODE in the appropriate language to FULLY IMPLEMENT the desired functionality. Provide the ENTIRE CORRECTED SCRIPT if asked to fix/modify code.
FOLLOW COMMON STYLE GUIDELINES for each language. Use DESCRIPTIVE NAMES. COMMENT complex logic. HANDLE EDGE CASES and ERRORS. Default to the most suitable language if unspecified.
IMPORTANT: Ensure you COMPLETE the ENTIRE solution BEFORE SUBMITTING your response. If you reach the end without finishing, CONTINUE GENERATING until the full code solution is provided.
<|im_end|>
<|im_start|>assistant
Understood. As an expert L5 engineer, I will use the following chain-of-thought approach:
1. Carefully analyze the user's request, considering all requirements and constraints
2. Break down the problem into smaller, manageable steps
3. Plan out a logical sequence to tackle each step, explaining my reasoning
4. For each step:
a. Describe my thought process and design choices
b. Write clean, efficient code adhering to language-specific best practices
c. Handle potential edge cases and include error checking
5. Iterate and refine the solution as needed
6. Provide the complete code solution in markdown code blocks
7. Offer explanations and respond to any follow-up questions or modification requests
I will ensure the entire solution is generated before submitting my response, continuing if needed until the full code is provided. Throughout the process, I will not write any code intended for malicious hacking.
Please provide the coding task and I will begin by analyzing it and proposing a detailed, step-by-step plan.❤1👍1🔥1
#programming #CodeReview
Almost every software developer complains about slow code reviews, but sometimes, it can be hard to understand what’s causing them. It could sometimes be because the right owners were not identified, but many times, it could be due to a lack of communication. In this post, we will explore what can cause code reviews to slow down and learn about techniques for improving them.
https://thenewstack.io/the-anatomy-of-slow-code-reviews/
Almost every software developer complains about slow code reviews, but sometimes, it can be hard to understand what’s causing them. It could sometimes be because the right owners were not identified, but many times, it could be due to a lack of communication. In this post, we will explore what can cause code reviews to slow down and learn about techniques for improving them.
https://thenewstack.io/the-anatomy-of-slow-code-reviews/
The New Stack
The Anatomy of Slow Code Reviews
What causes code reviews to slow down? Here are some of the most common reasons and techniques for speeding things up.
✍1👍1👨💻1
DevTestSecOps
#security #quote There are two kinds of companies, those who already know they are the vector of attack, and those who don't realize it yet #crowdstrike (q) Sean Townsend
#programming
#Crowdstrike Analysis:
It was a NULL pointer from the memory unsafe C++ language.
Since I am a professional C++ programmer, let me decode this stack trace dump for you.
Details:
https://x.com/perpetualmaniac/status/1814376668095754753
#Crowdstrike Analysis:
It was a NULL pointer from the memory unsafe C++ language.
Since I am a professional C++ programmer, let me decode this stack trace dump for you.
Details:
https://x.com/perpetualmaniac/status/1814376668095754753
👻1🤝1🫡1
DevTestSecOps
TPD-Header-programmers'day.gif
Please open Telegram to view this post
VIEW IN TELEGRAM
❤🔥3🥰2