skysight-inc/HackerNews huggingface dataset:
Being that it’s not rechargeable and cost £60/kWh.. does that make a 60kWh recharge $3600? If so it is a very expensive ‘tank of gas’ equivalent?
Spark. Anatomy of Spark Application
Wondering what's genetic about this experiment.
funny... I literally just downloaded that for Ubuntu today and made my first Go app... I'm actually considering using it for C and Python as well. I typically use Netbeans for C and Pycharm for Python, but both have a ton of features that I don't use, sometimes slowing me down. I like the sleek feel of VS Code and it has been running flawlessly on Linux. Also a big fan of the Abyss theme.
"clue": null
it will be an irrelevant question, but do you think that contributing to an open source is becoming a standard thing now?
I'm surprised it only has a single USB-C port (and possibly then only for charging?). I too am generally annoyed by port proliferation (and appreciate having at least one USB-A port!), but I've already started embracing USB-C for things, so this laptop's setup would be a step back for me.
KVM switches are also a pain point - there are still many VGA-only KVMs which can get pricey to replace. It's probably not a problem for the laptop use case but it is for the home-lab setup.
Not everyone has the opportunity to become an astrophysicist, nor should everyone in the world become an astrophysicist. Many, many people staff the shops, factories, warehouses, mines, construction sites, farms and logistics chains society needs to function. Everyone needs a way to unwind, and finding an escape in a game that is set in an imaginary science fiction future is as valid as watching TV, surfing, or reading. Not every second of a person's life has to be devoted to adding value to the human race - and your definition of value is highly subjective, looking only at economics or scientific discoveries is a very narrow window into the human experience.
No, I’m saying that in those cases you _should_ be using a debugger, because it’s just so much easier and more powerful. My point being, why do so many people have a day to day workflow inferior to what was available for free decades ago to kids making gorillas throw bananas at each other?
Facebook Real-Time Chat Architecture Scaling with Multi-Billion Messages Daily
i own and am an active subscriber for IntelliJ and PyCharm as well, though i'm using it very rarely (basically only if i'm developing a django app) nowadays.

I personally used Hydrogen[1] for your mentioned UseCase.
It even lets you keep objects around, so you don't have to repeat every action just to execute a function with some data. (especially handy if you're consuming web services and want test your parsing rules)

As Hydrogen is backed by the Jupyter Kernel, you can get a similar workflow with vscode and PyCharm... though i have to say that hydrogen unique in its integration. haven't really come across anything even remotely as effective for just trying out code

I hope I'm not discourage you. Your software is a quite neat and kudos for going the Native route instead of Electron!

[1] https://atom.io/packages/hydrogen
To put my oar in, and this is purely based on what I've read about spin, spin can verify 100% for 'small' models. If larger models are checked, it will run out of memory so you put it in a probabilistic mode which gives probabilistic assurances, still 'good' but less than 100%. In that respect I suppose it's degenerated to rather posh fuzzing.

I think the difference between small and large is down to how long you're prepared to let it run, but even more fundamentally, how much memory you can give it.

I'd agree that if the model matches the code and you successfully check the entire state space then it's a proof.
Shouldn't the HTTP 1.1 Host header invalidate that argument?
Mostly useful for projectors. Handy for conferences
Aside of caseness there is another a bit similar problem.

Unicode allows different forms that lead to the same representation for the user.

Gödel.txt may be written as
- G-\u00F6-del.txt where \u00F6 is "Latin Small Letter O with Diaeresis"
or
- G-o\0308-del.txt where \u0308 is "Combining Diaeresis"

From user perspective they are indistinguishable.

Traditional Linux filesystems do not normalize this in any way.
MacOS filesystems normalize it to decomposed form with "Combining Diaeresis" (which is mad).
NTFS does not normalize, but windows apis behave differently - if you create NFC+NFD Gödel.txts under same directory then you will either see both, see one, or even see both, but be able to select only first from system "open file" selector.
Possibly the best of the "Things I won't work with" series: https://blogs.sciencemag.org/pipeline/archives/category/thin...

