ulaulaman, to mathematics
@ulaulaman@mastodon.social avatar

'Magical' Error Correction Scheme Proved Inherently Inefficient

https://www.quantamagazine.org/magical-error-correction-scheme-proved-inherently-inefficient-20240109/

Locally correctable codes need barely any information to fix errors, but they’re extremely long. Now we know that the simplest versions can’t get any shorter.

rickweinberg, to ArtificialIntelligence
@rickweinberg@techhub.social avatar

https://www.edsurge.com/news/2024-02-06-computer-science-course-offerings-in-high-school-spur-more-students-to-coding-degrees High School students taking computer science courses helps students get computer science jobs after college. Also, computer science in high school can help to attract in a feel that needs diversity. @donwatkins @WillRichardson @edutooters

leanpub, to datascience
@leanpub@mastodon.social avatar

The Hundred-Page Machine Learning Book https://leanpub.comtheMLbook by Andriy Burkov is the featured book on the Leanpub homepage! https://leanpub.com

aires, to windows
@aires@tiggi.es avatar

Do you, or have you ever, used a graphical user interface? If you use #Windows, #macOS, or any version of #Linux with a window manager or desktop environment, you can thank Dr. Clarence "Skip" Ellis.

Dr. Ellis worked at Xerox PARC, the research organization that developed the modern GUI. Icons, windows, the mouse, Ethernet-based networking, laser printing - all of these (and more) came out of PARC. Dr. Ellis led the team that created Officetalk, the first program to use icons and the Internet. He got his start at 15 years old showing a local tech company how to reuse punch cards, which was a game-changer back in 1958.

Oh, and he was also the first black man to earn a PhD in Computer Science.

#BlackHistoryMonth #BlackHistory #BlackMastodon #ComputerScience @blackmastodon

https://elective.collegeboard.org/clarence-skip-ellis-computer-science-pioneer
https://en.wikipedia.org/wiki/Clarence_Ellis_(computer_scientist)
https://www.redhat.com/en/command-line-heroes/season-6/clarence-ellis

AmenZwa, to ComputerScience
@AmenZwa@mathstodon.xyz avatar

Curry-Howard correspondence is a foundational principle of modern type theory and programme verification in .

Its evil twin is Hurry-Coward, which states that bold who hurry their type designs turn into cowards on go-live date.

bkrupp, to Futurology

If you are part of the ACM SIGCAS community, we are starting to organize the Works in Progress talks for 2024.

The Works in Progress program is an opportunity for people to share work with the SIGCAS community to raise awareness about important work, receive feedback, or just have a general discussion about the work.

If you are interested in presenting, please complete the form below:
https://forms.gle/vcBEoT8ioy1gHegY8

@sigcas @ACM

#computing #computerscience

claras_universe, to Futurology
@claras_universe@ieji.de avatar

When you're only around smart and open-minded ppl in uni and get back into the internet it sometimes feels like a full-blown cultural shock xD Ik it's the internet... But still sad there's people still thinking like that.

leanpub, to datascience
@leanpub@mastodon.social avatar

Machine Learning Q and AI by Sebastian Raschka, PhD is on sale on Leanpub! Its suggested price is $29.95; get it for $17.47 with this coupon: https://leanpub.com/sh/DjZK76MC #DataScience #Ai #MachineLearning #ComputerScience #ComputerProgramming #NonFiction #Textbooks #Gpt

mycotropic, to science
@mycotropic@beige.party avatar

How have I managed to miss knowing anything about ? Come on, I have a newspaper discussing hanging on my wall and Ada is Lord Byron's kid so I should have picked up on her at some point because of Frankenstein right? I am remiss my studies.

https://en.m.wikipedia.org/wiki/Ada_Lovelace#First_computer_program

bkrupp, to ComputerScience

I just read this article from Moshe Vardi in the latest issue of CACM and I encourage everyone in computing to read it. As computing researchers and professionals, we have a responsibility to society, and in Moshe's article, I think this about sums up the current state: "we once considered computing as the 'Rebels', but it turns out that computing is the 'Empire'"

https://cacm.acm.org/magazines/2024/1/278892-computing-you-have-blood-on-your-hands/fulltext

@ACM @vardi
@sigcas

#computerscience #computing

LouisIngenthron, to ComputerScience
@LouisIngenthron@qoto.org avatar

Can you see the incredibly simple #ComputerScience 101 #bug in this code? Because I just spent the better part of a Sunday banging my head before figuring it out 🤦‍♂️

#Programming alone and having full control over your #GameDev codebase is great most of the time, but sometimes you just need a second set of eyes to reveal your blind spots.

claras_universe, to python
@claras_universe@ieji.de avatar

I'm now determining if a randomly generated atmosphere is breathable or not c: And I found out that it's very unforgiving... A lot of things have to be right for an atmosphere to be breathable, and there's SO MANY TOXIC GASES (my search history is messed up now). I'll prolly have to make the generator less realistic to favor gameplay :o

