Hacker Newsnew | past | comments | ask | show | jobs | submit | sixo's commentslogin

Related: "Putting Differentials Back into Calculus " at https://bridge.math.oregonstate.edu/papers/differentials.pdf

Location: Currently NC, but I'd like to move back to NYC. Open to in-person in either state.

Remote: Open to full remote or hybrid in NC/NYC

Willing to relocate: only on the East coast.

Technologies: Python, SQL, some Scala, some Typescript. DBT, Postgres, Spark, Flink. Various AWS like Kinesis, Firehose, Glue, Redshift. Various data pipelines

Résumé/CV: https://github.com/skritch/resume/blob/master/resume.pdf

Email: sam.kritch@gmail.com

I'd be interested in working on any of: data platforms, data pipelines, data engineering, or data-intensive backend applications. I would enjoy either a greenfield/early-stage data team where I could create a lot of value quickly, or, a more mature team with some veterans I can learn from.


Almond milk is an economic substitute for dairy milk, making the comparison appropriate. No need to be dense about it.


Unfortunately the code in Marimo notebooks implements cross-variable references as untyped function arguments, meaning that nothing passed between cells can be type-safe. This makes it very hard to use tooling directly on the Python representation of notebooks.


Arguments are typed if explicitly specified in definition, e.g.

    ```python
    @app.cell
    def my_cell():
        x : int = 1
        return (x,)

    @app.cell
    def consumer(x : int):
        y = x
        return
    ```
We've talked about building out implicit typing into our serialization- but that may be a larger can of worms.


That would be wonderful. A lot of the arguments are just imports, and these would have probably have the largest upside. It would be great if there was a construct like

    import numpy

    @app.cell
    def my_cell(np: types.ModuleType[numpy]):
        ... editor treats np like `import numpy as np` ...

I do not use Python enough to know if something like this can be hacked together. But if not, I imagine could be PIPed into the standard library if a convincing case were made for it.


We've addressed this too by allowing a setup cell:

    ...

    with app.setup:
        import numpy as np
    
    @app.cell
    def cell_uses_np():
        # no np needed in signature
        result = np....
The best part about this pattern is that it enables "pure" (only dependent on setup cell) functions to be addressable:

    with app.setup:
        from typing import Optional, Any

    @app.function
    def my_fn(arg: Optional[Any]) -> Any:
        ...
but nice convergent design :) glad to see to see we're addressing pain points


ah, I recall seeing that feature but had not taken a look at it for imports.

Imports ARE the case where untyped cell arguments are most annoying, but of course it would be nice to get it for free in all cases.


Can someone knowledgeable weigh in: is the "dark object" here believed to be a localized blob of dark matter? A dark star or black hole? Or is "dark" being used generally to mean "not bright enough to see at this distance"?


In this context, “dark object” really does mean a localized blob of dark matter, not a black hole or a dim, normal-matter object.

The research team detected it only through its gravitational lensing effect — the way it slightly distorted the light from a more distant galaxy. There’s no emission at any wavelength (optical, infrared, or radio), and its gravitational signature matches a million-solar-mass clump of invisible mass rather than a compact point source like a black hole.

They specifically interpret it as a dark matter subhalo — one of the small, dense lumps that simulations of “cold dark matter” predict should pepper the universe’s larger halos. It’s too massive to be a single star, far too diffuse to be a stellar remnant, and not luminous enough to be a faint galaxy.

So “dark” here isn’t just shorthand for “too dim to see at this distance” — it’s used in the literal physical sense: matter that doesn’t emit or absorb light at all, detectable only via gravity.

Eventually, all the dark matter clumps into rings around galaxies, but since this one is so distant, ~10B light years, so we are seeing that clump as it was that long ago before it difused into it's ring shape we can see in the galaxies around us.


Why does dark matter form halos/rings around galaxies. Why isn't it attracted to the centre of the galaxy like 'normal' matter?


All matter (stuff interacting with gravity) is attracted toward other gravitational centres, however all matter also has momentum, which may tend to carry it away from that centre. Objects don't merely fall directly toward a gravitational centre, but, subject to their initial velocity, orbit it. You may find yourself thankful for this on reflection, as the body you're likely resting on has been in such an orbit for roughly 4.5 billions of years, and will continue to be so for roughly a similar period of time.

If you're sufficiently close to the mass, and/or its radius (relative to your own and your distance from it) is large, as with, say, a stone tossed from ground level on Earth, that orbit will intersect the surface rather quickly.

