skysight-inc/HackerNews huggingface dataset:
I had the pleasure of visiting Dynamicland and hanging out with Peter Norvig, Nicky Case and many others. There's a few things that stuck out for me:

- The community! Most people I interacted with were pretty inter-disciplinary. Some came from an education heavy background, others from a more programming language background. Some from interface design, others from physical installation or video game background (and everything in between). Everyone had their own degree of skepticism but were excited by the discussions that were happening (a sign of a good research culture!).

- The representations: What excites me the most about Dynamicland is that it's an environment for fostering unique representations of ideas. The cultural forces & ideas (social programming, remixing, visible state / code at all times, 3d environment, etc) baked into the space encourage the experimentation & creation of new ways of representing complex ideas. Some scattered examples here - https://twitter.com/dynamicland1?lang=en

- Removal of artificial barriers: When programming on a computer these days, there's so many barriers to doing simple things. The amount of code that exists to do virtual actions in a virtual world is MASSIVE, and acts as a huge barrier. This is something Bret talks about at the end of his interview on Postlight (https://postlight.com/trackchanges/podcast/computing-is-ever...). Because code / programs in Dynamicland are embodied in the room, you don't need code to move a dialog box or a slider around. You just moved it yourself. This is super powerful and it means your code can focus on the actual computation itself, not on virtual UI movement. Eventually, Dynamicland will have robotics to automate moving of objects, but this already is a great start.

- Moving around: Moving around, even if it's just around a table, is AWESOME. We're so used to sitting (or standing) at a desk and staying still that we don't get to take advantage of embodied intelligence. We think in SO many different ways, and our "thinking" doesn't just happen in the head. Our arms, legs, stomach, and feet all contribute to the thinking process. Combine that with multi-sensory representations that live across all of these channels and you can explore a thought & idea space SO quickly and uniquely. This is so hard to describe and under-rated. This link (http://worrydream.com/ABriefRantOnTheFutureOfInteractionDesi...) and this talk (https://www.youtube.com/watch?v=agOdP2Bmieg) attempt to do these ideas justice but it's quite hard to transfer this context!
You make a good point. I don't mean that TypeScript yields no benefit. But if I can't trust the compiler 99.99% of the time, then I find that I'm double-checking my work _and_ the compiler's work. It's not clear to me that the benefit outweighs this uncertainty. When you say that your system is "sounder", you don't really know whether that's true if the type system is unreliable.
Typechecking at the runtime level means that you have to write tests that traverse every single code path to make sure your code works the way you expect. You can just do this at compile time with static typing. Saves you a lot of boiler plate tests you don't need to write yourself to assert the same thing.
Possibly because of some issues with the URL and the title that have since been fixed.
It's not the developer edition but the regular one and I installed Ubuntu myself.

A vanilla install is good enough for regular use, but I've got a multi-display setup, unofficial dock and other tweaks because of my workflow.

The audio bug is Ubuntu's and it basically means that I have to select the output device after every reboot, a 5 second task. I can definitely live with that.

> Literally every laptop I've installed Linux on had a litany of driver problems.

I'd agree with you at one point, but various distros work fine on a whole range of hardware, this isn't the 90s anymore.
How to Grow on Instagram Views
Thanks for sharing this. It was a great appendum to the article and useful to understand the practicalities of how some surgeries/appointments in the USA medical system are funded (and how some medical practices/clinics are private equitied).
We don't eat out. We buy food on sale. We don't eat already prepared meals. We have a garden.

I think many people take for granted that we can live so well here, and buy whatever looks good, and not planning ahead of time. But honestly it's fun to make meals yourself while saving money, and you can avoid some of the weird stuff they put in a lot of preprocessed foods. I admit we are trying to live frugally, we're trying to kill a house mortgage.
Thank you! My number one priority right now is getting more companies to sign up as users on the website. Even small, unheard of companies can make a huge difference at this stage!

I'm not sure quite what you mean by "design patterns". The NDA form itself is very orthodox in its language. I wrote it, intentionally, to be as little-surprising and easy to review, knee-jerk, as possible.

In other work, I'm fanatical about plain language, clean structure, and the reuse of components of language. The latter comes through in my open source project, Common Form, which essentially ports various software development tools---editor, linter, compiler, package manager---to contract drafting:

https://commonform.github.io/

I've also released some "open" forms in my preferred style:

https://forms.kemitchell.com/

For example, here's my form contract for developers doing a mix of open and closed projects for clients:

https://commonform.org/switchmode/switchmode/2e1u

Or perhaps you mean "design patterns" more to do with the "viral" nature of the Canting Tribe NDA, a kind of voluntary, Internet-enabled standardization. I do have high hopes for that model. I'd love to see it work for NDAs, and reuse it for other kinds of transactions, including some with more inevitable terms variability. SaaS agreements, for example.
Good. It was nice that people are thinking of alternative ways to cool our homes down without using too much electricity. I wonder how much it will cost though, because this is a great idea!
It's not even really a replacement for NetworkManager; it's designed to be used to provide basic networking within containers, for systemd-nspawn. It can be used on host systems, but it's deliberately fairly lightweight and designed for fairly simple configurations in containers, rather than as a full fledged replacement for other networking management daemons.
From this link...

http://hubblesite.org/the_telescope/team_hubble/#hubbletime

Each year astronomers from dozens of countries vie for precious minutes of Hubble's unrivaled view of the cosmos.

A review committee made up of experts from the astronomical community determines which proposed observations address pressing scientific questions and make the best use of the telescope's capabilities.

Each year more than 1,000 proposals are reviewed and approximately 200 are selected, which represents roughly 20,000 individual observations.

I feel bad for all the projects that got delayed. I wonder if they'll be rescheduled, or have to be resubmitted or are just out of luck.
You, uh, answered your own question in your second sentence. Do you expect me to enumerate all the possible ways? Why don't you think about your life experience has been shaped by your gender and race? Your writing implies that society doesn't treat people differently on their skin complexion and gender. Do you believe that?
I've looked into purchasing a face mask to filter pollution whilst commuting to and from work but I feel as though it's not social acceptable to obscure your face in public. Has anyone else had similar concerns?
Artists, creators, chefs, bloggers, travel junkies, etc. Whatever it is that they actually do.

You do not just become an "influencer", instead you gain influence by way of gaining a following for doing (and being good at) something. The term is definitely overloaded and mostly pointless now.
It's not dirt cheap, you can take 2 1hr $50 uber X rides a day if you so feel, and I don't think there is a limit? It's actually fairly generous.

Your still paying tax on it although, but it still would cost the company $2000 per month.

A company can also just give you more money without a 401k condition behind that matching program, and you can decide to put the money in. They don't have a large retail staff, so they can also probably do things like the mega backdoor roth too.
"Efficiency is a red herring, and many devices (thermoelectric generators in particular) become more useful the less efficient they get."

I don't understand this part. How does a thermoelectric generator become more useful with less efficiency?
Interesting. I'm not a SharePoint user, but I'm having a look.
Hm, DJB actually argues the opposite, that sockets should have 2 file descriptors :)

