skysight-inc/HackerNews huggingface dataset:
>This is really just an example that while safe smart contracts are technically possible using Solidity/EVM, it's practically impossible.

I don't see any justification for this statement. The bug could easily have been discovered if there had been better auditing. That the auditing missed the bug doesn't prove that it's "practically impossible" to write secure code with Solidity.

In any case, nothing is stopping you from porting your formally verifiable language to Ethereum. The EVM is not Solidity. In fact there is already a project underway to create a verifiable programming language for the EVM.
Demolition Derby Cars War
Get ready to cause some DAMAGE! Demolition Derby Cars War is your only chance to go furious with absolutely no rules or limits! It’s all about destruction in this attractive demolition arena. Smash and hit other derby vehicles, obliterating them to pieces! Pick the most stylish derby from different racing cars
Why WeChat fails to expand outside China, but Alibaba succeeds
To answer your first question: no. And as for the second, mostly no, unless you are purchasing a car that only kills or injures yourself when you get into a crash and also the emissions only go into your house and stay there.
India is famous for belly-to-back lines. Google images for "india line"
Lobster used to be used as garden fertiliser and was a mark of poverty eating it.
If people are very badly in need they can not sacrifice the time to rebel. It's somewhat counterintuitively the perceived oppressive poverty combined with an increase in wealth that enables revolutionary activity.
> therapy is more useful than drugs, even if drugs are needed eventually.

Is it your opinion based on... ?
most doctors don't get flu vaccinations unless mandatory, simply because it doesn't make sense. probability of targeting proper virus strain months in advance is very low, and it became too much a business for pharmas.

there are properly good vaccines out there (hep a/b, encephalitis, shots for kids etc) but this ain't one of them.
I'd say say the truth is somewhere in between. There are many people who think math is hard, but they can be taught quite easily with a skillful teacher if they're motivated.
However, there is a group of people who simply can't grasp it. No matter how you explain, they stare blankly at you and say they don't understand. It looks like they know what you mean if you use a simple example "You have 3 apples but want to have 13 apples; how many are you missing", but make it just a bit harder and you get back to square one. It's just a kind of people. They're otherwise nice to get along with, they seem to understand many things about life in general etc., it's just this aspect that is somewhat blocked. I hope one day we discover a safe way to somewhat activate the neurons in the related area of the brain to break this barrier.
Get up-to-date JD Edwards users email list
I'm comparing just storage prices, because I have no idea how Sia works in terms of latency/bandwidth/access. Being distributed, I suppose it will fare worse in most (if not all) these respects compared to Azure/AWS/Google and maybe even glacier.

As for bandwidth cost: I don't believe Sia can be successful and stay that cheap. Why would providers of bandwidth for Sia be able to offer it magnitudes cheaper than the biggest tech companies in the world? Answer: It's offered by a bunch of individuals with no caps on their data plans. If Sia takes off and lots of people start using terabytes of bandwidth, the ISPs will put an end to it.
Even only taking salaries into account, you've got the surgeons and all associated staff in the removal of the tumour. The guys in the lab to cultivate the white blood cells, everyone who needs to fill out paperwork, more surgery, monitoring and check ups.
Then add into that all the costs of running a hospital, proprietary medication, regulatory compliance, cost of all the single disposables.
The costs very quickly add up to a few hundred thousand before anyone's even taken a profit.
Here's another story of someone suffering from mental illness who should seek God as many are now doing and being healed. I speak as a converted atheist, hedge fund employee, and contract software developer. Visit a baptist church.

"Come unto me, all ye that labour and are heavy laden, and I will give you rest."
How much would it matter if you used this as one source of entropy for your rng?
It's rampant in India. People just ignore you and step in front. They will then pointedly ignore you.

Once in Bangalore airport I brought it to the attention of a guy who just did it, and he said "do you know where you are? You're in India, man."

I love India, but this one aspect is frustrating sometimes. (Along with the mini war that happens when boarding/disembarking local trains)
> 99 out of 100 questions.