At astronomical distances, ranging from some significant fraction of the distance between the Earth and Moon to interstellar and intergallactic distances, it's far more likely that an attraction will result in some other form, generally an ellipse (typical of a captured orbit), circle (a perfectly non-eccentric ellipse), a parabola (object moving at escape velocity), or hyperbola (object moving faster than escape velocity).

Ring systems form as multiple masses interact around a larger mass, be that a moon, planet, star / quasi-stellar object, galaxy, or other mass. Until the tangential velocity is lost, the particles within the ring will continue their orbit. Occasional interactions and collisions, as well as radiated energy (including gravitational radiation) may cause a given particle to spiral inwards, or be ejected from, the ring system.

<https://en.wikipedia.org/wiki/Ring_system#Formation>


I believe that you have the order of operations misunderstood.

I probably don't know that much more than you about the subject, but from what I understand, the prevailing model suggests that these Halos formed early in the formation of the universe when spacetime had varying "pockets" of density that naturally led to these halos - the formation of the galactic disk therein was actually supported by the halo existing first, because baryonic matter (aka non-dark matter, the stuff that makes up planets, stars, etc) was still too energetic from the formation of the universe to become gravitationally bound to itself.


Does the dark matter not move under the influence of gravity like 'normal' matter?


At this point my knowledge probably pales in comparison to skimming some Wikipedia articles, but my understanding is that there is just so much dark matter concentrated in these halos and inter-galactic structures of it that the gravitational effects of baryonic matter are negligible in comparison.

I believe dark matter comprises something like 80-85% of all matter in the universe.


it does, but it orbits the barycenter (usually the supermassive blackhole of the host galaxy), but since it can pass through itself its orbital energy doesn't decrease from "drag" as it's falling through itself and normal matter


It is attracted to the center of the galaxy.

Normal matter also makes halos or rings around the center of the galaxy. That's how gravity works. And since dark matter interacts less, it stays more spread.


Halo implies empty (or low density) at the center. The 'normal' matter is denser at the center of a galaxy. I'm trying to understand why the difference.

>since dark matter interacts less

With electromagnetism or gravity?


Did a bit more reading. I was thinking of a halo like an angel's halo, a disk with greater density near the edge and less at the center. But it seems that dark matter halos are roughly spherical with greatest sensity near the centre. In which case halo seems like a pretty poor name.


I wonder when exactly saints halos changed into rings in religious images. The older ones are all, well halo-shapped, but currently the only image people think of are the rings.


CoPilot says:

"Halos in religious art began transitioning from spherical or radiant forms to flat, ring-like discs during the early Renaissance, around the 14th to 15th centuries."


Probably from The Simpsons


I meant centuries old... I think the Renascence paintings still all have halos.

While I can fully believe The Simpsons will run for that time, they are still not there.


I'll be straight up and tell you we have no real idea... We don't entirely know what this is. Our theory of dark matter started as "We are missing a large amount of matter in order for galaxy's to form as they do". To "We can detect this matter in rings around galaxy's that bend light, and is acted on by gravity but nothing else." and now. "We can find these pre-"historic" clumps of dark matter before they are decreted into discs".

None of this tells us what this "matter" actually is.


Dark in the context of astrophysics means specifically that the object/matter does not interact directly with electromagnetic radiation (eg absorb an optical/microwave/radio photon). So it is probably dark matter, but probably unlikely to be a black hole because we can typically detect a black hole's effects in an indirect manner :P


[deleted]


"dim" implies "there is something normal there that is just not emitting light". "dark" in this astronomical sense means essentially "dim and completely transparent" which is not what you get with e.g. a cold gas cloud - those are opaque.


