skysight-inc/HackerNews huggingface dataset:
The ANITA detector itself does not detect neutrinos. It detects showers of secondary radiation [1] that result from a diminutive portion of the total neutrino flux interacting with the large test mass that is a million cubic kilometers of Antarctic ice.

[1] https://en.wikipedia.org/wiki/Askaryan_radiation
I took Latin a long time ago, but one passage supporting your point sticks in my brain. Virgil is recounting the many steps that led to the Empire, and he says something like, "Of such great difficulty was it to found the nation of Rome." To me it read like he recognized the awesome power and accomplishments of his civilization, but at the same time he saw the amount of blood that it cost to achieve that greatness. The two were not separable, and the theme was not about one or the other, but both as one.
> It also feels very relevant to current events.

What events are you referring to? Having a heart-to-heart honest communication isn't going to solve shit if the parties are greedy as fuck, or out-and-out Nazis.
Not a trivial layman's tool (and even less trivial to make private transfers secure enough).
Seems like OS discrimination. You should sue.
From the post:

> Originating in simple blog engines, static site generators treat pages as a single content chunk (often in Markdown) with some metadata sprinkled on top. If you need several long chunks of content (say, a product short description, long description, technical specs, and a list of vendors), you’re out of luck.

I've struggled with this too. I'd really like to write in unadorned Markdown, because I'm using Trello as a headless CMS[0], but I also want the Markdown to map to an object containing discrete chunks of content.

The solution I settled on is to map level 1 headings to separate properties. The content that follows each level 1 heading is converted to HTML and becomes the value of the corresponding property - unless the content is a code block, in which case the code block is parsed as YAML to get a nested object instead of HTML.

[0] https://github.com/dwilding/trello-kb
I don't, but I've only been here 7 weeks so far, so it's too early to tell. I'm pretty solitary, so I'm hoping the disconnectedness works out okay.

I wish I could draw those cartoons. I work with a freelance cartoonist named Loraine Yow (https://www.lolo-ology.com/). I wrote a blog post about how the process works: https://mtlynch.io/how-to-hire-a-cartoonist/
Would you say the same about Hitler? Churchill's racism wasn't just some quiant character flaw. It influenced his political position and affected the lives of millions of people.
Probably, I always wondered but hadn't found anything from a cursory search - thanks.
(I feel sheepish even saying this to you), but when people say "type inferencing" I think these days they tend to mean "inference of static types that are enforced at compile time within a rich static type system." SBCL infers static types within a (mostly) dynamic, permissive type system. It can enforce certain constraints at compile time, but it’s ad hoc (there is no well-defined model of what properties it can prove at compile time on any valid code).
Birds Aren't Real
Thats great! How did you start with finding consulting projects and building street cred? Has writing blogs bring you more business yet?
"The banana"

It annoys me, probably more than is rational, when I see that. There are lots of types of banana, it's just that we in the west usually only get 1 or 2, because that's what gets cultivated in huge quantities, and is easiest to ship.

On my travels, and sometimes just from a more internationally focused store than a typical supermarket, I've had apple bananas, lady fingers, Fe'i and various types of plantain. I'd love to try ice-cream bananas, red daccas and all the rest.

But what we get is just more Cavendish... and these meme-like articles that crop up several times a year.
Or don't keep cattle in the rainforest.

Should the opportunity to do so ever arise, I’ll make a note not to do that. In the meantime, as I am not a cattle farmer, I’ll continue to not eat meat.
I'm not sure if having eight high-pressure hydrazine engines (which must work in perfect sync) inches apart from the crew is safer than a classic launch escape tower with a single solid booster on top.
In 1943, up to four million Bengalis starved to death when the Indian states set trade restrictions with Bengal. That was one of the policies that was outside the Raj, as was the resulting profiteering. They did so after the fall of Burma at a time when Bengal was suffering an unprecedented series of natural disasters.

Facts can be inconvenient sometimes.
This still kills the possibility of quickly collaborating with someone on a project in your free time. Any time you want to even start working on something together, you have to wait a couple of days for approval.

This simply doesn't work if you want to be active in a hackerspace or any other community where you iterate on projects quickly.
Once it's set up https://syncthing.net/ works transparently. Just drop files into a designated folder and they'll magically appear on the corresponding folder on the other machine.
This is like saying that if I convert mph to m/s then it's not a speed anymore. It's still a differential equation, just in a different domain because you can convert back from the s-domain into the time one.
Hey, uh .... why the f do I need to give you my e-mail address to read your stuff?
Ah, so that's how extremists seemingly always find Reddit threads related to certain hot topics and brigade them.

I used to think that it was a simple case of fringe folks being attracted to popular threads. But it happens frequently enough on smaller threads on otherwise moderate, modest communities that I thought something was up.
It most certainly gives flexibility. Speed could be read as page speed or development speed, and it certainly gives the former. The latter depends on your familiarity, I suppose.
First let me agree that spaceflight is hard, even the billions that NASA spends has led to so many disasters.

The problem there is with manufacturing and quality control. They've had endless problems with other recent rockets and it's natural to think their qualty problems hit this time. Spaceflight is one of the few area where the us and Russia are cooperating and I hope this isn't the end. https://www.npr.org/sections/thetwo-way/2013/07/10/200775748...
Where does this stand on "practicing law without a license?"
I am working on a similar product, https://www.pagespy.io, that lets you monitor any webpage, albeit not as simple and targeted as f5bot (I really like the name), currently in very closed beta, there's definitely interest for such applications, currently it pays for itself and some ramen on top.
I don't think so. A type inferencer figures out types of expressions that don't have a type explicitly declared using information it has about other things that are declared.

A compile time type checker is expected to signal errors at compile time for programs whose types don't check out.

You can use a type inferencer without signaling any errors at compile time (for example, by deferring errors to runtime) and you can signal type errors at compile time even if you don't infer any types (like C compilers, that demand all variables have a declared type).
I think you're confusing "simple" and "easy".

I'm a personal computing enthusiast and have been ever since I was hacking away on an old (even at the time) IBM XT in my bedroom as a school kid. I can use Linux Desktop just fine, I manage Linux servers as part of my day job, hell, I was once president of a LUG. Frankly I think the Linux Desktop is even worse for people like me than it is for the "mainstream" user, because the way Linux is duct-taped together from disparately developed components makes it difficult to reason about how it works, and modifying it in any meaningful way can often mean hours buried in documentation that may or may not be up to date (or correct, or even applying to your distro), or possibly even writing some C.

I could go on for hours about how Linux Desktop's "design" philosophy is in direct opposition to simplicity. It isn't about removing advanced options, or making things aesthetically pleasing, it's about having a system that functions in obvious ways, with few surprises and as little magic as possible, where the abstractions are shallow and consistent. Linux Desktop, though, is a hodgepodge at best and at worst a paper-thin wrapper attempting to hide a Rube Goldberg machine made of garbage.
Hi kamaal, it’s nice to see you interested in cl. I don’t know if you remember this but we sparred a couple of times on HN few years ago. I have been on this path before and happily settled on clojure for a few years now. I don’t know if it applies to all cls, but what nobody told me was how little I have to worry about when writing code in clojure. I stopped paying attention most of the Language and instead spend time on solving the actual problem. It is very liberating. See the talk “simple made easy” by rich hickey if you haven’t already.
Also most psychological and process incl. debugging barriers come down when using clojure
Linux usually breaks when the hardware lies about having written something to disk or flushed the disk (both are more common on consumer hardware than you think, especially cheap SSDs), though I don't think any FS would fare well if the hardware starts lying to it.

There is also this[0] short blog post on FS reliability on Linux where they analyze the source code for cases where error codes are dropped (code like "if(err) { /* ignore */ }" counting as handled error here) and there was some significant amount of problems across all FS in the kernel.

Though, I don't think the other OS' out there are much better, FS are hard. Getting them right is harder. Getting them right while being compatible with existing implementations is very harder.

0: https://danluu.com/filesystem-errors/
I agree. Programming wasn't hard, especially if you had prior experience. Even a little bit would help.

On the other hand it also means that you aren't quite the perfect programmer after finishing the course.

Due to the immediate possibility for practical application, it was a lot easier than other more abstract topics.

Nevertheless it drove quite some people away from CS. Though not nearly as many as Algebra.
No. A type inference does not check types. It inferences types.

For example if you know that + is defined for numbers, then you can inference that a and b must be numbers: (+ a b)

If you know that a and b are numbers then you can inference that subexpressions need to deal with numbers only:

(let ((a c) (b d)) (declare (type number a b)) ....)

The type inferencer then will tell what types the various expressions have. It will try to propagate known types as widely as possible in the code.

Allegro CL and LispWorks for example are doing this type inference. But their compiler will not tell you that type declarations are violated.

SBCL OTOH treats type declarations as type assertions which can be checked at compile time. ADDITIONALLY it also does type inference - and additionally uses this information for compile time type checks.
You don't think it's a bug when two folders get the same special icon that one usually associates with one specific location? That's a huge UI bug.
Transformation-matrix-js – last update of 2D Affine Transformation Matrix – ever
Yes, SpaceX puts a lot more effort into the webcasts. I don't know if their telemetry is live or precomputed (though it is likely live, see below) - but the fact that they show live feed of the rocket rather than a simulation (except for Stage 2 coasting periods where they render the spacecrafts' orbit) already gives the entire display a different feel. (At this point it's also important to note that this live feed got them into trouble once [1]).

I also agree with your sentiment that the movie removes a bit of the scientific aspect.

Insert here a good 30 minutes spent on watching launch footage and writing down numbers

Ok, at this point I'm deep in looking at launch footage, and I'm more disappointed by the Soyuz launch footage. Whilst it's possible that they followed the exact same launch trajectory (on paper and reality), it's unlikely: MS-08 [2] and MS-09 [3] had the exact same speed, altitude and downrange distance throughout the time telemetry was visible. In contrast, SpaceX showed very different telemetry during launches to the ISS ([4], [5], [6]). Also, it doesn't seem pre-computed: The telemetry during the CRS-7 webcast [7] at least doesn't just continue when the rocket explodes, indicating that it doesn't just display pre-computed numbers.

In Soyuz' defense: They probably have a different (older?) system to get telemetry, and it might bear additional challenges to feed them into a publicly accessible live-stream.

[1] https://www.space.com/40153-spacex-launch-video-noaa-restric...

[2] https://youtu.be/iDebCdDHHpg?t=365

[3] https://youtu.be/00uftjSjcnk?t=364

[4] https://youtu.be/C_Gmgj3N_Z0?t=1270

[5] https://youtu.be/FCCyVCvN2bo?t=1179

[6] https://youtu.be/rUDLxFUMC9c?t=1036

[7] https://youtu.be/JYFLoTgO-xQ?t=1286
> This will simply not happen in today's environment, so what is someone in Mattis' position to do?

The man has a press secretary. He could resign today, talk about this, and actively campaign for impeachment. The man has a pension, it’s not his god given right to be a cabinet member. Nobodys asking him to shoot his mother.

Not only would this be a Big Fucking Deal, it also forces stuff like congress passing more laws to prevent attempted beheadings of foreign governments.

Principles only exist if you’re willing to pay a personal cost to enforce them. Otherwise it’s just lip service.
On the contrary - the introduction of efficient LEDs has led to insane stuff like decorative building facade illumination which nobody would think of doing with incandescents, just because of replacement effort and energy usage. But with cheap LEDs the operating costs drop to the point where such an application becomes viable, and we get a new source of demand (and light pollution)
If memory isn't playing tricks on me, you can go to staticgen and in the language pick bash. There was a sweet one developed with photos as front runner. It may or may not be what you are looking for.
Amazon Atlas: The “Highly Confidential” locations of Amazon's data centers
Two more Amazon comments popped up minutes after your comment:

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

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

The reason why ex-Googler responses dominated for the first ~2 hours is because of timezones, I think. Out of FAANG, Google had the largest headcount on the east coast. The question was asked at 5AM PDT so the west coast folks were not up yet.
> What surprises me about this article is that catching neutrinos tunneling up through the earth is considered surprising. I had thought that neutrino detectors generally caught just as many neutrinos from below as from above; the earth is essentially transparent to them.

This is what I thought too, but apparently, the Earth is opaque to neutrinos at energies above 1 PeV. (That is, the Standard Model predicts so.)

The article states "The particles had energies that were high enough for the Standard Model to prohibit that kind of careless disregard for matter". Although I think it could have been explained better, explanation is there.
I have a fig tree and a blueberry bush growing indoors with a 65w lamp and 70F constant temperature.

The fig tree is dying and the blueberry bush is fruiting :)

Kind of the opposite of what I wanted though lol :(
The sad part in all this is, many people like me will never see how Lisp Machines worked, what it mean't to use and how the overall experience was.

This is really like some one describing Ice Cream to a person who never tasted it ever.
There is no way we skim _billions_ of words every day, on average. Remember one word every second is about 30 years for a billion, so even at ten words a second, you are still taking about 3 years.

So even assuming almost all of that is video, I will still have to question it -- at 2gb/hr that is constantly watching video for more than 16 hours.
No, more of the opposite. Companies should support him and others researchers because it's in their own interest.
Oh god, the EFI bug. I thought it was utterly absurd that some people on that mailing list defended that behavior and it really put me off Linux culture and the Linux community.
But.. if you want to game and/or do stuff like games programming, video rendering etc you kind of want discrete graphics.
I believe younger people tend to be on the extremes either on the left or right. With age and experience they are ready to adjust, but still hold the same view. This is a broad generalization of course and take it with a pinch of salt.
A fun bit of related trivia is that the 6502 in the Commodore 1541 disk drive is slightly faster than the 6510 in the PAL C64.
The weariness against 'chemicals' is not FUD. Yes, a little trace amount of formaldehyde, benzene, ethanol and other VOCs isn't going to kill you, but it certainly has a cumulative effect on the body. You got a tiny amount in your lacquered floors you walk on, a tiny amount in your mattress, a tiny amount in those fancy non-iron dress shirts you wear, you bring back a tiny amount from the dry cleaners, a tiny amount in those moth balls you use, a tiny amount in your scented candles and perfumes and dyes, a tiny amount in your workout "sweat wicking" clothing, a tiny amount from all those various forms of plastics you use to eat and drink with, a tiny amount from all those foams you encounter throughout the day -- whether its car seats, office chairs or your pillows, all of a sudden you now have a little bit constantly in your system. And it's not about having a tiny amount of one. What happens when you have built up a couple micrograms in your system, and how does it react when combined with another? Who knows right -- no one is studying that.

Combine this with all the processed junk most Americans eat, the lack of sleep and exercise and de-stressing time, and the increasingly dirty air we breathe, I don't think it is a stretch to say we aren't doing anything to help our body and to be weary of things made with 'chemicals' considering we already have so much shit out there that has more than what we should probably be getting exposed to.
Windows 10 is rapidly becoming the standard, the "no sane CIO" remark is absurd. The entire DOD has standardized on Windows 10, and they're the largest enterprise in the world.
I always forget about lobste.rs I remember wanting a membership when it launched and getting mad that I couldn't find anyone to send me an invite. Kinda made me feel like it was the no homers club.
Website looks nice! My 2 cents would be to maybe have a demo dashboard without signing up? I just feel like it forces people to invest without knowing what it is. Wish you success!
Microsoft and OIN: Legal Commitments vs. The Power of the Taboo
By all means,

"Graphical Programming with Xerox Lisp"

https://www.youtube.com/watch?v=J4F6ioMKiqw&list=PL80581C8F8...

"Symbolics Lisp Machine"

https://www.youtube.com/watch?v=o4-YnLpLgtk&t=28s

"The Interlisp Programming Environment (1981)"

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

"Interlisp-D Reference Manual Volume II: Environment"

http://www.bitsavers.org/pdf/xerox/interlisp-d/198510_Koto/3...
New Pocket is here
Nah, I would favor a pitchfork-and-torches approach to Facebook and Twitter, the entire company behind it is so unlikely to change that a radical rebuild is required.
There is no "ambiguity" between space and space-time. They are clearly defined terms. Space means the 3d space that we experience around us. Space-time includes time as a fourth dimension.

While time as a dimenauon can be seen as a mathematical formality (it manifests as a different physical quantity in our observations), it does behave much (but not exactly) like the spatial dimensions.

The entirety of GR, especially the space curvature part is formulated without embedding space and time into a higher dimensional space of any kind. This avoids any speculation about extra dimensions "around" our universe. It also causes the enormous mathematical complexity of GR.

Back to the topic of gravitational waves: these arise out of Einsteins field equation which describes space-time curvature as a result of the distribution of mass and energy in space. These equations show the property that certain small deviations of curvature from their resting state propagate through space as waves. These curvature changes can be measured as changed in physical length of solid objects. This is what LIGO achieved. There is no room in current theories for any different kind of propagation medium for gravitational waves.

I seems to me that you have some difficulties understanding SR and GR. This is understandable because both describe phenomena that are not directly observable in our everyday lives.
If there's anything IBM does better than anyone else, it's metrics. It's almost like they invented the field of IT metrics measurement and analysis, in fact.
I’m going to make a guess here, but based on my experience of this type of culture at other organizations, weird character traits that are okay = anything unusual done by the very senior, generally-accepted-company-success-story people. So if you started a successful spin-off that Google funds and makes a ton of money from, then your penchant for rollerblading around the building is cute and HR smile when describing it to interviewees. However if you are one of the other 99.9% then get those damn things off your feet, your going to hurt someone.
>No one can predict the future.

He wrote Digital Maoism article at the peak of Web 2.0 hype. That's pretty darn good demonstration of foresight.

https://www.edge.org/conversation/jaron_lanier-digital-maois...
MINIX predates L4 and has evolved independently.

Unfortunately, L4 and microkernels in general have (unfairly) gained a bad reputation in some circles, stemming from some projects in the 90s that ended in spectacular failure. Examples include IBM's Workplace OS, which costed billions of dollars in development. L4 has had quiet success in the embedded space. General interest has renewed thanks to interesting projects like the seL4 project.

> I wonder why neither Minix 3 nor Fuchsia are using L4

There are many variants of L4, which have similar concepts and APIs but favour different design choices. So it's not that straight forward. In my opinion, I suspect companies with enough manpower will find it easier to make a new project and take the best ideas of L4 without importing all the controversial or philosophical aspects.

Edit: fixed a typo
That’s how all capitalism ends up.
It sounds a bit silly to assume that reading a hundred reddit posts a day would interfere with my reading of a good novel. I haven’t encountered anuthing even close to it, but I guess it might be different for others?
Damn... give me the GMO bananas please and I'll eat NOTHING ELSE for a month just to prove a point.
Check out Sweet Tangos if you have the chance, they are an improved Honeycrisp.
I recommend making a playlist and making a self-blind study which feels more random: your native music player shuffling it or a true random shuffling of the list.

You'll be surprised.
Check Out These Great Deals on Homes for Sale in Williamson Co TN
What about healthcare?
Safari technology preview now has experimental VP8 WebRTC codec
Show HN: Email keyword alerts from podcasts
Dropping Markers on Geocoded Locations Within a Vue.js Web Application
Show HN: Sort GitHub issue's comments by upvotes
The next big restaurant chain may not own any kitchens
<sarcasm>
We need a digest of HN comments for people don't have time to read the comments about an article regarding people not having time to read everything that they come across
</sarcasm>