https://cr.yp.to/tcpip/twofd.html
Meh, I thought this was about apps that dumb down functionality and suffer from overly-clever syndrome. Can we have a thread about that instead? :)
Honestly? LaTeX. Does that count? It does presentations, too.

Does it have to be open source? Because LibreOffice is a mess, especially on macOS. Apparently, something called NeoOffice is LibreOffice for macOS, and while sold commercially, is GPL.
Does it work on .NET core?
Pointer arithmetic can be perfectly safe. C doesn’t implement it safely but that doesn’t mean other languages couldn’t.
It's not really, though. Because even pure FP folks read this article and say, "This is just nonsense and ill-considered propaganda."

For example, the idea that you can't trust Typescript because it might call untyped code but you CAN trust Purescript is just wrong. It's not even just wrong, it's utterly misrepresentative of what actually happens in Elm and Purescript. It's misinformation.
From your description, that sounds like the compiler accepting something that isn't correct. I'm more interested in the case(s?) mentioned where the types are correct and the compiler won't accept the code.

I will have a quick skim through the @types/ramda issues, thanks.
Uh oh, this is not good. AI is starting to take our jobs and we don't even realize it yet. Even if the AI is a much better ski instructor than a human instructor, I think it's still important to have an actual human right there to guide a newbie and show him how it's properly done.
Yeah you get more outrage shares and clicks with victims that are stereotypes and do outrageous things.
Businesses operating out of these premises were not closed down for the lifting; as the buildings were being raised, people came, went, shopped and worked in them as if nothing out of the ordinary were happening.

150 years ago, there was no widespread utility services (water, electricity, gas), so buildings essentially just rested on their foundations and could be raised with far less disruption. The lax safety regulations of the time probably also contributed --- today, if such a thing were done, the building would likely be completely vacated and emptied first.
In case anyone doesn’t already know, this isn’t a figure of speech. array[5] literally translates to *(array + 5) in C. Since + is a symmetric operator, that means 5[array] is a valid, equivalent expression.
Shared, dynamically linked libraries.

This was understandable in a time when disk space was scarce, but it causes all kinds of dependency hell when you want to install programs that need different versions of the same library, or when you upgrade one of those libraries and break a bunch of programs.

Plan 9 got this right with static linking a long time ago: https://9p.io/wiki/plan9/why_static/index.html. Sadly this has still not been adopted by major Unixy operating systems. Flatpak and Snap seem promising for isolation of dependencies in Linux without requiring full containerization.
I live in the USA