Curious question of a non-native speaker: What does this phrase mean? (in general, and in this context)
I don't think growing staples within cities will be economically viable within our lifetimes. As a general rule, agricultural land use orders itself around it's markets according to transportation. The more delicate the produce, the closer the producers must be to a city. There's even a (very simple, it's from the 19th century) model for this, which is the Von Thünen's model of land use.

I wish I had some actual data easy at hand to show you, but this is more or less observable from history. Until active refrigeration, spoilage losses associated with the more delicate agricultural products pretty much put them outside of the reach of the majority of urban dwellers. If you wanted any sort of fresh dairy, fresh meat, fresh vegetables or fresh fruit in say, the early 19th century, you'd better live on a farm. So whereas a farmer might have had fresh milk, a city worker would have cheese, and instead of fresh meat, cured meat, and so on.

But anyway, in short of the whole world becoming one huge city, it's unlikely that staples would ever be grown inside them.
Let's assume the segwit2x is being activated, how long long will it take to start trading again?
I use an app called "Good Fish Guide" to show me how sustainable the fish I buy is.

Alaskan pollock gets the second best rating.

http://www.goodfishguide.org/fish/28/Pollock,%20Alaska,%20Wa...
> But in reality, many people don't have dreams or the motivation to pursue them and end up as drug addicts/alcoholics/gangsters

You seem to be suggesting that one can't simultaneously have a job and dreams and be an alcoholic/drug addict/gangster. This is sloppy logic

Edit: Your perspective also explains why society hasn't addressed alcoholism and drug addiction for so long: to you, the alcoholics and addicts are an entirely separate group from upright, hardworking, motivated, dream-pursuing "normal" people.
A car, howsoever unsafe, is still an upgrade from a 2-wheeler.

Given that this car is targeting people who own 2-wheelers and want to upgrade, I'd still say it is a safer option
Not the OP but Feeling Good states that people responded to CBT as good or better than drugs, though, both at once were more effective again.

They could also be thinking of Anatomy of an Epidemic where long term results of people on drugs are worse than those off. Specifically that there's never been such a finding for CBT having a long term negative impact.

