synquid
codewars.com
synquid | codewars.com | |
---|---|---|
3 | 712 | |
113 | 2,080 | |
- | 0.2% | |
0.0 | 3.5 | |
about 2 years ago | 9 months ago | |
Haskell | ||
MIT License | BSD 2-clause "Simplified" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
synquid
-
Show HN: Fructose, LLM calls as strongly typed functions
https://www.youtube.com/watch?v=HnOix9TFy1A
Links to more projects and papers by Prof. Polikarpova: https://cseweb.ucsd.edu/~npolikarpova/
I think this is one of the main ones she discusses in the talk: https://github.com/nadia-polikarpova/synquid
-
_why's Estate
My first post was poorly written. I didn't mean to imply that taking pride in a job well done was bad. I don't think it is. I think programmers have plenty of reason to be happy when they do good work[1]--what I think is foolish is having visions of grandeur when it comes to programming, which in my opinion is what _why seemed to have based on his reasoning for quitting. I could be way off mark, but that's my take.
I mentioned this in another comment, but I think it also has to do with a confusion of categories. _why seemed to want recognition akin to that received by, e.g. Thomas Bernhard, Kafka, for something like shoes or his other software/libraries or general contributions to computing. But the issue is these things will always be utilities for specialists, and any aesthetic properties they have (elegant design, expression, etc.) are secondary to their functioning and they'll always be relegated to the dusty realm of specialists since the code is not the product--the software is. One can write code to create an aesthetic object that is enjoyed and revered by the masses, but I have a hard time envisioning a future in which the masses will ever enjoy and revere code or engineering for its own sake.
Pride was the wrong word to use and one I lazily reached for. After reading your comment, you've helped me realize that what I advise against is misapplication of expectations to different categories of things. _why seemed to want an aesthetic reception and legacy on a general, popular scale for work that is ultimately only a utility to the vast majority of the population and indeed, not even accessible to the population, and even if it were, I don't think many people would admire programming libs for fun--such a hobby will remain the lot of only enthusiasts. There is no pop coding like there is pop music.
[1]: Though I'd also argue that much of what you state taking pride in is not programming--which is just expressing ideas in programming languages--what you are talking about is engineering/design, which can be done perfectly well and separately from the programming part. we just happen to solve a lot of problems with computers these days so we need to express solutions for computers to consume and we tend to blend those responsibilities (we'll one day get to a point where the computers do most of the programming and we just design https://github.com/nadia-polikarpova/synquid)
-
Reverse of quickspec
Synquid synthesizes programs from refinement types, which are very similar in that you express a type-level predicate on the output using an expression which involves the input.
codewars.com
-
Finding a Path As a Self-Taught Software Developer
I did some traveling around the western US in late 2022 to take stock of where my life was and where I was going. During that time I decided that I would go all-in with my coding education, and committed to learning the remaining material listed on those bootcamp syllabi that I had not yet studied – namely, connecting the pieces of the MERN stack; learning about automated testing and data structures & algorithms; and studying development paradigms & methodologies like Agile, Scrum & Kanban, and OOP design patterns & principles – as well as continue to develop my programming fundamentals on platforms like Leetcode and Codewars.
-
RegEx: Decoding the Symbols
My first encounter with regular expressions was in a solution for a coding problem on Codewars, specifically Count the smiley faces! Which asks you to count the number of smiley faces in a given array but the catch is each smiley can have 1 of 2 kinds of eyes (: or ;), may or may not have a nose represented by 1 of 2 symbols (- or ~), and 1 of 2 symbols (D or ) ) for the smile. In total there are 12 different combinations that are a valid smiley. I, being the young and naive programmer I was, hard coded all 12 of those faces and checked every element against that list. And it worked! But the top solution included some strange syntax that I had never seen before
-
Things you should do in your dev journey 🖥️👩💻
Embrace Challenges: Challenge yourself with platforms like Exercism and Codewars that offer a wide range of coding challenges of varying difficulty levels. Additionally, consider exploring niche topics through courses on platforms like Coursera and edX.
-
Best resource to learn python?
@OP DO NOT go on the path of perfecting it and parting with your time and money. Go with Jake Vanderplas's whirlwind tour of python whirlwind tour of python to get some basics and then jump into the river codewars and swim upstream daily and religiously until you reach to katas level 5. You will be good to go. My personal experience.
-
Collection of resources to get started on your programming journey
Codewars: Codewars
-
I have started my Python self Learning Journey - Is one source enough?
You can try Codewars, they have a diverse range of practice problems(Cryptography, Data Science, etc.). Basically if you wanna get good in a programming language, you have to work on a lot of projects and practice problems.
- Any programs or websites to practice programming?
-
Best platform for coding & programming testing everyday to improve coding skills in various language?
Codewars is a good platform. Here you can practice code kata's daily in your preferred programming language. Link: https://www.codewars.com/
-
any one know sites like code combat but free?
If you're looking for something that is closer to a combat style game you could try https://www.codewars.com/
- I'm looking for practical Rust exercises
What are some alternatives?
skistrap - The mirror for _why's skistrap
LeetCode - This is my LeetCode solutions for all 2000+ problems, mainly written in C++ or Python.
metaid - MetAid is a tiny library for aiding metaprogramming.
LeetCode-Solutions - 🏋️ Python / Modern C++ Solutions of All 3134 LeetCode Problems (Weekly Update)
markaby - markup as ruby (official repository)
LeetCode-Solutions - A compilation of all the Leetcode solutions.
rb_parse_args - The mirror for _why's rb_parse_args
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
chirrup - The mirror for _why's chirrup
adventofcode - :christmas_tree: Advent of Code (2015-2023) in C#
ruby-rails - ruby&rails
plutus-pioneer-program - This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.