Have you tried roasted a chicken? A whole chicken costs $6. Feeds 2 with leftovers, the bones can be used for broth, which can make lots of things, especially soup. The leftover meat is great for many things, like fried with potatoes. Sometimes I find that the chicken was used for 10 meals. Of course other things are added along the way, but veggies are dirt cheap.
I read this the other day and thought it was an interesting story. I find some of the troll comments on here just as interesting. When I read it originally, the style of writing didn't even cross my mind. I could tell it was conversational. And seeing that Darius Miles is a little younger than me we use the same type of slang in conversation. At least around friends.

When I'm at work it's a different ball game. Like anybody else I try to sound more professional. But I find it amusing that some people are saying that the story doesn't read like English. It's a little hard to take them seriously.
>>Working with video at large scale is tough man.

The question of course is how much staff works on video tech. Even at a company like Google, most people are not working on Google search. There are teams that do all kinds of work behind the scenes to make this happen. Like Build teams, SRE, QR DevOps etc.

The tech part is hard, but is largely solved. AWS has today made it easy to play the scale game. The unsolved riddle there is affordability not tech. That's the whole point behind Amazon Prime anyway. If Netflix was using their infrastructure to be successful, they might as well have done it themselves and they have.

Another big part about these companies is they oversell the role of technology, and the role of tech people in their success. Content is way important a thing for these companies than tech will ever be. Interesting content to consume is what keeps these people in the game.

There is a reason why some thing like New York Times is still around. And they are not even a tech company.
This. It says that "cosmic background radiation" dates to 1975, which is weird because that's 10 years after it was discovered. The Google ngram viewer shows it entering the literature in 1953.
From here on out I want static, compiled binaries from every new programming language.
The more full the refrigerator the longer it will maintain temperature.
It's too bad the author chose specious and self-invalidating arguments for using Purescript and Elm as opposed to pointing out real issues with Flow and TS, isn't it?
thanks for pointing this out, this is not evident on its own... many discussion platforms have some form of censorship so it is not unnatural to assume an unclickable "flagged" to be censored.
I grew up in SoCal in the early 2000s and I distinctly remember how fun the Clips were to watch. They were heavily overshadowed by the Lakers and no one really expected them to win. But they were entertaining.

This is a story that mostly focuses on the come up rather than the come down. It must have been a hell of a run to become a multimillionaire teenager and work out of LA, no less. The anecdotes with Alonzo, MJ, and Shaq are hilarious. I could totally see Shaq doing something like that. I hope Miles can parlay that history and access into something cool for his future.

There's an interesting point both of them make about social media; I'm not sure I believe it. I imagine it's just as fun and wild to be a teenage NBA player was it was in the early 2000s.

Props to Miles for speaking out about his depression. Kevin Love and I think Lowry have been open about their struggles. We're all human, NBA players or not.
BTW, you should advertise on the podcast "No Script At All." I suspect you'd find a receptive audience there who have never heard of you.
Think of all the time you wasted writing unnecessary tests that the compiler could perform automatically on your behalf by you properly specifying your types. You'd be much more productive and confident, and have less LOC to maintain. Refactoring would be much easier too.
In the US, the American Medical Association is run by doctors and they artificially limit the supply new doctors by capping the number of medical schools. So sometimes having the fox guard the henhouse is not the best way to save money.
Well, I would assume the receiving node would verify that each entry was actually needed.
How digital marketing works
I don’t think it’s really that hard to draw the line. You can still err heavily on the side of safety while not requiring a bag of nuts to warn about the nuts it contains. But our legal system doesn’t go for that sort of nuance.
There is some good intentions here, but just because you do buzzword bingo it does not mean you are 'agile', and it does not mean you are bring value.
And desktop / web apps are a lot different than weapons systems.
The 'dark ages' of software engineering are in our immediate future. We will be able to make crappy systems very quickly that we require constantly throwing them away and starting again. Eventually software will consume every dollar of every development budget, and some sanity will prevail.
Using Machine Learning to help us communicate better
You can use Razor engine, IMO they’re very comparable: https://github.com/toddams/RazorLight
I think this would work extremely well in most developing countries.

In fact, I have read about some system in India or Japan where a lot of people get home make food, distributed in stacked containers.
This is not surprising. Every day on our commute, we inhale toxic smoke from vehicles, or manufacturers and other places and we don't even realize that it's affecting our health. Worse, it'd be too late when we realized it's the source of our dwindling health.
Internal quality is external quality haha. If your types are wrong your program is wrong, and if it just happens to work now wait until more people use it, or you refactor it, or you change the way it works. Your users are basically just fuzzing machines haha.

Your statement that "nobody ever cared to use tests to replicate what the type system does" is trivially false, have you ever tested what happens when you pass "null" into a function that probably shouldn't take null? If so, you just did. Some type systems allow you to even specify valid subranges of types, and combined with algebraic data types, it's effectively impossible to misuse.
Bollocks. Useless to me then sadly.
In the context of JS 'compile time' refers to.. TS?

My point was that if your TS project is used in a non-TS context (i.e. the compiled JS is called from regular JS code, not compiled TS code, you no longer have that compile step.

I also think you've misunderstood what I mean. I'm talking about native language level support for typed function arguments at the javascript level, not relying on TS to provide that.
There has to be jobs in those small cities, or people would just travel more and you'd improve nothing. There are barely remote jobs for programmers today - and for some creative types there are some remote jobs. But to make your scenario practical there needs to be a lot more remote work. In a few years when my kids are past high school, I'd love to move to a mountain city somewhere and enjoy the wilderness, at least for a while. I'm an experienced programmer with a good resume and even I'd take a while to get a remote job that pays reasonably.

It's much worse for people who aren't in the fortunate "programmer class" to get remote work. A little city supports a few people working in shops and restaurants and cafes, but the mass of the people need more.
It's the way I always approach it when parsing a DSL, but always line-by-line, rather than a regex across the whole script.

I know it isn't going to be the most performant approach, but if you're comfortable with regular expressions it's really simple, and performant enough for most cases.
Aside a small number of exceptions US citizens hate using public transit themselves. This is reinforced by how public transit stations are always on the most undesirable real estate. If you’re successful you have a car, only the poor/unsuccessful/unusual don’t have 1 or more cars in their household.
No we no longer have this capability. Soyuz capsules are not really designed for EVA.
> It is absurd to suggest that anyone "knows" what a system as complex as the Earth will be like in the future. Many people believe that this is the most likely future, and I'm sure some of them don't care.

it's absurd to suggest radiative transfer and heat retention aren't well understood scientific phenomena.
Hundreds of milliseconds per TCP (or UDP) session. The CGNAT boxes are handling hundreds of thousands of flows. And they're part of failover clusters so each flow has to be shipped to the other cluster members and acknowledged before starting the flow. And these things are often overloaded and adding tens of milliseconds delay to each packet passing through. Because whoever heard of an ISP spending more than "just enough" on hardware?
> The "Rockstar" types join, get all excitable, make a handful of rapid (often good) changes, burn out, and leave. Likely to start again at their next workplace.

The most helpful advice I've ever been given by my manager is to come to terms with my, so to say, "rockstarness". There are people who come in to work everyday and deliver a constant stream of output. Others (like me) have huge bursts of productivity at seemingly random times. And that's fine when you know that this is what's going on. When I'm in a phase of low productivity, I don't panic anymore about not getting anything done. I'm deliberately spending the time mentoring juniors, learning new things, or working on getting tickets unblocked so that when the next productivity streak hits me, I'm ready to make the most of it.
#Apple and #Samsung fined millions for planned obsolescence” of old smartphones
Could you elaborate on this a bit; do you have any interesting real life examples of this mentality?
It is a layer of abstraction that helps the application piece but I wouldn't say it solves the real problem being mentioned. That problem is closer to top level uid management. When you are working with 50k systems and have to deal with things like "because there was a slight deviation of install order tomcat is uid 105 on one system and 106 on another set of systems, some tarballs are screwed and need a second perm pass otherwise they'll come up as owned by a different user."

And while there are ways to improve this with LDAP and things on Linux covered by nsswitch and so on, they just aren't very nice. And because so much is driven by uid internally finding that one system out of 100 where a constraint is violated is needlessly troublesome, compare this to Windows and AD where at any moment there is always a clear source of truth.

Cgroups fixed that in the local space but just having a clean logical mapping that is consistent across all implementations where things are wholly separate by default and there is no bleeding in of the parent OS like a VM does
As I understand they mean that a thermoelectric generator is much more useful in small scales of size and weight, where it can't operate very efficiently.

It's primary application being for spacecraft since it can have a decent power output for a very long time, which is what's typically required from a long standing mission.
Ask HN: What happend to center mouse cut and paste in Linux?
Been captive on RHEL 6 for a long time. Installed a new linux distribution (fedora) and found that center button cut and paste does not work. Installed ubuntu, same thing. Google search seems to tell me "that is the way it is", and you can only cut and past like that inside a single application (which for me means an xterm). What has happened? Why would something like this that has been around for 30+ years across ever unix / window manager environment not be supported?
My favorite consequence of this problem is a rather unintuitive answer to the following problem:

You find yourself in a circular arena with a hungry lion that will hunt you through whatever strategy it likes. You are able to run at exactly the speed of the lion. Assuming that you don't get exhausted and that both you and the lions are point-shaped, is there a strategy that allows you to avoid the lion forever?
Could you elaborate? Why is it wrong/misinformation?