I particularly like the quote "It is also hypergolic with such things as cloth, wood, and test engineers.." (hypergolic means it ignites spontaneously upon mixing)
> Dijkstra's paper makes the case from first-principles that the closed, open interval of [0,n) for sequences is the most appropriate

He argues that it is the most appropriate when indexing into an array of the natural numbers starting with 0. If the array in question started with 1, one-based indexing would be most appropriate following exactly the same logic!
Two separate definitions:

* Wealth is the measure of ability to buy people's time and scarce resources

* Wealth is the measure of the ability to do things for their own purpose
Reasons for valid NIH:

- you are on your own and don't care about the future maintenance cost of your code

- you want to learn

- the available solutions are objectively crap

Invalid reasons:

- job security

- you're a control freak

- you think all code you write is immediately better than other people's battle tested solutions, aka inflated ego.

- you want to be seen as the maintainer of some prestigious project rather than as the contributor to someone else's prestigious project.
I think it's the flying cars of our generation. Even when we achieve the tech the biggest question will be "why would we use that?" A nice bit of futurism but nothing more.
Add to that the software support issues. So many times the adapter will disconnect/ make weird colors / refuse to set the right resolution etc. Reminds me how many times i lended my thinkpad because “the adapter doesnt work”
sure, no question - but that's out of the standards body control. And even if you don't include your own top-level dir, using a common file name might clash in other dirs too.

Hoping that compilers would not resolve headers via user-specifiable directories sounds absurd to me - every single compiler I know of allows that, not just on unix, so if you want to retire that, that's going to be huge, multi-year effort. No point in considering that hypothetical reality when it comes to meaningful header names unless there is a reasonable likelihood of that happening. Not objecting to such a push; it just sounds wildly out of scope when picking a header file name.
Lift generated in the vertical direction is probably a factor worth considering here as well.

If you are able to build up a significant velocity in horizontal direction, you might in the final moments before landing be able to shift posture to an aerodynamic form which converts your horizontal motion to a force in the positive vertical direction with a drag force in the negative horizontal direction, reducing both your horizontal and vertical velocity for a brief period.

The notion reminds me of how helicopters land in the event of an engine failure, a regime of flight called autorotation. After engine failure the main rotor begins to be driven by the airflow. It is set to maximize drag, impart a horizontal velocity (I think? I am not a helicopter pilot, this is not helicopter landing advice), and primarily maintain rotational inertia -- more like a glider with a spinning wing than a rock falling from the sky as one might assume. In the moments before landing the rotor angle of attack is increased, and the rotational inertia is converted to brief surge of lift allowing the helicopter to touch down practically as normal.

The question becomes, what posture should one assume to maximize lift to drag ratio? It seems like something edge on, with the body in a flying wing formation essentially, could come pretty close to offering enough lift to make survival feasible if you could somehow manage to transition to that orientation through what appear to be aerodynamically unstable configurations which would oppose that. And the side-on orientation does not seem like a good posture for the actual impact, so you'd need to quickly shift back to the "shock absorption" posture and if the flying wing orientation had the intended effect you would not have much airflow to maneuver with so it would presumably have to be something more like a zero-g change of attitude (https://youtu.be/960CsCgI6Jg?t=105).

I'll be sure to give it a try if I ever end up falling out of an airplane and let everyone know how it goes, though.
So if I have mutable array in rust in state A and I start writing state B i to it from the back end in one thread, and reading the state A from the front in another thread - am I guaranteed to read actual state A or will I read a mix of A and B?
Depends on the license. If it's permissive I'll pop open the code to see if it's any good. Maybe 50/50 it's good enough.

From scratch only if I'm doing something truly unique. New algorithm/protocol. Unpopular language I'm forced to use is missing something I need. Existing solutions too slow or buggy. Maybe a couple times a year I get to make wheels.

NIH is a huge problem at most (all?) software companies. At my current place I spend about 1/2 of my time dicking around with crap internal tools and libraries.

It's rare I write anything that's not glue code. Makes everything boring but I don't get paged often and we have relatively few bugs.
Why type into a box on Hacker News when you can have conversations with people face-to-face?

