An epic treatise on error models for systems programming languages

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 1167 0

2021-01-08 10:29:23 UTC

New

General Dev>In The News

Remote working: Is Big Tech going off work from home?

On Wednesday last week, Google’s Fiona Cicconi wrote to company employees. She announced that Google was bringing forward its timetable ...

bbc.co.uk

#remote

31 1145 10

2021-06-02 01:13:39 UTC

New

General Dev>In The News

Kinesis Advantage360 Ergonomic Keyboard

Kinesis Advantage360 Ergonomic Keyboard. Split-adjustable, contoured design that maximizes comfort and boosts productivity. Mechanical s...

kinesis-ergo.com

/keyboards #ergonomic

0 1233 0

2021-12-18 06:40:34 UTC

New

General Dev>In The News

My new toy is a USB-C cable with a built-in power meter

You can now buy a 100W USB-C cable with a built-in power meter. They’re just $20 on Amazon, and they work!

theverge.com

#usb

26 1402 12

2022-02-09 19:03:39 UTC

New

General Dev>In The News

The cheapest flash microcontroller you can buy is actually an Arm Cortex-M0+

The cheapest flash microcontroller you can buy is actually an Arm Cortex-M0+ - Jay Carlson. Puya’s 10-cent PY32 series is complicating t...

jaycarlson.net

#arm

0 1125 0

2023-02-06 01:58:11 UTC

New

General Dev>In The News

Whatever happened to Elm, anyway?

Whatever happened to Elm, anyway?. I see this question pop up quite frequently in lots of different arenas - folks are curious as to wha...

derw.substack.com

/elm

17 1003 12

2025-04-21 03:57:49 UTC

New

General Dev>In The News

The First Social-Media Babies Are Growing Up–and They’re Horrified

The First Social-Media Babies Are Growing Up—And They’re Horrified. How would you feel if millions of people watched your childhood tant...

theatlantic.com

#social

0 921 0

2023-05-28 01:57:45 UTC

New

General Dev>In The News

Building a Slack alternative with Rust/Tauri

Building a Slack/Discord alternative with Tauri/Rust linen <span class="hashtag-icon-placeholder"></span>blog. Introduction My name is K...

linen.dev

/rust #slack #tauri

1 986 1

2023-06-21 13:49:08 UTC

New

General Dev>In The News

X can’t stop spread of explicit, fake AI Taylor Swift images

Will Swifties’ war on AI fakes spark a deepfake porn reckoning?

arstechnica.com

/swift

0 5943 0

2024-01-26 05:47:12 UTC

New

General Dev>In The News

Why Ruby on Rails still matters

Why Ruby on Rails still matters. An old tool endures in a Next.js world

contraption.co

/ruby /rails

12 385 7

2025-03-04 08:44:37 UTC

New

Backend>Chat

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?

I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...

#web-frameworks /rust

36 6605 11

2020-06-21 10:50:02 UTC

New

Science/Tech>Tech Chat

What are you watching?

Or looking forward to? :nerd_face:

#community

480 9421 251

2024-11-13 14:03:50 UTC

New

Community>Journals

Programming Erlang Book Club

My first contact with Erlang was about 2 years ago when I used RabbitMQ, which is written in Erlang, for my job. This made me curious and...

/erlang /book-programming-erlang-2nd-edition #book-club

195 6386 95

2025-02-16 20:22:17 UTC

New

General Dev>Hardware

GMK Serika Keycaps - Serika 2 available to order now!

I have seen the keycaps I want - they are due for a group-buy this week but won’t be delivered until October next year!!! :rofl: The Ser...

/keyboards #keycaps #mechanical-keyboards

9 4382 7

2020-12-05 21:32:30 UTC

New

Science/Tech>Health & Diet

Did you manage to avoid covid19?

Seems like a lot of people caught it - just wondered whether any of you did? As far as I know I didn’t, but it wouldn’t surprise me if I...

#covid19

190 3829 79

2022-10-27 05:12:52 UTC

New

General Dev>Sales

Get 50% off these PragProg books during our Think Again Sale