It's not just that. Remember that in space distance doesn't attenuate electromagnetic radiation. Given perfect line of sight, you could broadcast a 1mW 5GHz signal across the empty space between galaxies and have perfect reception (provided you're very patient)

One also has to consider that at this scale, you cannot have a normal interaction with the EMF and be dim. The normal physical processes of matter at the scale of 1 million suns ends up being quite loud. Black holes that aren't actively eating things form an exception, but black holes aren't normally dark either. Whatever this is it's peculiar, but I wouldn't write-off that it might be an issue with the model they developed for interpreting the data.


From the paper, it could be the dark-matter halo of an otherwise too faint dwarf galaxy. They state that a “more definitive statement on what type of object [it] is will require deep optical/infrared observations to detect any potential EM emission”.


I'm an amateur but I feel confident enough to answer -- hopefully not a mistake!

They're explicitly looking for "Dark Matter", which doesn't "interact" with normal ("baryonic") matter or electromagnetic radiation (e.g. light). So it's not a black hole for sure, as those are composed of regular ol' matter.

RE:"dark star", that's really up in the air, I'd say! AFAICT the only academic reference to that term is for normal stars influenced by dark matter[1], but kinda the whole problem here is that we don't know much about what dark matter is composed of or into. Certainly it's not going to be a star in the traditional sense as it can't emit light, but I'm not aware of any reason this object can't end up being a giant sphere.

FWIW, Wikipedia says "One of the most massive stars known is Eta Carinae, with 100–200 [solar masses]", whereas this object "has a mass that is a million times greater than that of our Sun". If we're going to use metaphors, I think "dark dwarf galaxy" might be more appropriate?

[1] https://arxiv.org/pdf/1004.1258


(I’m an astrophysics undergrad.) Black holes aren’t composed of anything, they’re just defined by their charge, spin and mass equivalent.

Dust clouds have those mass ranges. It’s not a galaxy-scale mass by any measure.

This thread has a lot of CS people being confident about physics.


I was always surprised that when we talk about BHs mass, charge, and spin that we really mean U(1) (electromagnetic) gauge charge and not charges from global symmetries. (If BHs had global charge, you could at least say that this or that black hole was made out of N baryons, or whatever.)

But it's really so---according to GR, black holes don't have global charges. So even if you see a star made out of baryons collapse into a black hole, once the BH settles down into a steady state you can't say it's "really" got baryons inside: the baryon number gets destroyed.

(Of course, a different model of gravity that preserves unitarity might upset this understanding.)


And that a BH made from matter and one made from antimatter are mathematically identical, and merging them would not cause any explosion.


Thanks! That made me (superficially of course) understand it. Super weird stuff.


Basically, the event horizon is the event horizon is the event horizon. If two non-steady-state matter/anti black holes merge (like before everything has hit the singularities), it will cause explosions inside the BH, but energy is mass is energy is mass, so for an external observer it's indiscernable. It will look no different from two all-matter BHs merging.


I mean, I included a disclaimer... But regardless, you appear to be wrong on both counts (or at least contradicting Wikipedia):

1. "The presence of a black hole can be inferred through its interaction with OTHER MATTER and with electromagnetic radiation such as visible light." https://en.wikipedia.org/wiki/Black_hole

2. "A dwarf galaxy is a small galaxy composed of ABOUT 1000 up to several billion stars" https://en.wikipedia.org/wiki/Dwarf_galaxy

Darn astrophysics majors being confident about astronomy! ;)


1. Your argument is about the grammar of a sentence about black holes on Wikipedia? This isn’t some kind of gotcha.

2. I missed the dwarf part, but think about what you’re arguing: the mass range of a loosely defined category (the lower bound of a few thousands is not one I’ve ever heard, btw) that has nothing to do with the paper in question. Collections of stars of any kind produce light. This doesn’t. What are you saying?

What do you think physicists do all day?


Welcome to Hacker News.


which doesn't "interact" with normal ("baryonic") matter

I think you mean it doesn't interact electromagnetically with either matter or radiation. It does interact with normal matter via gravity -- that's pretty much the strongest (only?) argument for its existence.

I'm not aware of any reason this object can't end up being a giant sphere

AIUI, most theories posit that solid spheres of dark matter are very unlikely because matter accretion is governed by electromagnetism in addition to gravity, and dark matter is not supposed to obey the former. Most models assume that dark matter is organized in gaseous clouds (halos); strictly speaking that's still a giant sphere, just not in the same way that Jupiter or the Sun or even the Oort Cloud is.


100-200 solar masses is not one of the largest known. There are many that are 1000s of times more massive than the sun.


This confused me too from all those solar object size comparisons I’ve seen. Turns out there are stars that are 1000s of times bigger than the sun, but they aren’t the same density.


I'm unaware of any stars in the 1000 Msun range. Wikipedia puts 291 Msun of R136a1 at the largest. After that, 195 M of R136a2 is the next. A star at 100 Msun would be in the most massive stars known.

https://en.wikipedia.org/wiki/List_of_most_massive_stars#Lis...


“ A number of the "stars" listed below may actually be two or more companions orbiting too closely for our telescopes to distinguish, each star possibly being massive in itself but not necessarily "supermassive" to either be on this list, or near the top of it. “