I tried that once. It was awful.
And this is before even considering how much better Smalltalk and Lisp environments where years before _that_.
The book that quote is originally from, Ignition!, is 100% worth a read. Picked up a copy through Amazon a few months ago, and it’s one of the funniest (in a nerdy way) and most interesting books I’ve read in a loooong time.
> I just wonder if it's just escapism, avoiding the challenges of the real world?

It's more "low effort, high reward" compared to RL challenges in general, but games like EVE are not "low effort" at all. Perhaps it's the low physical effort and lack of real risk required that makes them so attractive.
Conclusions are overblown(I guess it wouldn’t get wide appeal otherwise ?), but there is a kernel of truth in that the language at least introduces you to some visions of time you might not have.

From there, not every speaker uses every aspect of any language, people pick and choose the metaphors that makes sense for them, or create and share new ones wholepiece.

It reminds me of how tv broadcast handles late night time, and exposed me as a kid to lenient dates. It actualy had a long lasting impact I think.
It's a kunduz.
As a tangent, I believe the written word have had a great influence on how we pronounce words.
You wait until VR goes mainstream.

How do you wait until never?
Sure I get all that -- my comment was that if someone made an easy to use alternative with OSX on this machine (basically buy it and it works, simple Hackintosh), there's likely a good market for that.

Anecdotally, I'd pay essentially up to what I'd fork out for a Macbook Pro now. It just needs to work, the way Apple stuff works, without any headaches. The problem with Apple machines for me now is that they've done all these silly reductions in features that actively hurt my convenient use of it.

Edit, to clarify, I'm talking about a legit copy of OSX purchased properly, no piracy whatsoever. I just want the creature comforts of OSX on a machine with ports! (and MagSafe too, if possible)
Although it’s confusing as they say it’s £0.08/mile so the bit the exchange must be cheap but something else in there is expensive?
I m big fan of lenovo X series , and they also have docking port
Just learning about immutable/functional approach makes you better developer even in imperative languages. “Share nothing” (in a mutable way) is beautifully simple solution to so many concurrency problems.
The single USB C and not the inclusion of a VGA port is the step back?
“10x engineers”: Stereotypes and research
On the AMIGA and ATARI machines there was something close (not part of the OS though) call AMOS and STOS.

The author of AMOS / STOS is bringing back and he did an interview here.

https://www.youtube.com/watch?v=Hs-QOu8EAWY

He seems to have gone the browser route which I am not keen on though.
You are correct there’s nothing in the core IPv6 spec itself about NAT. However the goal of IPv6 - to make all devices globally reachable - resulted in pretty much everyone not implementing NAT support until way too late in the game. And resulted in related specs required to implement NAT not appearing for years/decade after IPv6 was created.

Linux/Iptables support wasn’t until Linux 3.7 & iptables 1.4.18 [1]. So that’s only from 2013, when IPv4 NAT has been possible for well over a decade before that.

Also to do NAT66 you really need a ULA address space, that wasn’t defined until 2005 [2]. RFC1918 addresses for IPv4 were set in 1996.

The tooling, support code, supporting RFCs, and UIs for doing IPv6 NAT has been neglected. It’s a halfway house.

1. http://tldp.org/HOWTO/Linux+IPv6-HOWTO/ch18s04.html
2. https://tools.ietf.org/html/rfc4193
how much do you typically row?