(Disclaimer: I'm not a medical specialist just a sufferer and reader)
11 Course Creation Tools We Can’t Live Without One of Them Is Renderforest
The mistake here is not just making a choice but instead having people pick at random. Hardly pythons fault, every programming language has multiple incompatible versions.
Public research is rather different from launching a company. It's not exactly the same hassle nor honors. There's some difference between understanding the world and selling stuff. Research rarely has products in mind, at least it's not its primary goal, unlike companies. They also don't have clients, which is a central thing for companies (and not the most enjoyable one).

And guess the reason why many researchers end up in private companies ?

Thanks for the insult, I thought this community was supposed to be mature.
> For one thing, choosing writing as a way of making a living can nurture insecurity and doubt—especially for those, like myself, who are early in their careers. For me, at least, publishing a story is like handing in an exam essay, an invitation for strict judgment by both the intended audience and my peers.

I think people in tech tend to underappreciate the benefits of being able to just do the job and enjoy a (comparatively) lesser-stressful life with enviable benefits. Programming is creative endeavour too, but, no one is asked to build a product that succeeds in the market; that's the job of management.

Being a writer, or a musician, on the other hand, entails a perennial anxiety over the success of whatever you're doing. How will you ever know if your next thing will be liked or not? How will you know if you should continue working on your project when it starts to feel like an incoherent mess?

I have moments of self-doubt too but I am confident that I won't suddenly cease to be a decent programmer who gets things done. For many creative people who do it full time, it means fighting the monster every day.
A few things that make it less good value:

- Its not new tech, its greenhouses with indoor lighting

- Its an enclosed large monoculture of plants, which means you are prone to pest and fungus. [see note]

- It has a very large electricity demand (heat and electricity)

- It is labour intensive.

[note]

growing plants in the city is difficult, mainly because the food triangle is so distorted. In central london there are loads of aphids from the lime trees, and lots of powder mildew.

Now considering these setups are aimed at green leafy rapid growth plants, you're going to be spending lots of importing ladybirds. (not much you can do about powder mildew though)
Small providers pay the most for traffic to their ISPs, because they get smaller volume discounts. What Google/AWS/Azure charge is a different topic entirely, they themselves pay much less.
Designing the Perfect Slider
So to super-simplify it. Who wins with this assumed scenario, the scale on chain/big blockers or the off chain/blockstream faction?
Bait and Switch: How Apple Created Nintendo’s Best Console
Stop Using Resets: Examples of the Practical Nonsense of Resets and Normalizers
>I wouldn't call what the_donald is doing free speech

What would you call it?

The reason the posts hit front page is because people keep voting them up. You can disagree by downvoting. While they could very well be banning people who express opposite opinions so are plenty of other ideologically driven subreddits. You can join one of the dozen opposing subreddits for discussion about the topic(s) in hand. I still see no reason to take away their platform.

I do not subscribe to their opinions completely, but I can also see merit in some of the opinions from that camp just as I can see the flaws. Same goes for more left leaning opinions. Bad thing is that everyone gets so emotional and rallied over their own opinions they completely refuse to listen to the other side and budge even an inch. This just creates bunch of echo chambers on either side where no real discussion can be had.
I don't know where the complaints about "tiny, barely noticeable bits of food" is coming from (other than ignorance) -- every high end restaurant I've been to, including those with tasting menus with many portions, has always left me very full (and it's not like I get full easily). The sum total of food across all the courses is a large volume, even ignoring the fact that the food is a lot richer/heavier than typical meals.
Dear Mozilla team, I for a change think Chrome is better browser than Firefox.

I am not talking about the performance of JavaScript, compliance with standards or developer tools, no, I am talking about Firefox's outdated UI and inconsistent user experience. Chrome is slick and fast while FF often lags, wastes space in the tabs and address bar and confuses me with additional search bar.
This article is selling a narrative that you want to hear with a huge dollop of confirmation bias as andy_ppp points out. It's not very likely that you or your family are that 0.01%[1], but it is very likely that you think you are exceptional.

(I wish you all and your family all the best, but one needs to be very careful around this kind of narrativium.)

[1] Made up number, obviously.
Beginner’s guide to build data visualisations on the web with D3.js
I like it. Though I don't think that's the answer I would give. From my experience, I wanted to start a startup because it was like god himself gave me a mission. And I couldn't turn away from that responsibility. I fucking deeply cared about what I was gonna do. It was so much more important than everything else for me. I was freaking Frodo bringing the ring to mordor.

So yeah, everything he said, plus the quest.
Fixing the language is one step. It will still not prevent hax0rs from targeting the bytecode of the VM itself.
Now who the hell gave them any money for that?
The reverse-engineered open source gma500 driver included in Linux works very well for basic stuff but lacks features such as H.264 decoding and 3D acceleration.

The old Intel drivers can be patched to run on newer kernels, you also need to run an old version of X.org.
50 Awesome Startup Business Ideas That Have Earned Millions and Billions
This is called mystery meat navigation and it's always, always a terrible idea.
Toyota creates a new side airbag for all of its production
> [...] in supermarkets in Europe they are required by law to put the "€/liter" price in small on the side, so you can compare easily.

Yeah, and then you get aggregate price in "€/package", except that packages
are of different size.
You can also just write bytecode directly. It's a simple stack machine, and contracts should be as simple as possible.
Group psychology vs egregore psychology. The difference is whether you are paying attention to individual desires in aggregate, or whether you are attributing desires to the collective entity that no single individual has.
Longer video in this tweet: https://twitter.com/jgrahamc/status/887292311302004738

Example output: https://twitter.com/jgrahamc/status/887004345191079936
Since indoor farming is best for low caloric leafy greens, I assumed the long term strategy of these companies was based on the legalization or decriminalization of marijuana. As in, grow leafy veggies or tomatoes in vertical, urban farms for now to work out the logistical and scale issues, then switch to substantially higher value crop as the political situation changes.

Given the new administration in the US and the Attorney General's push on marijuana, if this was the endgame of these start ups, it will be a bumpy ride.
This is because running code on Ethereum VM and storing data is hugely expensive (rightly so, as it's being done on all nodes in the world). Therefore Solidity will try to compile into a VM code that uses the least numbers of cheapest instructions and pack data into as small memory package as possible.
/dev/random seeding on bootup from NIST will be implemented in systemd in 3..2..1..
That's really fun.
> It's correlated but the following analysis assumes at least partly that being a writer is one possible factor for depression.

And why shouldn't it be a possible factor? Correlation doesn't tell that it has to be a factor but neither the opposite.
...and probably the computer will hang for ten minutes if the NIST server is not reachable...
If you already have good entropy source to mix with, how would NIST data help you? And if by CSPRNG you mean /dev/urandom, that is being used in crypto, too.
On the parity website they state the following

> Every single line in our codebase is fully reviewed by at least one expert developer (and routinely two or more) before being placed in the main repository. We strive for excellence; static code checking is used on every compile to cut out bad idioms. Style is enforced before any alteration may be made to the main repository. Continuous integration guarantees our codebase always compiles and tests always pass.
Nice idea, but it breaks quite quickly (still). Tried to see if Cosette can prove equivalence of these two queries:

/* define schema s1,
here s1 can contain any number of attributes,
but it has to at least contain integer attributes
x and y */
schema s1(x:int, ya:int, ??);

schema s2(yb:int, ??); -- define schema s2

table a(s1); -- define table a using schema s1
table b(s2); -- define table b using schema s1

query q1 -- define query q1 on tables a and b
`select distinct x.x as ax from a x, b y
where x.ya = y.yb`;

query q2 -- define query q2 likewise
`select x.x as ax from a x, a y, b z
where x.x = y.x and x.ya = z.yb
union select 1 as ax from a x where 1 = 0`;

verify q1 q2; -- does q1 equal to q2?

Got a syntax error:

Syntax Error.
ERROR: (line 19, column 8):
unexpected "s"
expecting "--" or "/*"

There are many other bugs up to the point where this is not really usable.
15 People to Follow in Design and Technology
How do I run this code? I thikn I succesfully installed the package with npm. There were some warnings but no error. But how do I run:

> const RiggedDie = require('gamblers-dice')

> const die = new RiggedDie(20) // for a d20

> console.log(die.roll()) // 1 -> 20

> console.log(die.roll()) // keep using the same instance

Do I put it in a file?
Do I copy paste it into a REPL? If so what provides that REPL?

I am always surprised when sample code providers assume I know their languages ecosystem.

UPDATE: Apparently I can use "node" as a REPL for this.
Anyone who knows the time you retrieved the seed can determine what the seed was.
> Well, that's exactly kind of people you to attract to write your security-sensitive code.

Unsurprisingly, Tezos is actually written by OCaml people who seem to value the correctness of the contract language.
This cannot be stressed enough. Well said.
This is indeed true, but your family might suffer from what you're ready to give away when they are not. This is what I experience right now and it's not always easy.
Thanks, but your message has a bit of an assumption. I'm not graphics pro, but had my ways through VGA 320x200x256 colors in 0xA0000, then a bit of 3Dfx, some OpenGL 1.1, and DX3 then quickly DX5, a bit of DreamCast (but very shy), etc.

No, I'm bit familiar with OpenGL, again not at the level of graphics-pros, more like overall knowledge, and my DX knowledge goes pretty much to DX8 or DX9, but instead of learning DX11 or 12, I think Vulkan might be a better choice.

I've returned my company laptop week ago, as I left it, and now I'm stuck with my chromebook + crouton, looks like Vulkan is good there (almost).

I certainly don't want to get stuck in Metal.
KIP: A Measured Approach to IPv6 Address Anonymization
JavaScript tools for end-to-end testing web applications
I agree.

If the situation goes bad, you can always find a new job, but there's a big opportunity for you to step up and try to do something new that isn't coding.

When the house falls down, you leave. But while it's up and running, you stay there and try to keep it up.
Intel also has C/C++ compilers which probably share optimizers and backend code generators with their Fortran compiler and shouldn't be worse. Ditto for 3rd party commercial vendors like PGI.

And, BTW, I have seen a case where PGI vastly outperformed GCC on the same code. So compilers matter.
Predictable, but not necessarily inexcusable. What is gained and learned in attempting more complex smart contracts sooner rather than later when all the building blocks for absolutely secure smart contracts are built can certainly justify the approach.
New NetSpot 2.2 for Windows
Have had it a couple of times. It's only a problem if you don't get any medication to get rid of it. It doesn't go away on its own easily. Otherwise its like a flu..

You would have to stay ill for weeks for it to start becoming life threatening. Keep in mind the immune system can't easily fight it on its own so its not like the flu in certain ways. Having 'semi immunity' only means you don't get it as bad as it can be, but you still get ill.
Yes it would be, it is very easy to retarget the CPU to another memory bus.

Then the Wishbone one isn't "perfect" as it can't map memories which have latencies without performance penality. It would be oky for the data bus of the cpu with or without cache, but for the instruction, without instruction cache, peak CPI would be divided by the memory latency.
It isn't that simple yet.

SegWit2X, which is about to activate is a compromise that gives both Segwit (improving off-chain) and a slight increase.

There is however uncertainty among big blockers about the increase as it is three months later, so it could still fail resulting in SegWit only.

The Bitcoin Cash (ABC) fork is addressing this by forking non-SegWit and bigger blocks, though its support is rather uncertain at this point.
About fifteen years back I wrote a shell script which runs in the background and which is supposed to send an email to the administrator with the log file , every time it ends up with error. The trouble was, it was an infinite loop( being a background process!) and there was some error .I forgot to tell the code to end , in case there was an error.Very dutifully, the program clogged up the company mail server completely with thousands of mails with error logs over the weekend ,no emails coming or going out and one very angry administrator.
The happiness algorithm
If you have 1M bad programmers 1% will make terrible libraries. In 10-20 years at least a few of those you'll be forced to port to some other shitty library made by that 1%. I'm doing this right now...
So the definition of "LISP" matters. Your definition of LISP seems to be the actual implementation, such as LISP 1. But as many historians say, LISP was invented in 1958, which the implementation did not even exist. From this fact, LISP does not only mean the actual implementation, but also the idea and the idea is written in the 1960 paper, which represents a pure LISP. The idea is the most important thing of LISP and that is why McCarthy is called the Father of LISP and Steve Russell is not. To further say, there may not exist a pure implementation of LISP in 1960, but there exists the idea of pure LISP in those days that is shown in the 1960 paper.
> Which IMHO, having your application _LOOK_ different depending on hardware acceleration capabilities is sorta stupid.

Which is one of the reasons I transitioned from liking Web back into loving native development (there are plenty of other reasons though).

Doing discussions with customers about pixel differences across browsers, specially if it is the same browser on different OSes, is anything but fun.

That and the request for features and behaviors only possible in native UIs.
Segwit2x is a compromise that gives the Blockstream faction what they want (Segwit), but ties it to a small (2x) block size increase. So they both win some and lose some.

However, the twist is that Blockstream gets Segwit first, while the 2x block size increase is 3 months away. During that time I expect Blockstream to be screaming to everyone that will listen to try to stop the block size increase from actually happening. They will likely not be successful but it will sadly continue to be a contentious issue until at least the end of October.