frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Mathematics for Computer Science (2024)

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer-science-spring-2024/
166•vismit2000•8h ago
Lecture videos:

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer...

https://www.youtube.com/playlist?list=PLUl4u3cNGP61VNvICqk2H...

Comments

OutOfHere•7h ago
The lecture videos are here:

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer...

https://www.youtube.com/playlist?list=PLUl4u3cNGP61VNvICqk2H...

fn-mote•6h ago
The page listing topics (just like the playlist):

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer...

Lecture notes:

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer...

There are a few unusual parts, like the last lecture ("Large Deviations"). I'm not familiar with the entire course, but IMO the lecture on state machines is very good; it discusses invariants and uses an approchable example (the 15-puzzle).

Text (last revised 2018): https://courses.csail.mit.edu/6.042/spring18/mcs.pdf

If you have never looked at it, the problems there are very nice. For example, instead of some dry boolean logic problem about A and Not(B), you have Problem 3.17 on page 81, which begins:

    This problem examines whether the following specifications are satisfiable:
    1. If the file system is not locked, then. . .
    (a) new messages will be queued.
    (b) new messages will be sent to the messages buffer.
    (c) the system is functioning normally, and conversely, if the system is
    functioning normally, then the file system is not locked.

    [...]

    (a) Begin by translating the five specifications into propositional 
    formulas using the four propositional variables [...]
mturmon•6h ago
I was also pleased to see large deviations, although the lecture notes don’t actually define what a large deviation is.

They do give an example of a Chernoff (exponential) bound for a sum of iid random variables. The bound of course has an exponential form - they just don’t call it a large deviation. So it’s a bit of a missed opportunity, oven that the name is in the chapter title.

These bounds come up all over the place in CS, but especially lately in learning theory.

vardhanw•1h ago
The Units seem to be independent i.e. could be followed in any order. Can someone knowledgeable confirm this? I know Set theory etc is the basis of many things usually in a formal mathematical setting, hence asking.
overfl0w•5h ago
It's unbelievable that the average human being has access to the lectures of some of the best universities in the world for free. 31 hours of in-depth mathematics by some of the best people in their field.

Although I have always been struggling with keeping up with long lecture playlists. I always try to find shorter videos which explain the concept faster (although probably lacking depth). And end up ditching it halfway as well. Perhaps the real motivation to keep up with the material comes from actually enrolling the university? Has anyone completed such type of lectures by themselves? How do you stay consistent and disciplined?

I find courses in some platforms (coursera/khanacademy) a bit more motivating because they kind of push me with deadlines. I guess I am used to deadline-oriented studying.

If anyone else is struggling with attention span and is looking for shorter lectures (although they may not have the same depth): https://www.youtube.com/@ProfessorDaveExplains/playlists

rhubarbtree•5h ago
“A world class education available for free, to the undistractable.”
globalnode•5h ago
Its so hard to be self disciplined like that, I find I have to enroll to force myself to engage. I know its a weakness.
William_BB•5h ago
In my experience, coursera/khan academy courses have never been able to compete with a rigorous university course. They're great resources when you need alternative explanations, but never stood up on their own.

I think long lecture playlist is a feature, not a bug. It's much harder to commit to such material when you're not full timing education.

barrenko•4h ago
My 5 cents, the value of KA is that it gives you some sort of basic curriculum you can follow. To finish calculus (the "basic", single variable) I've had to pull in lots of other books, youtube channels, courses from other universities, but it still has it's worth. It's like a rope bridge over a high river.

Major weaknesses are some cool sections like Linear Algebra that have no exercises in their respective "tree", but that's very rare.

onetimeuser24•5h ago
I got through a few lectures by recognizing that I didn’t have the mathematical training/practice to finish up one video in one sitting. Often times I would need to scurry on over to have some basics explained to me on another site. I did one lecture over several days (weeks if I had to). I think most of the discipline comes from expectation management. Expect to get stuck and need a few moments or days or weeks to mull something over until it becomes more intuitive. Keep a list of things you do and don’t understand (a simple text file / paper is enough) and keep doing it for a few months if you have to and you’ll get there.
t8q8•4h ago
I completed an earlier version of this class and found structure to be helpful. Found consistent time and place each day to spend some time learning and that helped a ton, but still had weeks of not touching it so the struggle is real :)

A bit of a side note but I find that the lectures are not the most interesting/useful part of those courses. The problem sets and the time spent trying to solve them ended up solidifying so many ideas that I had fooled myself into believing I understood. So I highly recommend heads-down solving some problems. It sinks much more time than the lectures but you come out of it better off

vouaobrasil•3h ago
I love math, completed a PhD, and am very self-disciplined. But even so, I don't think I would have been able to learn much on my own with video lectures, at least not at the start. For some reason, it seems like you need to reach a "critical mass" of knowledge first before you can do that, and I've observed that a crucial component is being in a program with others, and definitely having a very experienced mentor.