i feel i cant manage more than 20 min at consistent high effort :(
I know next to nothing about electronics but really enjoyed watching this, seems very well explained.

Can't wait for the second episode where they actually output a signal to the screen!
Also https://write.as seems to be a nice and federated alternative to Medium. Host your own if you don't like the pricing?
> JSON can't pass "None"

What about null?
In the EU there is the concept of ‘database rights’ which protects your investment creating and publishing large datasets. This legislation has nothing to do with site T&Cs.
I have come to the belief that if I enjoy something or get rewarded in a way that I want (learning, money, building something, etc), then whatever I am doing is not a waste of time.

Someone else telling me something is a waste of my time is pretty meaningless to me. And I also try not to tell other people they are wasting their time. I think a better way to convey that idea is to ask (e.g., my 5 y.o. son) "are you getting something out of doing this activity?" And if the answer is "yes", then who am I to judge. And if the answer is "no", then I either leave it at that and let them figure it out, or as in the case with my son, try to guide him towards doing something more productive or rewarding.

To me now, it's a really weird thing for someone to say to someone else you are wasting your time. Your time is only wasted if you think it's wasted.

To be sure, this is different if you're being paid by someone else. If you are doing something and your boss says stop wasting time, then maybe you comply. After all, if someone is paying for your time, then it's really their time, isn't it?
It makes sense if you compare it to how listening sockets work - if I listen on 127.0.0.1:80, I can connect to 127.0.0.1:80. if I listen to 0.0.0.0:80 (all ipv4 addresses), I can connect to 0.0.0.0:80

And as a bonus, I can just 'telnet 0 80' instead of having to type out 127.0.0.1
Swapping out a few hundred kilos of battery is going to require some tools and equipment. That doesn't sound like something you'd do on the side of a road. Building facilities for that would be quite a bit of effort. Probably installing a charging point is a lot less complicated and costly.

Also the logistics of moving tons of batteries around are going to be a bit challenging. The infrastructure for that would also need to be built and unlike charging points there's none of it anywhere. Finally, having a lot of middlemen messing around with batteries adds a lot of cost as well.

Anyway, now that in car batteries are good enough now and on track to get way better still, this seems completely redundant. There are plenty of charging points and EV owners typically install one in their homes as well. None of the infrastructure for swapping batteries exist, no standards for such a thing exists, and fixing that seems to not really solve a problem anyone actually has.
Fair enough. If you are interested I suggest you read:

https://www.amazon.co.uk/You-Are-Not-Gadget-Manifesto/dp/014...

He has a few chapters about problems (rarely mentioned) with GNU / GPL and Stallman himself.
I have a modest Ryzen PC at home, its such a joy to use with a nice keyboard and mouse
I've seen the advice of "contribute to an open source project then throw it on your resume" many times over the years. Usually it's geared towards people with minimal credentials who need something to make their resume look better. Granted this could not be the situation OP is in at all.
The subtitle is worth a mention: it’s a history of the development of liquid rocket fuels (in the USA — written in the early 1970s, it predates the opening up of Soviet rocketry to the west). Written by a chemist specializing in high energy reactions, it’s memorable for such bizarre concepts as the exploration of ozone as a possible oxidizing agent (scary stuff!) and the alarming willingness of the US Navy and Air Force to even think about using Dimethyl Mercury as rocket fuel (hint: it’s pretty much the benchmark for neurotoxins—see also Karen Wetterhahn—and when you burn it the exhaust plume dissolves aluminum structures like, oh, aircraft wings and warship superstructures).
Just spitballing here, but two plates with a significant high voltage charge difference lowered to the level of the insects would seem to fit the bill.
The book seems hard and very pricey to come across.
I know for a fact that certain people have had better luck with Libgen.
And after that you can watch The True Cost.
Still wondering why SciHub is not yet on IPFS or dat://.
Probably a pointless thing to note, but apparently maybe not.

http://www.i18nguy.com/twain.html

>Note 1: The authorship of this piece is in question. Although frequently posted on the internet as authored by Mark Twain, there are some claims that it is authored by M. J. Shields in a letter by him to the Economist. See http://www.ojohaven.com/fun/spelling.html.

And from there..

>I did, however, come across one error: the "Plan for the Improvement of English Spelling" that you attribute to Mark Twain is actually (IIRC) a few paragraphs out of a letter to The Economist, written by one M.J. Shields

A couple other sites mention the same thing but I didn't bother digging any further
> But I thought the point of Modern C++ was to get rid of pointers?

no it's not, it never has been. The point of modern C++ is to get rid of owning pointers.
Could be. Children and young adults go to hospital too and if medical errors are third only to the two biggest killers, which children will not generally suffer from, medical error could plausibly be the biggest killer. More likely it’s trauma from doing stupid things but if medical error is that prevalent it certainly kills plenty of children.
In the past decade I've seen a few hundred resumes for developer candidates and I haven't seen one mention open source contributions yet. A few have had forks of open source projects in their Github accounts but with no indication that they've ever PR'd anything upstream. There could be many differeny reasons for that (geography, programming language, industry, etc) but it certainly seems to indicate its not all that common.
One of the reasons that immutability gets pushed is that it solves concurrency's shared mutable state problem, which is exactly the same problem that borrow checking is meant to solve.
> If the system is working properly, you should mostly be able to accumulate wealth only if you provide value to everyone else. That's the theory anyway.

That is nothing but modern ideology and wishful thinking. The reality is, there is a global competition for resources and providing value to others is only useful when it benefits yourself. Those who claim to have a societal model where everyone can happily accumulate wealth while benefiting others and hurting nobody, know exactly what they are doing.

> I'm similarly skeptical of things like the fashion industry

There's a good example of perceived value vs. objective value. Ask some fashionista why they wouldn't wear the same outfit every day.
Which similarities?

Insects have a much, much simpler nervous system. They don't even have a spinal chord, and they have an exoskeleton.

I think maybe only cnidarians have a simpler (or similarly complex) nervous system.

Pain on a chordate might be comparable to pain in humans, with some exceptions like the Octopus (maybe) but that's about it.
To me Nadal's greatest strength is keeping the ball in play most players are not that consistent so make the error in long rallies and give him the point. Djokovic and Fedrer don't so he has to go for winners against them where when he hits good he beats when he doesn't he looses. In the semi he won the 2nd set when Fedrer started making errors. In 2nd and third Fedrer cut down on his errors and made Nadal go for winners which Nadal wasn't able to.
I haven't been there so I can't compare, but my favourite is in Lithuania where the country has a large nunber of pine forests. After the rain you get a lovely smell of pine in the air. Even on the outskirts of the city and the airport you can smell it, not just far away. I remember once I travelled here from Italy, and just stepping off the plane I though "wow it smells so good".
While that may be the case, this is not how Kafka is used within LI.
Suppose that I want to mention my open-source contributions in my resume. How/where should I mention that?
I believe the following is a common phrase, but when I quit Eve years ago, my friends would always respond to "Where is [me]?" with "Oh, [me] won the game." I always thought that was funny.
"A survey compiled by Trustarc incredibly reveals that only 20% of companies believe they met regulations in time for the deadline.

“There were no hard and fast rules so the biggest challenge was working out how to interpret the guidelines.” explains one small business owner."

That's the problem with the GDPR

Adapting to the infrastructure is expensive for small businesses
> It's simple, valuable work is work that people are willing to pay for with currency that can be used for food/shelter/whatever.

So, "valuable work" is just work with financial benefits? If I save 100 poor people's lives it's worth less than if I drive a millionaire around for $10?
Minasul, la cooperativa brasiliana di caffè Arabica lancia la sua criptovaluta
They also were the futuristic portable computers in "Terminator salvation".
Other people would then throw in tons of extra features like arp replacement, dhcp replacement, new ways to deal with qos, wide use of link local address, etc.

IPv6 isn’t just a few extra bytes in an IP address.
It's still tiny for a laptop, even if a credit card sized laptop based on a rpi would exist. A normal size is 15.6, large is above that and small is below. You can't properly work on a screen smaller than 14" or so, and I'm sure there'll be lots of people that tell me they work on this in the train every day just fine (the logic being "when challenged, we can find many people on HN that are fine squinting at a 7 inch 1366px screen, therefore there is no majority calling this tiny"), but such a laptop's focus is on mobility and travel, not comfortably doing desktop-equivalent work on it. That's why, for a laptop form factor, I'd say it's tiny and not a misleading title.
There used to be a yearly televised national dictation in Holland[1], but they stopped after 2017 because not enough people were watching anymore.

[1]: https://en.wikipedia.org/wiki/Grand_Dictation_of_the_Dutch_L...