Programming Languages for Verifying Compilers

General Dev>In The News

I am lonely will anyone speak to me

en.wikipedia.org

/diversity #mental-health

0 1210 1

2020-12-26 08:45:20 UTC

New

General Dev>In The News

Hush Keyboards with Hushboard

Hush Keyboards with Hushboard. Yesterday while surfing the ASCII highways of IRC (yes, IRC) a URL linking to a MacOS application scrolle...

popey.com

/keyboards

0 1177 0

2021-01-08 10:29:23 UTC

New

General Dev>In The News

Permission.site (online tool to check browser permissions)

https://permission.site/ This thread was posted by one of our members via one of our news source trackers.

permission.site

22 1327 8

2021-04-02 19:09:03 UTC

New

General Dev>In The News

SPWN – A programming language that compiles to Geometry Dash levels

SPWN is a programming language that compiles to Geometry Dash levels. What that means is that you can create levels by using not only the...

github.com

#programming

0 1398 0

2021-08-31 16:10:33 UTC

New

General Dev>In The News

Google has a secret deal with FB called “Jedi Blue” that they knew was illegal

twitter.com

#google

42 1148 15

2021-11-09 21:07:44 UTC

New

General Dev>In The News

The pool of talented C++ developers is running dry

The pool of talented C++ developers is running dry. Highly sought after, rarely provided.

efinancialcareers.com

/c-plus-plus

13 1017 5

2023-05-09 22:17:58 UTC

New

General Dev>In The News

Dark mode is not as good for your eyes as you believe (2019)

Dark mode isn’t as good for your eyes as you believe. The shadowy display mode has leagues of fans claiming it helps reduce eye strain, ...

wired.com

3 966 2

2024-07-09 23:57:17 UTC

New

General Dev>In The News

Distributed Systems Programming Has Stalled

Over the last decade, we’ve seen great advancements in distributed systems, but the way we program them has seen few fundamental improvem...

shadaj.me

#programming

4 303 2

2025-03-10 05:54:07 UTC

New

General Dev>In The News

Self-Hosting a Firefox Sync Server

After switching from Firefox to LibreWolf, I became interested in the idea of self-hosting my own Firefox Sync server. Although I had see...

blog.diego.dev

#hosting #firefox

0 296 0

2025-03-09 03:43:04 UTC

New

General Dev>In The News

JavaScript Fatigue Strikes Back

The new frameworks will continue until morale improves.

allenpike.com

/js

6 274 5

2025-03-24 16:52:46 UTC

New

Science/Tech>Health & Diet

How do you keep fit and healthy?

@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness. https://f...

#fitness #heath

193 4510 82

2023-01-23 06:00:46 UTC

New

Cross Platform>Libraries/Tools

Obsidian – a cross platform app to help you create a knowledge base with Markdown files

I’ve been really enjoying obsidian.md: It is very snappy (even though it is based on Electron). I love that it is all local by defaul...

#apps #macos #windows #linux /markdown #obsidian

38 4062 19

2021-08-02 16:28:39 UTC

New

Backend>Chat

Would you use Erlang now when there is Elixir?

Why, if your answer is yes?

/elixir /erlang

167 4400 52

2021-04-22 18:15:44 UTC

New

General Dev>Hardware

Keyboard thock (sound)

I’ve been hearing quite a lot of comments relating to the sound of a keyboard, with one of the most desirable of these called ‘thock’, he...

/keyboards #mechanical-keyboards

14 7927 8

2020-11-11 11:59:23 UTC

New

General Dev>Content Creators

What tech topics do you think will (or should) be the focus of 2021?

Hello content creators! Happy new year. What tech topics do you think will be the focus of 2021? My vote for one topic is ethics in tech...

#general

110 3900 43

2021-04-23 18:29:04 UTC

New

General Dev>Dev Chat

The V Programming Language

The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...

#programminguages /v

21 11128 7

2021-04-12 15:13:42 UTC

New

Community>In The Spotlight

Spotlight: Dmitry Zinoviev (Author) Interview and AMA!

Author Spotlight Dmitry Zinoviev @aqsaqal Today we’re putting our spotlight on Dmitry Zinoviev, author of Data Science Essentials in ...

#author-spotlight /python /book-complex-network-analysis-in-python /book-data-science-essentials-in-python /book-resourceful-code-reuse /book-pythonic-programming

33 4801 14

2022-10-11 20:07:10 UTC

New

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 3745 1

2022-03-27 10:53:45 UTC

New

Android>Questions

Clipboard readtext not working in android webview

Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...

#android #clipboard

1 3243 0

2022-09-27 18:52:03 UTC

New

General Dev>In The News

Zig now has built-in HTTP server and client in std

zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...

github.com

/zig #http

0 2781 0

2023-05-19 00:35:41 UTC

New

Programming Languages for Verifying Compilers

CommunityNews

Programming Languages for Verifying Compilers

Where Next?

Popular General Dev topics

I am lonely will anyone speak to me

Hush Keyboards with Hushboard

Permission.site (online tool to check browser permissions)

SPWN – A programming language that compiles to Geometry Dash levels

Google has a secret deal with FB called “Jedi Blue” that they knew was illegal

The pool of talented C++ developers is running dry

Dark mode is not as good for your eyes as you believe (2019)

Distributed Systems Programming Has Stalled

Self-Hosting a Firefox Sync Server

JavaScript Fatigue Strikes Back

Other popular topics

How do you keep fit and healthy?

Obsidian – a cross platform app to help you create a knowledge base with Markdown files

Would you use Erlang now when there is Elixir?

Keyboard thock (sound)

What tech topics do you think will (or should) be the focus of 2021?

The V Programming Language

Spotlight: Dmitry Zinoviev (Author) Interview and AMA!

Online Hand to eye coordination test

Clipboard readtext not working in android webview

Zig now has built-in HTTP server and client in std

General Dev>In The News

Latest on Devtalk

We ❤️ helpful members!

Categories:

Sub Categories:

Popular Portals

We're in Beta

Programming Languages for Verifying Compilers

CommunityNews

Programming Languages for Verifying Compilers

Where Next?

Popular General Dev topics

I am lonely will anyone speak to me

Hush Keyboards with Hushboard

Permission.site (online tool to check browser permissions)

SPWN – A programming language that compiles to Geometry Dash levels

Google has a secret deal with FB called “Jedi Blue” that they knew was illegal

The pool of talented C++ developers is running dry

Dark mode is not as good for your eyes as you believe (2019)

Distributed Systems Programming Has Stalled

Self-Hosting a Firefox Sync Server

JavaScript Fatigue Strikes Back

Other popular topics

How do you keep fit and healthy?

Obsidian – a cross platform app to help you create a knowledge base with Markdown files

Would you use Erlang now when there is Elixir?

Keyboard thock (sound)

What tech topics do you think will (or should) be the focus of 2021?

The V Programming Language

Spotlight: Dmitry Zinoviev (Author) Interview and AMA!

Online Hand to eye coordination test

Clipboard readtext not working in android webview

Zig now has built-in HTTP server and client in std

Sponsor Spotlight

General Dev>In The News

Latest on Devtalk

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

We're in Beta