Backend>In The News

Programming and Proving in Agda

CommunityNews

CommunityNews

Programming and Proving in Agda

agda-lecture-notes/agda.pdf at master · jespercockx/agda-lecture-notes.
Agda lecture notes for the Functional Programming course at TU Delft - agda-lecture-notes/agda.pdf at master · jespercockx/agda-lecture-notes

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

View thread on forum
#programming/agda
0 919 0

Where Next?

View thread on forum
agda
programming
Home Backend>In The News
#programming/agda
0 919 0
Last post

Popular Backend topics Top

First poster: bot
Backend>In The News

The Accelerating Adoption of Julia
lwn.net
/julia
0 1329 0
New
First poster: bot
Backend>In The News

C++ programming language: How it became the invisible foundation for everything, and what's next
Powerful, flexible, complex: The origins of C++ date back 40 years, yet it remains one of the most widely used programming languages toda...
techrepublic.com
/c-plus-plus#programming
0 1569 0
New
First poster: bot
Backend>In The News

Python, OCaml, and Machine Learning (2020)
A conversation with Laurent Mazare about how your choice of programming language interacts with the kind of work you do, and in particula...
signalsandthreads.com
/ocaml/python#learning
0 1415 0
New
First poster: OvermindDL1
Backend>In The News

What we can learn from "_why" the long lost open source developer
What we can learn from “_why” the long lost open source developer… Code might not last forever, but _why proves you can have an impact t...
github.com
/ruby
11 1366 3
New
CommunityNews
Backend>In The News

Zig gamedev project – left my job to build games in Zig lang
This repository contains a collection of sample applications and libraries written in Zig programming language and using DirectX 12 API. ...
github.com
#project#job#games/zig
7 2111 1
New
CommunityNews
Backend>In The News

A modern Prolog implementation written mostly in Rust
GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust… A modern Prolog implementation written mostly in Ru...
github.com
/prolog/rust
5 1340 1
New
First poster: mafinar
Backend>In The News

Clojure is a better Java than Java
8 Reasons why Clojure is a better Java than Java. Clojure is better than Java at its own game. Using code examples, we dive into what ma...
purelyfunctional.tv
/clojure/java
9 1580 4
New
CommunityNews
Backend>In The News

Martin Thompson On How To Manage Software Complexity
Martin Thompson On How To Manage Software Complexity | The Engineering Room Ep. 4. In this episode, Dave Farley chats with Martin Thomps...
youtube.com
/java
7 1499 1
New
CommunityNews
Backend>In The News

Python 3.11 in the Web Browser
Python 3.11 in the Web Browser - A Journey Christian Heimes PyConDE & PyDataBerlin 2022 conference . Compile CPython to Web Assembly...
2022.pycon.de
/python#browser#web
6 1287 1
New
gfqdjb
Backend>In The News

Full-Stack on Cloudflare: Master Full-Stack Development on the Worker Edge Network
Learn Step-by-Step from a Hands-On Project 9 comprehensive modules taking you from beginner to building production-ready SaaS applicatio...
learn.backpine.com
#ai/typescript#serverless#full-stack#cloudflare
12 1764 7
New

Other popular topics Top

AstonJ
General Dev>Dev Chat

Best chairs for developers?
What chair do you have while working… and why? Is there a ‘best’ type of chair or working position for developers?
#workspace#opinions
74 5463 41
New
AstonJ
Science/Tech>Tech Chat

What are you watching?
Or looking forward to? :nerd_face:
#community
498 13326 269
New
AstonJ
General Dev>Code Editors

Poll: Which code editor do you use?
You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...
#community#polls/vim/emacs#code-editors/vscode#notepad/sublime-text#atom/textmate#codespaces#brackets/onivim#geany
121 5796 61
New
DevotionGeo
General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
30 7372 9
New
AstonJ
Data Science

Can AI/ML predict a lottery win?
Biggest jackpot ever apparently! :upside_down_face: I don’t (usually) gamble/play the lottery, but working on a program to predict the...
#ai#machine-learning
19 3939 10
New
PragmaticBookshelf
Backend>Learning Resources

Agile Web Development with Rails 7
Rails 7 completely redefines what it means to produce fantastic user experiences and provides a way to achieve all the benefits of single...
pragprog.com
#pragprog#web-development/ruby/rails#published-book/book-agile-web-development-with-rails-7
32 6600 9
New
AstonJ
Frontend>Chat

Online Hand to eye coordination test
Was just curious to see if any were around, found this one: I got 51/100: Not sure if it was meant to buy I am sure at times the b...
#online-tools
4 4562 1
New
sir.laksmana_wenk
Game Dev>Questions

I want to learn how make a game, but where should I start?
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc. However, I don’t...
#game-dev
15 4965 9
New
PragmaticBookshelf
Backend>Learning Resources

Ash Framework
Explore the power of Ash Framework by modeling and building the domain for a real-world web application. Rebecca Le @sevenseacat and ...
pragprog.com
#pragprog/elixir#published-book/ash/book-ash-framework
15 7555 9
New
NewsBot
Backend>Official News

Node.js v22.14.0 released!
Node.js v22.14.0 has been released. Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 4251 0
New
Back to top

Sponsor Spotlight

Manning

Develop your skills with books, videos, and courses.

Latest in Agda

Agda Portal ❯

Backend>In The News

Backend In The News ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap