skysight-inc/HackerNews huggingface dataset:
So there are languages that can do these things individually:

Dedalus is an evolution of datalog, incorporating the notion of time in the type system. You're better off working with an abstract version of time, for portability reasons - the compiler can look at the timing specs to optimize resource usage, otherwise you're into VHDL territory and your only recourse is simulation of your system to reason about it, due to complexity .

Fine grained energy usage would be specific to say the SOC you're using, eg. for the CC1310 there are specific modes for low power. The compiler could potentially take care of this, but you would probably require an abstract state machine for it to optimize, eg. identify periods to go in to low power mode.

Hard realtime nearly precludes many languages due to their need for GC - there are a few realtime GCs around, but really it's better to use a language that has managed memory without GC.
So after all that, you're down to a handful of suitable languages for realtime eg. Rust or Composita.

Lastly, guaranteeing program correctness is something you need to do in a high level language, to be able to capture the semantics you're tying to prove. ie. you need a language that can express higher order logic. Whether this proof step is intrinsic to the language is up to you, but you then need to map the higher-level model to your low level language. Several projects do this eg. CakeML, but the full self-verified OS doesn't exist as yet.

Interestingly there is a linguistic solution for all of this which I'm working on, just not got anything concrete to share yet - maybe in 6 months :)
> You cannot transplant most organs that have been in a body that's "brain dead" for ~2 hours. That has near zero chance of success.

I'd be very interested in any links (especially papers) that discuss this.
I find myself getting annoyed by similar problems trying to name similar but different concepts. And it seems like this is a very common problem among programmers. Reminds me of this StackOverflow where everyone seems to have their own opinion: https://stackoverflow.com/questions/421965/anyone-else-find-...
Your subheading text "Build and publish instantly your projects online" reads a little strangely to me. I'd recommend re-wording that to "Build and instantly publish your projects online".

Looks neat, though!
Cool! Does that create defaultdicts “all the way down?”
Fibre laser may lead to wearable tech and better endoscopes
What would you say are the weakest aspects of the scientific consensus on LDL-C? Not doubting your 3 main points, just curious what you would identify as the weakest links in the reasoning as someone within the profession.
We did that once:
https://www.mercurynews.com/2016/10/30/the-year-daylight-sav...

I'm surprised it's unmentioned here. My recollection was that a kid got hit by a bus in the morning, and that ended that.
I (EM, coming on the end of my first year as such) have these negotiations with PMs and POs all the time. They'll ask for the world and need the technical guidance I provide to understand why they can't have it and to effectively communicate that to their leadership.
Java Reflection, but much faster
The V3s is much better for this goofy use case because it has onboard RAM so you can bring up a truly hand soldered machine with it.
Instead of using the Maybe monad, just hardcode the Maybe monad into every class /s. Their `tell` method is basically just the `>>=` method from the Maybe monad but with the second parameter already supplied making it less flexible.
At least until it hits the turtle bedrock at the end of your system memory. Oh maybe you need the inner one to be a lambda of defaultdict actually, then it will.

turtles = lambda: defaultdict(turtles)
some_autoviv_variable = defaultdict(turtles)

Have to confess I'm a polyglot type person, and even Im starting to twitch at "unpythonic" feels of having something as nuts as a recursive expression in a lambda with some assignment.
Are you on dialysis? Are you working full time? Is there a way I can contact you via email?
Most of the grief regarding ActivityPub vs RSS is that they are enough similar that a migration path could have been made where RSS gets an upgrade and could maybe be a bit compatible with ActivityPub rather than just ignoring RSS and creating ActivityPub without a clear upgrade path.
mouseover :)
Exception Handling in Java: A Complete Guide with Best and Worst Practices
You could also make the argument that opening city centers to cars should be considered carefully, and that is also true. It just happens to be the current default almost everywhere.
If you don't have money, you're not buying a phone anyway, and your old one has a headphone jack.
I think both are true. If someone kept a phone for 2 years on contract, anything priced over ~$750 is absorbed by the carrier (probably made up by reoffering the phone cheaper to someone who doesn't need the latest and greatest). But on the flip side, phones these days are truly impressive. And by raising the prices, Apple is choosing Quality and Speed over Cost. If they have to pump out 3 phones a year, and each has to be better, then spending more allows them to keep going.
With the null object pattern, your logic still has to determine if it needs to create a null object or not. The difference is that code is down where it needs to be not further up where it can be duplicated or have more abstraction built around it that just complicates what should be really simple code at that point.
There are literally hundreds to thousands of papers where they have done exactly this: Feed animals a high-cholesterol diet and compare the results to control animals fed a normal diet. Usually they will also compare different drugs in separate experimental arms. The LDL diet is a positive control, the normal diet is a negative control, and the drug arms are usually the intervention being tested. How much evidence do you want? This (molecular imaging of atherosclerosis) is an entire subfield of medicine with tons of work.

I myself have done this in rabbits, followed by by molecular imaging (Tc-99m bound to various ligands) which directly image atherosclerosis in the animal. We use single photon emission computed tomography (SPECT) as well as position emission tomography (PET) to quantitatively measure atherosclerotic burden. We also sacrifice the animals and remove their arteries–upon unmagnified visual inspection of the plaques in the arteries, I can tell you which animals get which diet.

I'm not going to debate all of your points. Sure, it's possible there are other potential explanations for FH or PCSK9. However, they are not likely. Also, mendelian randomization studies are use a causal inference strategy via instrumental variable analysis, getting around the idea that we are measuring only correlations. It's a very nice technique which mimics a randomized controlled trial via the random assignment of genetic material during gametogenesis. So I don't agree with you.

Last thing: The equivocal evidence of statin therapy is only in primary prevention, not in secondary prevention. No one is really challenging that statins work, the question is what population is of high enough risk that they should get statins. This is widely misreported in the popular media and pretty harmful to patients who see a headline and stop taking their drugs.
Alternatively, the moderates have Reddit, and the fringe has Voat. (Perhaps not 'edgelords', since there's not much irony to that one.) And, unremarkably, Voat is a ghost town.

The reason sites attract a lunatic fringe is in large part the same reason they attract anyone else; they're active and enjoyable to use. Even 4chan offsets /b/ and /r9k/ with a host of less famous boards where people have basically normal conversations you could see anywhere online.

I think you're dead on - userbases don't schism into more and less intense factions, they form around frameworks that match their interests. 9gag and Imgur are "here's some rapidly entertaining content", Tumblr is blogs with mutual audiences, Reddit offers a mix of hyper-curated content, 4chan is a place where things are just happening on a topic and you can jump right in if you can stand the pressure.
From the comments, a complete hand assembly system using a similar chip with onboard RAM (allwinner v3s): https://github.com/petit-miner/Blueberry-PI
The value of land would go down if food production shifted elsewhere.
Hyper Casual Game Design
This article inadvertently supports why stopping Net Neutrality was a good idea.

If it takes a deep investigation to discover "throttling", and there has been no outcry from consumers, then the throttling did not cause any harm.

Net Neutrality bans many sensible forms of traffic shaping. What we are seeing is network capacity being greatly increased through sensible traffic shaping, with no downside for consumers. That's why Net Neutrality is a bad idea in the first place!
Intel Co-Founder’s Silicon Valley Estate Lists for $21.8M
Interesting, but isn't it also a potential bottleneck at the other side of the network? I.e.: NBCSport has fatter pipes/less congestion than YouTube?
The Allwinner SoCs will load U-Boot from a SDcard.
You're being unrealistic.

I live in a large apartment development in Manhattan that is pedestrian-friendly and decidedly vehicle-unfriendly. You can't drive a car to the front of my building. And yet it works, very well.

I moved in with my girlfriend recently. You know how that worked? The movers she hired drove as near as possible, and simply pushed her stuff on dollies the rest of the way to the building. No big deal. Yeah, it took a little bit longer, but nowhere near as bad as the 4-day move you're hyperbolically claiming. And that side of the move was actually better than the other side, since she was moving out of a fourth floor walkup. Even though the truck could park almost directly in front of that building, it turns out it's harder to carry stuff down many flights of stairs than it is to push it on wheels across a flat surface and then up an elevator.

I moved from another building within my complex, and I accomplished my entire move simply by pushing my stuff on a dolly, without even having to hire movers. I've never before had a vehicle-less move even be an option, but it was in this situation.

As for repairmen, you know how they work? They get around on bicycles. You can carry a surprising amount of stuff on a bicycle, including all the tools you'd need for >95% of repairs. The plumbers ride around on bikes with a toolbox, plungers, and a snake, for example. For appliance delivery, they use tiny little vehicles that are basically a pick-up truck version of a golf cart. These vehicles don't go fast and the drivers yield to pedestrians, and you see them on pedestrian paths (and don't feel unsafe about it).

Every problem that you're bringing up is already solved in the many different areas that are pedestrianized and prohibit vehicle traffic. It's a failure of imagination to think that these problems are unsolvable. When your city is dense enough, a plumber/electrician can easily support him/herself on just jobs that are within a 10 minute walking radius, with the tools that can be pushed on a handcart or fit on a bicycle. Vehicles aren't necessary. It's actually more efficient for these professions, because in the suburbs it's typical to drive for up to an hour to get to a jobsite! So much wasted time spent just getting somewhere!
See above :-) I hope he/she replies to me!
The talk is about the journey more than the destination.
Unfortunately another app they made, byte, while still in the App Store doesn’t appear to work. I really liked it.
There is a gated neighborhood of large, well appointed homes near Rice University in Houston.* They open up every once in a while for tours, particularly at Christmas. More than once kids or adults raised there have mentioned being able to just play in the street as one of their fondest memories of the place. In car-centric Houston their experience is rare if not exactly unique.

*1 - https://en.wikipedia.org/wiki/Shadyside,_Houston
A city with fast cars running around is the least human-friendly environment that we have built on purpose.

People often complain about hostile or "anti-human" architecture [1], but those are silly details. The sad tragedy is building the whole city around the needs of cars.

[1] https://en.wikipedia.org/wiki/Hostile_architecture
If you avoid all lock-in, you pay for the optionality with feature velocity. It’s often far cheaper to go all-in, and then migrate down the road if it becomes strategically viable.

To that end, I don’t use things with no equivalent anywhere else (Google’s Cloud Spanner), but I also don’t avoid things like RDS, load balancers, API Gateway, etc.
I don't think being self sustaining is sufficient if you're a web company these days. Shareholders want growth. Execs whose bonuses are indexed on growth want growth. It's always more, more users, more ads, more engagement... Why earn one million when you can earn two? Who cares if you're the new Digg if you could be the new Facebook instead?
So, if something can be done and no one notices it can't be a bad thing?

"I would've gotten away with it if it wasn't for you meddling kids!"
I'm passing this along from Michael Timmons mentioned in the article, a former professor of mine.

"""

Hello everyone (I was quoted in the article). The use of the term 'indoor' is actually not relevant. A RAS can be located indoors or outdoors. The key on the RAS is that the water is recycled (in a loop) that returns 99% of the water to the system instead of discharging the water from the system into a receiving body of water (or sewer system). Placing indoors in a 'cold' environment is beneficial for heat loss control.

HOpe that helps.

MBT (Cornell Univ)

"""
Seems down, here's a mirror: https://web.archive.org/web/20180918143108/https://www.lapha...
>Well, you still get them as part of a routine dental exam.

Yeah and they put a lead vest on you, and leave the fucking room. I actually have my dentist take X-rays less frequently than the "recommended" time frames (once a year is "recommended" I think) because of this.
If someone offers you personally $1B, you take it, and go live the rest of your life comfortably without any worry of ever having to work a day ever again. Do you really think having $3B vs having "only" $1B matters in the grand scheme? I surely would prefer a billion over a potential xBillion. There is more to life than working your ass off. Zuckerberg wanted power, not more money.
> Additionally, Germany is a big train tech exporter

They are, but the article mentions that these particular ones are built by the French TGV-maker Alstom.
There was a Black Mirror episode that is tangentially related, called Arkangel iirc, which censored any scary and not safe for kids content in their vision, installed at an age where the child was probably too young to remember the procedure or a life before having that system installed.
back in the UK I had a 40 minute bike ride to work, along the river and canal. Was perfect distance. Enough to be a decent workout, but not enough to dread how long it would take. Watching nature change through the year - mitigatory birds coming and go, the trees blossoming back to life and shutting down in the autumn / fall was beautiful.

Another major benefit was by the time I got home, the stress of the day was long gone. When I used to drive, the 45 minute journey of being mostly stuck in traffic meant I was more wound up when arrived home than when I left work
I'm confused. Do you really think this outweighs all the other downsides of losing net neutrality?
Was this MinOps? If so, what are you up to now?
CSS Preprocessors with WordPress
How to avoid the most competitive categories on Kindle
Just turned down a job offer over the management's behavior regarding quality of life factors. I consider it a strong tell - if they need to tighten the screws, the neither understand the work nor do their own jobs well.
Meet Sondre Rasch, CEO of Safety Wing
From SPI flash too.

I have a tiny pinout board with a winbond chip hanging off of a bunch of wires from an Orange Pi PC, U-Boot loads from there and network boots FreeBSD. +1 SD card freed! :D
I’ve found most high end hires work this way:

- Person A and person B work together, both are fairly senior

- Person B moves on to a new company. New company is hiring for a senior/lead/staff/director/whatever role. Person B says “we should recruit person A, I’ve worked with them before and they’re great”

- Person A gets recruited for a great position, gets it as long as they do well in the interview

On the flip side, I haven’t seen “experience with specific hot new tech” play much of a role in hiring for senior positions. I’ve conducted around 150 dev interviews, plenty of them for senior+ positions, and we’ve always taken the opinion “let’s just hire a smart, experienced, mature person, who knows what it takes to ship software, and knows how to balance technical priorities with business priorities. Ideally with a glowing referral from someone we trust.” We always assume that someone like this can learn our tech stack fairly quickly. Like at my current workplace we use a lot of Scala, MySQL, Redis, Kafka, K8s and gRPC, but would happily hire someone senior who’s used none of those technologies, but who has used similar enough ones, say Java, any relational db, any key value store, any queue/pub-sub system, VMs and REST.
Also you'd have to agree on how to define "winter" and "summer", just like we now have rules that guarantee that all daylight savings time changes will be on the same date across all US states or EU countries.
Why would choosing the best option be conceived as a problem? Your reply makes no sense.
Where are you from? Where I'm from, schools would be closed during heavy snowfall, so attendance would necessarily drop to zero. That's kind of necessary in a place where snowfall doesn't happen often enough for it to make sense to invest in a whole fleet of snow-clearing vehicles. It would take days to clear the streets from a heavy snowfall, but snowfalls like that happened less than once a year.
The point of this thread is for people to share their anecdotes.
Marketers for cigarettes [1], gogurt, lunchables, cell service, guns, etc. make similar claims. It doesn't make it true. Cars bring convenience, sure. But freedom? Not owning a car, I've never lost sleep worrying that someone was breaking into my car, I pay no car insurance, no gas, no car maintenance, never pay for toll roads, never get road rage, never sit in traffic. I feel significantly more free today than I ever did owning a car.

> One says to me, "I wonder that you do not lay up money; you love to travel; you might take the cars and go to Fitchburg today and see the country." But I am wiser than that. I have learned that the swiftest traveller is he that goes afoot. I say to my friend, Suppose we try who will get there first. The distance is thirty miles; the fare ninety cents. That is almost a day's wages. I remember when wages were sixty cents a day for laborers on this very road. Well, I start now on foot, and get there before night; I have travelled at that rate by the week together. You will in the meanwhile have earned your fare, and arrive there some time tomorrow, or possibly this evening, if you are lucky enough to get a job in season. Instead of going to Fitchburg, you will be working here the greater part of the day. And so, if the railroad reached round the world, I think that I should keep ahead of you.

- Henry David Thoreau in Walden

[1] https://en.wikipedia.org/wiki/Torches_of_Freedom
This is the original concept of object-oriented programming, i.e. don't ask for information, pass a message instead and let the destination object do its job.

Ultimately, this doesn't really work, because it increases coupling. In order to decrease coupling, the functionality that is hidden behind a message should be factored out into another class, and thus we end up with classes that are actually simple conditional functions with embedded arguments.

So, a better strategy would be to simply have functions that accept a number of parameters and do the job we want.

For example, a function that sends a package, like the one in the article, should accept a number of parameters, check upon those parameters and select the appropriate action to perform.

In this case, we wouldn't care about nulls, because they would be handled gracefully by our function, plus we get decoupling and increased reusability for free.
> 95% of Norwegian babies and toddlers sleep outside in their prams

Can you elaborate? I don't understand this sentence at all.
If roads are covered with ice then you should have studded tyres or at least M+S. If even 10% of the cars drove around with the same tyres all year, I'd stay at home too (even if MY car had studded tyres).
It seems like you would want to support RSS, Atom, and ActivityPub to allow both news readers and newer things like Mastodon to work?

Maybe RSS could be dropped? Are there news readers that support RSS but not Atom?
So we are keeping thousands of subreddits cached that then get dynamically composed together to determine an individual users front page? How did we just not create a second database?
You definitely have areas that are not designed for walking at all. I've been in a situation where I could see a shopping mall and restaurants from my hotel across a busy multi-lane road and there was literally no way to get there on foot.

That said, it's not the US vs. everywhere else. For example, the UK has lots of charming little villages where you can walk to the pub and a few stores. Once you get out of the village though, some public footpaths notwithstanding, you're mostly talking very narrow roads with no shoulders, much less sidewalks, and no real way to walk off the road.
Virtme: The kernel developers' best friend
Given it's one of the top 10 websites of the world, I'm sure their corporate overlords opened up their wallets, gave / returned them some stocks, that kinda thing. Pay really isn't or shouldn't be an issue for companies that big.
Indigo now valued $3.5B to build marketplace to de-commoditizes grain
In that case, I present a SDV that never makes a wrong choice - by remaining stationary at any cost ;o)

In other words, there is always a balance between safety and usefulness, and the question of "is this the right choice" is always upon us, whether we want it or not. You can never have certainty anyway, what the software is doing is maximizing on some reward function. The TP also asks "is there even a moral component to this?" It seems there is, from the range of emotions this conjures up.

(btw "do not swerve to avoid unknown objects" has directly caused at least 1 dead person - Elaine Herzberg - so that's a really unfortunate maxim for illustrating your point: the car has also an obligation not to be a danger to others. "We just maintain control and everything else be damned" is easy to explain in court, true: IANAL, but sometimes you need more than a simple explanation to avoid being convicted.)
Definitely more power to you. Every week, I try to trick my body into waking up at 6am (let alone being at the office at the same time), but my biological clock always finds a way to reject attempts at realignment in short order.

On the flip side, being an early bird on an 8-hour schedule is a non-issue with my current employer. In fact, 5:45am-2:15pm was clockwork for a certain graybeard engineer; if you couldn't schedule and conclude your business with him within those hours, you were simply out of luck, and any manager with a clue of who really transforms shit into green leaves in our branch would be seriously hardpressed to upset this balance.
Question for you: how much flexiblity is there in the connection points on these surface mount components? Unlike DIPs seems any heat expansion or mechanical flexing would break the connections.