Without a very experienced mentor, I think it's very difficult to get to the independent-learning stage with math. That's the key. You need someone to go through your work, correct you, and make sure you don't go off in a very wrong direction.

So my advice is find at least a graduate student in math to help you. It's like a piano teacher, if you've ever taken piano, you know it's absolutely mandatory to have a teacher. People who self-learn from the start end up being able to play but not very well.

Edit: one other crucial component is time. If you're really interested in knowing something like linear algebra, analysis, or calculus with fluency, expect to spend at least 10 hours per week on it for a year. Two hours per week will give you a cursory and very weak understanding only.

ktallett•3h ago
I would say that you need to start at a lower level when self learning with a simpler resource. Something like Openstax. People get far too obsessed with the name attached to a resource than whether it is the right method of learning.
j7ake•3h ago
Like piano it’s important to tackle courses that are appropriate for your level

Self taught people often skip too much of the basics so they struggle to properly tackle the fancy stuff

kindkang2024•2h ago
LLM could be the teacher, one of the best already..
abhink•2h ago
> But even so, I don't think I would have been able to learn much on my own with video lectures, at least not at the start.

This was exactly my situation. Videos can give you a lot of structured, well presented information. And for MIT courses you'd get this knowledge from the very best. The problem is that no matter how well the subject matter is presented, I would hit some conceptual snag that I couldn't resolve just by repeating the sections in the video.

Now, years ago, to clear up the concepts, I would go to math stack exchange, write down exactly what I wanted to understand using mathjax and hope that someone will provide a detailed enough explanation. Most of the time I did learn from the answers, but sometimes the answer would be too succinct. In such cases there would be a need for a back and forth and stackexchange is not really designed around that usage pattern. This hassle would eventually make me give up the whole endeavor.

Now however there are LLMs. They don't need mathjax to understand what I am talking about and they are pretty good at back and forth. In the past 6 months I have gone through 2 full MIT courses with practice sheets and exams.

So I would encourage anyone who went through the route of self learning via videos and found it to be too cumbersome and lacking to give it another go with your favorite LLM.

maweki•1h ago
I am about finished with my CS PhD and I taught databases at the university during covid. I, personally, would have failed in the remote learning environment we were providing.

I am amazed at those wo fought or even flourished through that.

odyssey7•15m ago
I’m currently enrolled in an online MS program, and I had never struggled so much in courses. The lack of social component might be what’s causing that. The material is mostly a recap of undergrad and things I already knew, so the coursework should not be so difficult for me, but it’s been incredibly difficult.

Then again, William & Mary had some incredible teachers, and maybe the online program through a different school just isn’t very good at designing assignments and teaching by comparison. But I feel that there was a difference in how I could succeed at challenging assignments when I was among other students in a social setting. The work in undergrad was highly rigorous, though exploring it alongside other real-life students made it a very different undertaking.

WillAdams•1h ago
This course has been a _huge_ help to me in my current project (a G-code previewer and programmatic 3D modeling system written for (Open)PythonSCAD).

I would recommend pairing it with:

https://ocw.mit.edu/courses/6-001-structure-and-interpretati...

and some additional online resources which I've found very helpful:

- https://mathcs.clarku.edu/~djoyce/java/elements/elements.htm...

- https://www.motionmountain.net/

and of course https://librivox.org/ and https://www.gutenberg.org/ --- for a benchmark on why, well, when my father retired to a rural Virginia county, the library was a metal carrel of books in the basement of the old courthouse, and my favourite books during the summer (when I didn't have access to the school libraries) were Hal Clement's _Space Lash_ (which my father found in a tower at the prison where he worked where reading material was forbidden) and an English textbook containing a number of short stories which my mother purchased from a table of remaindered books in a department store in a town 26 miles away to which we might drive once a month or so.

cubefox•3h ago
A lot of these topics sound interesting, though I think the average software engineer needs approximately none of that. When I first started programming, I was surprised how little mathematics was involved in practice.

Of course, these MIT lectures are aimed at computer scientists, not software engineers, which US universities consider to be quite different.

dernett•3h ago
I'm going to try formalizing this course in Lean--not sure how hard it is going to be. If anyone is interested in doing the same, please feel free to contribute!

https://github.com/dernett/Lean61200J

jvanderbot•15m ago
Has anyone navigated a career change using OpenCourseware? I have a suspicion that the MOOC era mostly catered towards already-educated, self-starters and hobby learners, moreso than empowering a generation of workers, as was advertised.

Not to knock it. I've been working through quantum computing between work-related fire drills and household commitments, so I should be up to speed in a few decades.

Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second

https://www.cerebras.ai/press-release/cerebras-launches-qwen3-235b-world-s-fastest-frontier-ai-model-with-full-131k-context-support
69•mihau•1h ago•26 comments

