sweetsocks21

I also agree, don't go to a chiro. Physical therapy works much better. I tried one out of desperation and I think it hurt more than helped.

Also you might need to try more than one physical therapist. Some are much better than others.

So I actually went to tons of doctors, my GP, neurologist, cardiologist (also had chest spasms). I got an MRI of my head, but not my neck, as the docs thought it was a head issue with all the headaches. I got an x-ray eventually as well but they didn't see anything they thought would matter. I did have a little misalignment in the x-ray but the doctors thought it was nothing.

My neck also felt unstable. Like my head would "slide off" if I tilted it wrong. My cervical vertebrae also would click in certain positions.

It was actually a physical therapist that fixed it. I had gone to them to "stabilize" my neck. They noticed that I couldn't turn my head to the left as far as I could to my right. We did ~2 months of exercises and one day they tried manipulating one of my cervical vertebrae and it was like night and day. I felt a rush of blood up into the left side of my brain and that night I slept great. It took a couple more weeks of exercises to stabilize the new position (other things started to move now that it was better aligned). And I haven't had any issues since.

I hope it's the same for you! I understand what it's like and it's awful. I think in my case it was more of a rotation problem so that might not show up as well on x-ray. Idk what other imaging would be better (if any). It might be worth getting a physical therapist to check out your neck mobility and see if there's anything noticeable. Best of luck.

This sounds similar to something I had for years. I would get a left side migraine every couple months for 3-4 days. Other times I would have a regular headache in various areas, like behind the left eye. The occasional nausea was a symptom too.

I would also get pin prick pain somewhere on my face, usually cheek or nose. It ended up being one of the cervical vertebrae were out of place, and once it was put back I never had an issue again. So I wouldn't be surprised if it's a pinched nerve or similar neck issue in your case.

This post reminds me that I've been wanting to try out ZetZ[0]. It incorporates Z3 into a high-level programming language, and seems to do a lot of what the post talks about automatically.

[0] https://github.com/zetzit/zz

I took plenty of OS and compiler classes in college and I was still struggling to grasp some concepts. I think the issue was I was able to understand each individual class in isolation, but when I tried linking everything together, something just didn't click.

I came upon this book/course: https://mitpress.mit.edu/books/elements-computing-systems-se...

From a Hacker News post IIRC, and it helped more than I can express. At least for me it filled in all the little gaps in the computing stack and really made me "get it". I could relate to the old timers complaining about how everything is so bloated now.

The course is very hands on and you build a "full stack" from logic gates to an operating system that can run programs. It's truly amazing, and I think I learned more from this book than most of my college courses.

I believe it's also offered for free on coursera and has a website: https://www.nand2tetris.org/

But if you really want to know how a full computer works from the ground up, I think this book would be well worth the time.

I can tell you that I have had dreams that I have mistaken for reality. In fact some of those dreams became normal memories that I have to filter because they never actually happened.

I've been able to read magazines, have full conversations with multiple people, stare at a brick wall and notice all the little pits. It does not happen every day, but maybe a couple times a month. I used to have severe sleep apnea and those were the most intense dreams. So I don't think it's possible to extrapolate your own experience to others. The mind already constructs a model of reality, so why wouldn't it be able to in a dream state?

It's not quite the same, but how do you feel about Datalog or Prolog? Having a set of facts and being able to make arbitrary relations in them makes for some interesting programming. Especially if you limit your data to a more rigid normal form like RDF tuples. Datafun is also a cool upcoming language in this space https://github.com/rntz/datafun

You might be thinking of the Taos Operating System?

https://news.ycombinator.com/item?id=9806607

http://www.uruk.org/emu/Taos.html

It had an object oriented assembly language that everything compiled to and it JIT'd/on-fly-compiled code IIRC. Sounded very cool.

I tend to use it quite regularly. I've had to diagnose many performance issues with our large code base. Understanding compilers, data structures, networking, OS internals, etc, have all been quite helpful. Even if it's simply finding a starting point for tackling the problem.

Sometimes it's trivial, replacing a for-each loop with something that's log(n) or O(1). Sometimes a little more complicated, like refactoring some code and realizing the original implementer was trying to do BFS but.. wrote something else. And the rarer cases are having to really dive in and trace some odd contention issues. All of these touch on what I learned in college at some level. Sometimes knowing something exists is helpful for looking up later and can save lots of time.

I do wonder if it's less about "requiring" the education and more about someone seeking out the kind of work that uses the education. I know many people in my company are the opposite of me, and definitely do not care to go much deeper than implementing things until they work.

If you haven't seen the Bonsai OCaml library, they provide an arrow based interface for making web apps. I find it very straight forward to use and everything is based around composing functions. A "component" is:

  type ('a, 'b) t = 'a Value.t -> 'b Computation.t

and then there's various ways to hook them up and depend on each other.

https://github.com/janestreet/bonsai/blob/master/docs/proc.m...

Gives a bit of an overview. There are some syntax extensions to make working with it a bit easier. But once grokked it seems to fit nicely, and feels like more of a solid foundation than React (imo).

Not all the examples have been updated to the new style, but here's one (albeit trivial) example: https://github.com/janestreet/bonsai/blob/master/examples/tw...

I got diagnosed with sleep apnea and asked about this, since I'm not overweight. The doctor said it's more about the structure of the mouth and throat than obesity. There is an area at the back of the tongue that gathers more fat and can block the throat, but palette structure is a big factor. Along with jaw size and throat size.

I remember reading not too long ago on HN an article about our dental health in modern times: https://www.scientificamerican.com/article/why-we-have-so-ma...

It could be our diet contributing to smaller jaws/palettes that increase the prevalence sleep apnea?