Think Again 50% Off Sale » The theme of this sale is new perspectives on familiar topics. Enter coupon code ThinkAgain2021 at checkout t...

#community #pragprog /elixir /book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition /book-programming-machine-learning /book-the-ray-tracer-challenge /book-forge-your-future-with-open-source /book-software-design-x-rays #algorithms /book-testing-elixir #machine-learning #sale /book-concurrent-data-processing-in-elixir /book-intuitive-python

8 5980 2

2021-05-11 23:06:15 UTC

New

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 3158 10

2021-10-18 19:01:41 UTC

New

Backend>Learning Resources

Effective Haskell

Build efficient applications that exploit the unique benefits of a pure functional language, learning from an engineer who uses Haskell t...

pragprog.com

#pragprog /haskell #published-book /book-effective-haskell

15 5339 1

2022-02-16 10:09:51 UTC

New

Community>In The Spotlight

Spotlight: David Bryant Copeland (Author) Interview and AMA!

Author Spotlight: David Bryant Copeland @davetron5000 We’re so happy to bring you another Author Spotlight, a series where we sit dow...

#author-spotlight /book-agile-web-development-with-rails-6 /book-rails-angular-postgres-and-bootstrap-second-edition /book-sustainable-web-development-with-ruby-on-rails

19 3447 15

2023-03-28 18:14:47 UTC

New

General Dev>Questions

Do you prefer regular mechanical keyboards or low profile mechanical keyboards and why?

I have always used antique keyboards like Cherry MX 1800 or Cherry MX 8100 and almost always have modified the switches in some way, like...

/keyboards #mechanical-keyboards

27 2827 9

2023-02-06 21:10:15 UTC

New

An epic treatise on error models for systems programming languages

CommunityNews

An epic treatise on error models for systems programming languages

Most Liked

alvinkatojr

Where Next?

Popular General Dev topics

Hush Keyboards with Hushboard

Remote working: Is Big Tech going off work from home?

Kinesis Advantage360 Ergonomic Keyboard

My new toy is a USB-C cable with a built-in power meter

The cheapest flash microcontroller you can buy is actually an Arm Cortex-M0+

Whatever happened to Elm, anyway?

The First Social-Media Babies Are Growing Up–and They’re Horrified

Building a Slack alternative with Rust/Tauri

X can’t stop spread of explicit, fake AI Taylor Swift images

Why Ruby on Rails still matters

Other popular topics

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?

What are you watching?

Programming Erlang Book Club

GMK Serika Keycaps - Serika 2 available to order now!

Did you manage to avoid covid19?

Get 50% off these PragProg books during our Think Again Sale

Can AI/ML predict a lottery win?

Effective Haskell

Spotlight: David Bryant Copeland (Author) Interview and AMA!

Do you prefer regular mechanical keyboards or low profile mechanical keyboards and why?

General Dev>In The News

Latest on Devtalk

We ❤️ helpful members!

Categories:

Sub Categories:

Popular Portals

We're in Beta

An epic treatise on error models for systems programming languages

CommunityNews

An epic treatise on error models for systems programming languages

Most Liked

alvinkatojr

Where Next?

Popular General Dev topics

Hush Keyboards with Hushboard

Remote working: Is Big Tech going off work from home?

Kinesis Advantage360 Ergonomic Keyboard

My new toy is a USB-C cable with a built-in power meter

The cheapest flash microcontroller you can buy is actually an Arm Cortex-M0+

Whatever happened to Elm, anyway?

The First Social-Media Babies Are Growing Up–and They’re Horrified

Building a Slack alternative with Rust/Tauri

X can’t stop spread of explicit, fake AI Taylor Swift images

Why Ruby on Rails still matters

Other popular topics

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?

What are you watching?

Programming Erlang Book Club

GMK Serika Keycaps - Serika 2 available to order now!

Did you manage to avoid covid19?

Get 50% off these PragProg books during our Think Again Sale

Can AI/ML predict a lottery win?

Effective Haskell

Spotlight: David Bryant Copeland (Author) Interview and AMA!

Do you prefer regular mechanical keyboards or low profile mechanical keyboards and why?

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