image/png
image/png

leanpub, to ComputerScience
@leanpub@mastodon.social avatar

Mastering STM32 - Second Edition by Carmine Noviello is on sale on Leanpub! Its suggested price is $35.99; get it for $23.99 with this coupon: https://leanpub.com/sh/tR81MrzR

ACM, to ComputerScience
@ACM@mastodon.acm.org avatar

✨Announcing the 2023 ! This year's 68 inductees include the inventor of the World Wide Web, the "godfathers of AI," and other colleagues whose contributions have all been important building blocks in forming the digital society that shapes our modern world.⠀

Read about their achievements: https://www.acm.org/media-center/2024/january/fellows-2023

Congratulations to all the Fellows! 🌎

guidoschmidt, to ComputerScience
@guidoschmidt@genart.social avatar

Idea for a new kind of captcha: Where's wally hidden object pictures

#ComputerScience #security #whereiswaldo #waldo #wally #whereiswally

vivdunstan, to programming
@vivdunstan@mastodon.scot avatar

Back to , and there's something really magical about trying early stages of the game myself as a player, thinking "This is the experience I want the player to have here", then coding it, replaying to try it out myself, tweaking and so on. Like alchemy! Iterative, and it takes time. But it's stupidly fun. I never had this much fun with during my degree, when we learned loads of languages and IDEs.

meisterluk, to webassembly

"The challenge of cross-language interoperability" by David Chisnall (2013)
https://dl.acm.org/doi/10.1145/2534706.2534719

The author is craving for an intermediate representation for general-purpose computational machines. A few years later it happened with .

schizanon, to programming
@schizanon@mas.to avatar

Every programmer has a word that, when they hear it, they immediately dismiss everything they are reading as bullshit.

Mine's "transclusion".

990000, to programming
@990000@mstdn.social avatar

I was trying to learn what a monad was and ran into that same problem in Wikipedia where they provide so much descriptive info about something, but not why it exists or what it's for. Ugh.

Does someone have a simple explanation?

weilawei, to ComputerScience
@weilawei@mastodon.online avatar

Alright, #computerScience nerds. I'm looking for papers, and hoping some night-owl specializes in this. I'm a glorified plumber, despite decades of experience, and I'm looking for literature specifically on the expression and fast verification of constraints on rooted DAGs (not finding them in the first place, which is what all the work seems to be on).

Any good references?

leanpub, to datascience
@leanpub@mastodon.social avatar

Machine Learning Q and AI by Sebastian Raschka, PhD is on sale on Leanpub! Its suggested price is $29.95; get it for $17.47 with this coupon: https://leanpub.com/sh/sHqKEKpI #DataScience #Ai #MachineLearning #ComputerScience #ComputerProgramming #NonFiction #Textbooks #Gpt

leanpub, to ComputerScience
@leanpub@mastodon.social avatar

Build Your Own X: Redis, Database, Compiler https://leanpub.com/b/byo_redis_db_compiler by build-your-own.org is the featured bundle on the Leanpub homepage! https://leanpub.com #CAndCpp #Networking #Databases #ComputerScience #SoftwareArchitecture #ComputerProgramming #Go

leanpub, to datascience
@leanpub@mastodon.social avatar

The Hundred-Page Machine Learning Book (PDF + EPUB + extra PDF formats) by Andriy Burkov is on sale on Leanpub! Its suggested price is $40.00; get it for $14.00 with this coupon: https://leanpub.com/sh/TuwwSCT3

peterdrake, to ComputerScience
@peterdrake@qoto.org avatar

AnitaB.org, the organization that runs the Grace Hopper Celebration of Women in Computing, is having monthly online meetups for Portland, OR.

--
I want to make sure you don't miss the opportunity to virtually connect with other AnitaB.org Portland community members on Thursday, 2/8 at 12:00 p.m. PT!

As part of a new monthly series (happening on the second Thursday of each month), we want to invite you to collaborate with others, share ideas and grow your local network. Meet other members, ask questions, and learn how to get more involved in growing the Portland community.

Here's the link [https://458rl1jp.r.us-east-1.awstrack.me/L0/https:%2F%2Fmembership.anitab.org%2Fevents%2FEventDetails.aspx%3Fid=1815674%26group=/2/0100018d14412086-45f47e45-f515-49b7-a8b9-90a5ac693bcb-000000/PEDnVlvYoed6CQ7dztBrAUpfXto=357] to register for this month - and future dates as well! Get this monthly meetup on your calendar and use the opportunity to build meaningful connections.

Not able to make it? Help us expand our reach by sharing with your network!

leanpub, to datascience
@leanpub@mastodon.social avatar

Deliver Value in the Data Economy: Data monetization explained so that everyone understands it! https://leanpub.com/dataeconomy is the featured book on the Leanpub homepage! https://leanpub.com

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines