gutenberg_org, (edited ) to mathematics
@gutenberg_org@mastodon.social avatar

#OTD in 1936.

Alan Turing submits On Computable Numbers for publication.

His proof shows that there can be no mechanical, general method (i.e., a Turing machine or a program in some equivalent model of computation) to determine whether algorithms halt. However, each individual instance of the halting problem has a definitive answer, which may or may not be practically computable.

https://en.wikipedia.org/wiki/Turing%27s_proof

#mathematics #computerscience #lgbtq

Moosader, to ComputerScience
@Moosader@mastodon.gamedev.place avatar

Since I'm working on my summer course notes/"book": what is something you wish programmers knew/did?

fabian, (edited ) to python
@fabian@floss.social avatar

🐍 aprxc — A #Python #CLI tool to approximate the number of distinct values in a file/iterable using the Chakraborty/Vinodchandran/Meel’s (‘coin flip’) #algorithm¹.

:codeberg: https://codeberg.org/fa81/ApproxyCount

Vs. sort | uniq -c | wc -l: needs slightly more memory, but 5x faster.

Vs. awk '!a[$0]++' | wc -l: just as fast, using much less memory (20x-150x for large inputs).

At the cost of ~1% inaccuracy (configurable).

Useful? You decide! :)

¹ https://arxiv.org/pdf/2301.10191#section.2

#math #ComputerScience

davidr, to ComputerScience
@davidr@hachyderm.io avatar

and ball trees seem cool, but require full knowledge of the thing I'm searching for. What if it's 7 dimensional and I only know 4 of the values?

I feel like a "parallel kd tree" with a separate binary index on each dimension would work better here.

Reduce depth. Allow unspecified values. It'd also be a snap to create and search each dim in parallel.

This must already exist...

Krupp, to Futurology
@Krupp@hci.social avatar

If you are interested in presenting "work in progress" that intersects computing and society, consider submitting a talk to ACM SIGCAS Works In Progress (WIP). These are online discussions where you can present your work, discuss it with the SIGCAS community, and gain insightful feedback.

To submit a talk, complete the following form: https://forms.gle/N7tuc5e4ELhGLLiSA

We encourage researchers, professionals, and students to participate!

@ACM
@sigcas

LouisIngenthron, (edited ) to ComputerScience
@LouisIngenthron@qoto.org avatar

#ComputerScience #programming question:

You need to replace references to the variable "terrainHeightValue" in your code with "terrainHeatValue". You know it's limited to one function, and there are 5-8 instances to be replaced.

What do you do?

ramikrispin, to ComputerScience
@ramikrispin@mstdn.social avatar

(1/2) Data Compression: Theory and Applications - Stanford Course 👇🏼

Stanford University released a new course on data compression methods taught by Prof.Tsachy Weissman, Shubham Chandak, and Pulkit Tandon. As the demand for data increases at an exponential rate, data compression plays a pivotal role in providing efficient storage solutions. The course focuses on the foundations and theory of data compression.

#data #computerscience

logickinlambda, to datascience
@logickinlambda@mastodon.social avatar

Can any professional explain why use instead of writing some PL/SQL stored procedures then calling them using python?

I just found it is really tricky just to modify data conditionally on a single table, while these kind of tasks are easy using SQL update statement.

ramikrispin, to python
@ramikrispin@mstdn.social avatar

(1/2) Introduction To CS And Programming Using Python 🐍 - New MIT Course 🚀👇🏼

MIT released an introductory course for computer science by Dr. Ana Bell. This full semester course (26 lectures) focuses on the foundations of programming using Python. This is a beginner level and does not require previous programming experience.

#python #computerscience #mit

bikenut, to ComputerScience
@bikenut@mastodon.social avatar

If you teach or and use as your please join the conversation requesting restoration of file preview for common programming languages. Instructors can no longer annotate student submissions. It has been working for 5 years and now Instructure claims it’s not supported.

https://community.canvaslms.com/t5/Canvas-Question-Forum/Java-source-files-in-SpeedGrader-no-longer-showing/

gutenberg_org, to ComputerScience
@gutenberg_org@mastodon.social avatar

#OTD in 1959.

A team of computer manufacturers, users, & university people led by Grace Hopper meets to discuss the creation of a new programming language that would be called COBOL.

Throughout her career, Hopper made significant contributions to computer science, including the development of the concept of machine-independent programming languages, which greatly facilitated software development. Her compiler converted English terms into machine code understood by computers.

#computerscience

Krupp, to Futurology
@Krupp@hci.social avatar

Fascinating article from IEEE Spectrum that discusses the carbon footprint of software and how we can both measure and improve it: https://spectrum.ieee.org/green-software

The benefit is not only less carbon, but following some of the principles that are outlined can decrease costs and improve efficiency.

The article references tools such as Firefox Profiler and Ecograder as well as an open source Sustainable Software Engineering course.

#computing #computerscience #softwareengineering #sustainability

Moosader, to outdoors
@Moosader@mastodon.gamedev.place avatar

WRITING C++ SLIDES OUTSIDE!! OUTSIDE OFFICE!!

(also kids keep hitting baseballs into our yard we have like four now.)

peterrenshaw, to sciencefiction
@peterrenshaw@ioc.exchange avatar

“One day in 1979, while logged in to San Diego State University’s principal computer from his home, found himself chatting to another user via the program, both using implausible names and trying to figure out each other’s true name. “Afterwards, I realised that I had just lived a story – at least by the standards of my childhood,””

/ / / <https://www.theguardian.com/books/2024/mar/29/vernor-vinge-obituary>

Krupp, to Futurology
@Krupp@hci.social avatar

Please join us for the second SIGCAS Works in Progress event of 2024 where Julia Gersey will be giving an opening talk on "Fine-Grained Air Quality Sensing with Internet-of-Things" and Dr. Trystan Goetze will be giving a talk on "Soothsayers, Illusionists, Con Artists, and 'Artificial Intelligence'"!

The talks will be on May 3rd 2024 at 12pm EDT (4pm UTC).

Registration is required for the event where you can register here:

https://forms.gle/x92a4XM5X2FgwSLg7

@sigcas @ACM
#computing #computerscience

leanpub, to books
@leanpub@mastodon.social avatar

The Evolution of Computer Science | Studying in the Early Nineties => Short clip from the Leanpub Frontmatter podcast with Simon Brown, author of Software Architecture for Developers => The link to the full interview is here => https://youtu.be/PLjVbjmGe5U #podcastclips #books #computerscience #technology

video/mp4

shaedrich, to programming
@shaedrich@mastodon.online avatar

I've been #programming for 14 years now, have been using #PHP, #JavaScript, #ColdFusion, #Ruby, and whatnot, but holy cow, when reading the following chapter, I've literally been yelling "what the heck" at every second paragraph:

https://tutorial.ponylang.io/types/traits-and-interfaces

I mean, #PonyLang really tries to explain everything in depth, and I appreciate the effort, but while it works fine in earlier chapters, it confuses the heck out of me in this at length.

#amProgramming #amCoding #computerScience

shaedrich, to DoctorWho
@shaedrich@mastodon.online avatar
researchinenglish, to math
@researchinenglish@mastodon.social avatar
tedivm, to ComputerScience
@tedivm@hachyderm.io avatar

I've got a history of #ComputerScience/#Software/#Programming question: what was the first public software registry?

CPAN was launched in 1995. Is there anything older?

davidbisset, to ComputerScience
@davidbisset@phpc.social avatar

My daughter is a college junior getting her #ComputerScience degree. She's currently frustrated and hitting some issues w/ her code in a class.

"Hey i code for a living... happy to be your rubber duck... what language are you coding in?"

Her: "#Assembly"

Me:

video/mp4

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/hj39aJWe #DataScience #ComputerScience #MachineLearning #Ai

MIfoodie, (edited ) to python
@MIfoodie@vivaldi.net avatar

If you have a text file in the format of [LastName], [FirstName] [MiddleName] in #python and you are trying to append all of the first names to a list named firstNames, use a for line in data loop then firstNames.append(line[line.find(" ") + 1:][:line[line.find(" ") + 1:].find(" ")]).

#programming #coding #computer #ComputerScience

abuseofnotation, to ComputerScience
@abuseofnotation@mathstodon.xyz avatar

#computerscience question (not sure how to phrase it):

Is there a program execution model in which the code is directly evaluated as an expression and the result is recorded in place as opposed to just executing it and recording the result in a new memory location?

I think #lisp machines did it like this.

ianRobinson, to Futurology
@ianRobinson@mastodon.social avatar

The Reachability Problem- Why is this computer science problem so Hard? - Quanta Magazine

https://youtu.be/IzSs_gJDVzI?si=kS1kwUSDEhUCfGLK

#Maths #Computing #ComputerScience

  • 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