Show HN: Header-only GIF decoder in pure C – no malloc, easy to use

17•FerkiHN•47m ago•16 comments

Brave blocks Microsoft Recall by default

https://brave.com/privacy-updates/35-block-recall/
79•XzetaU8•2h ago•60 comments

Qwen3-Coder: Agentic coding in the world

https://qwenlm.github.io/blog/qwen3-coder/
634•danielhanchen•15h ago•270 comments

Extending Emacs with Fennel (2024)

https://andreyor.st/posts/2024-12-20-extending-emacs-with-fennel/
84•Bogdanp•6h ago•11 comments

Geocities Backgrounds

https://pixelmoondust.neocities.org/archives/archivedtiles
14•marcodiego•2d ago•4 comments

QuestDB (YC S20) Is Hiring a Technical Content Lead

https://questdb.com/careers/technical-content-lead/
1•nhourcard•23m ago

AI groups spend to replace low-cost 'data labellers' with high-paid experts

https://www.ft.com/content/e17647f0-4c3b-49b4-a031-b56158bbb3b8
70•eisa01•3d ago•26 comments

SQL Injection as a Feature

https://idiallo.com/blog/sql-injection-as-a-feature
19•foxfired•1d ago•8 comments

Mathematics for Computer Science (2024)

https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer-science-spring-2024/
166•vismit2000•8h ago•22 comments

More than you wanted to know about how Game Boy cartridges work

https://abc.decontextualize.com/more-than-you-wanted-to-know/
331•todsacerdoti•17h ago•37 comments

Rescuing two PDP-11s from a former British Telecom underground shelter (2023)

https://forum.vcfed.org/index.php?threads/rescuing-two-pdp-11-systems-in-uk-from-a-former-big-british-telecom-underground-shelter-in-central-london.1244723/page-2
70•mhh__•6h ago•12 comments

Org tutorials

https://orgmode.org/worg/org-tutorials/index.html
110•dargscisyhp•9h ago•48 comments

Algorithms for Modern Processor Architectures

https://lemire.github.io/talks/2025/sea/sea2025.html
210•matt_d•13h ago•34 comments

Android Earthquake Alerts: A global system for early warning

https://research.google/blog/android-earthquake-alerts-a-global-system-for-early-warning/
292•michaefe•18h ago•101 comments

Why you can't color calibrate deep space photos

https://maurycyz.com/misc/cc/
156•LorenDB•12h ago•64 comments

I watched Gemini CLI hallucinate and delete my files

https://anuraag2601.github.io/gemini_cli_disaster.html
224•anuraag2601•17h ago•272 comments

Swift-erlang-actor-system

https://forums.swift.org/t/introducing-swift-erlang-actor-system/81248
289•todsacerdoti•17h ago•65 comments

Don't animate height

https://www.granola.ai/blog/dont-animate-height
411•birdculture•3d ago•238 comments

We built an air-gapped Jira alternative for regulated industries

https://plane.so/blog/everything-you-need-to-know-about-plane-air-gapped
242•viharkurama•17h ago•157 comments

Managing EFI boot loaders for Linux: Controlling secure boot (2015)

https://www.rodsbooks.com/efi-bootloaders/controlling-sb.html
37•CaliforniaKarl•3d ago•4 comments

TODOs aren't for doing

https://sophiebits.com/2025/07/21/todos-arent-for-doing
375•todsacerdoti•22h ago•215 comments

Show HN: WTFfmpeg – Natural Language to FFmpeg Translator

https://github.com/scottvr/wtffmpeg
66•ycombiredd•8h ago•50 comments

Subliminal learning: Models transmit behaviors via hidden signals in data

https://alignment.anthropic.com/2025/subliminal-learning/
179•treebrained•18h ago•36 comments

Many lung cancers are now in nonsmokers

https://www.nytimes.com/2025/07/22/well/lung-cancer-nonsmokers.html
188•alexcos•21h ago•244 comments

Font Comparison: Atkinson Hyperlegible Mono vs. JetBrains Mono and Fira Code

https://www.anthes.is/font-comparison-review-atkinson-hyperlegible-mono.html
228•maybebyte•22h ago•143 comments

When Is WebAssembly Going to Get DOM Support?

https://queue.acm.org/detail.cfm?id=3746174
85•jazzypants•7h ago•78 comments

SubTropolis and KC's Limestone Caves

https://kcyesterday.com/articles/subtropolis
11•taubek•2d ago•0 comments

Gemini North telescope discovers long-predicted stellar companion of Betelgeuse

https://www.science.org/content/article/betelgeuse-s-long-predicted-stellar-companion-may-have-been-found-last
133•layer8•19h ago•35 comments

TapTrap: Animation‑Driven Tapjacking on Android

https://taptrap.click/
69•Bogdanp•12h ago•11 comments