“ More globally, statistics on stellar populations seem to indicate that the upper mass limit is in the 120-solar-mass range,[1] so any mass estimate above this range is suspect. “

There are good theoretical reasons why a star shouldn’t normally get as big as the ones on the top of the list. Long story short: they’d very quickly shed mass due to their intense luminosity. Some of them might even be boiling with bubbles of pure radiation.

https://en.wikipedia.org/wiki/Eddington_luminosity

Beyond that, there’s also the possibility of pair-instability supernova, which might cause the most massive stars to literally disintegrate.


Definitionally, yes. It’s inert but lenses light around it.

The paper is more about the technical achievement of detecting it, IIUC. It’s not the first dark matter inference we’ve had, and doesn’t really tell us anything new about the stuff.


It challenges warm dark matter and ultralight dark matter theories because they'd be less likely to clump into something so small. Similarly MOND would have trouble explaining a completely isolated chunk of it at this size (any baryonic matter trapped in a region this small would almost certainly emit enough light to detect).


I’m admittedly a few years out of date in this, but weren’t those already kinda ruled out? I’ve never met anyone who took MOND seriously - it looks like it’s a pet project of a small number of people who cite each other, and people in different subfields have always been saying it doesn’t work for them (diffuse galaxies, etc.).

I know the current models favor cold DM, I thought the hot DM model was abandoned already when it became clear that clusters of any size exist?


Your assessment is spot on, but for whatever reason it's extremely popular with amateur physicists. The HN crowd likes it a lot, too. Almost every thread about dark matter has at least one comment that goes like "I'm not a physicist but dark matter always seemed like a cop out to me and will go the way of the luminiferous aether". I'm surprised that we're not seeing them here, perhaps because MOND can't explain this.


And yes, hot dark matter has largely been ruled out, but there are still extensions into warm dark matter and ultralight dark matter that seem more manufactured but are still plausible. The observations in this paper creates some additional challenges for those theories.

But yes, CDM is what most researchers expect, by a large margin.


Basically: not a dark star, not a black hole, not just faint... probably a chunk of pure, clumpy dark matter


Or a cloaked ship?


If so it's a big one, 1M solar masses.


That’s just how warp drives happen to appear from the outside.


EXCESSION


... and its heading right for us :P


They found a statistical anomaly that they're trying to atrribute to new physics, using some novel maths. So a tiny speck of evidence towards a new theory of matter (i know nothing about astro, just my supposition)


Because it's supposed to be pleasant for humans and quoting keys is the least pleasant part of jsom config files.


What's so unpleasant about quoting a key?


Two extra characters per rep, each involving a "shift", and it's furthermore an eyesore to read

How is it that the comments on this post seem to consist 100% of people who think JSON is the perfect language and that any deviation from it is an unnecessary complexity? Use JSON for configuration for literally 5 minutes and you will get annoyed at quoting keys, lacking comments, escaping long strings, and juggling commas. MAML is almost exactly what I'd come up with (although I wouldn't have made commas optional, that feels weird.)


> Two extra characters per rep, each involving a "shift"

You'd expect text editors to do this automatically; I'll admit, I don't think mine does.

> and it's furthermore an eyesore to read

We'll have to disagree on that one because I think it looks a lot nicer. I always preferred quoted attributes in html too.

> How is it that the comments on this post seem to consist 100% of people who think JSON is the perfect language

I'm sure you intended that as hyperbole. JSON isn't perfect, but it's got a lot going for it, not least ubiquity.

> Use JSON for configuration for literally 5 minutes and you will get annoyed at quoting keys, lacking comments, escaping long strings, and juggling commas.

I've used JSON for configuration loads and haven't faced these issues. I'm not denying your experience, I just want to understand it.


the absurd things people come up with to meet their own needs are usually good indicators of products and services which want to exist


True, but to me it seems the product is halfway there with org-roam/logseq/obsidian and that Rust code is the wrong way to start building it.

I'd try generating markdown to be rendered in logseq by teaching the AI how to link and whatnot in my AGENT.md (or whatever people call their project-local instruction/context file).

From outside, I'd not trust hallucinated stuff, but it'd be neat to start a project where knowledgeable humans did oversee all the proposed changes.


well yeah this is not itself the product, this is a demonstration of the need

Obsidian/etc really isn't it either, though; clearly OP wants to be able to do calculations with this stuff. They want both the knowledge graph AND an executable code environment. (I imagine Emacs can do both.)

But think more broadly. Imagine just

```

import <established knowledge>.anatomy

import <established knowledge>.high_energy_physics

import <established knowledge>.microeconomics

...

```

into a notebook-like environment, with good intellisense and completions. But not quite as a programming language—somewhere between that and a wiki.


Similar: for years I've been lugging around the idea of making a game like Civilization but where all of the different theories of history can be turned on/off as modules. Maybe going back to prehistory:

- did fire lead to cooking lead to big brains lead to tools lead to agriculture?

- or was it ice ages ending that lead to agriculture?

- or did oxygen levels change leading to more efficient brains?

- or were we Born to Run?

- or did women's hips change shapes to allow bigger brains?

- or perhaps 2001: A Space Odyssey occurred as written

- or Ancient Aliens...

Repeat for every other highly-debated period of history.

Somehow having all of these in the same modular system feels like it would metabolize them in a way that reading a bunch of separate theories can't really do. Same for OP's anatomy.


like this idea. Add "tech trees": path dependence can be arbitrary. What if we kept going with vacuum tubes/no transistors?


Yeah ahaha, I mean I just needed 2 pieces of information and got carried away. But would be awesome to have a runnable human emulation.


I find it helpful to think of that physical barrier as your own emotions barring you from entering a state where the uncertainty as to whether you'll be safe grows too high to trust yourself to operate in real time.

The problem isn't really being liked or not being liked, the problem is the cognitive overload of trying to predict what will happen and respond to it in realtime, which is sure to set in when one's mental model of the potential interaction is very uncertain. Of course, if your brain quits in a conversation, the other person is not going to be very impressed with you, so this kind of failure carries social risk itself.

The way to fix this is to have as many interactions which are bearable as possible so as to build out the mind's mental model of itself and others in social situations. Gradually the danger just fades away. There's no substitute for firsthand experience; no amount of premeditating, ruminating, or brooding will fix this.


> The problem isn't really being liked or not being liked, the problem is the cognitive overload of trying to predict what will happen and respond to it in realtime, which is sure to set in when one's mental model of the potential interaction is very uncertain.

I think is a big piece. I have social anxiety and I have a tendency not to answer with what I'm thinking but what I think they want to hear because it's more predictable. This gets amplified tenfold in interviews. In an interview, I know that they're looking for a specific answer when they ask a question, but also that the answer differs from interviewer to interviewer. It's like there's this sub-process that is constantly running trying to figure out what to say, but in some situations it ends up locking up the system because it's using too many resources due to the constraints.


The weird thing about "The idea of being liked is just as anxiety-producing as being disliked" is that it is an incorrect prediction of reality: actually being liked would. Thinking about it is really a different thing: it overestimates the stakes involved, it mistakenly invents "ideas of people" to do the liking which do not behave like actual people, and is unable to build any self-esteem by imagining people liking you because these imagined people are under your our control; being liked by your own imagined people doesn't "count" the way being liked by real people would...

The human mind is not really designed to handle under-socialization well, and seems to fill in the empty space with imaginary figures which fail to meet its social needs. Taken outside its natural tribal operating regime, it bugs out in all kinds of strange ways.

> the idea of someone examining my own stories and thinking such thoughts about me is extremely distressing

This is a very familiar feeling to me, and in my experience it actually is a fear of being disliked, or more specifically about not being able to control others' reactions to me. But the fear is so great and unapproachable that the mind cordons it "out of sight" of conscious feeling.

It becomes better to not be thought of than to expose myself to the possibility of others seeing me poorly, especially if I'm not able to defend myself and make the case for my being seen with grace. I suspect that it is over-exposure to human meanness and judgement and under-exposure to kindness and grace which brings about this expectation of others' dispositions towards oneself; this perhaps is the reason for the Christian injunction that humans not judge one another--it guards against this particular failure mode of the social mind.


Location: Currently NC, but I'd like to move back to NYC. Open to in-person in either state.

Remote: Open to full remote or hybrid in NC/NYC

Willing to relocate: only on the East Coast.

Technologies: Python, SQL, some Scala, some Typescript. DBT, Postgres, Spark, Flink. Various AWS like Kinesis, Firehose, Glue, Redshift. Various data pipelines

Résumé/CV: https://github.com/skritch/resume/blob/master/resume.pdf

Email: sam.kritch@gmail.com

I'm interested in working on data platforms/data pipelines/data engineering. I would enjoy either a greenfield/early-stage data team where I could create a lot of value quickly, or, a more mature operation where I can learn from some veterans.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: