skysight-inc/HackerNews huggingface dataset:
One of the cool things about Rust is that it's compatible with C. You can rewrite individual C functions in Rust, compile both halves of the program and link them together into your executable. This lets you incrementally move from a pure-C program to a hybrid, to a pure-Rust program over time.

Also, 90+% of Emacs is written in Lisp which doesn't need to be ported at all.

I just built it, and it's fully functional. It'll be a perfect replacement for Emacs at every stage of the port, which is really cool.
It depends on region, some are 20 cents, national average is 13.7 according to https://www.bls.gov/regions/new-york-new-jersey/news-release...
A $5k check will give a super-early-stage "startup" (two or three college kids) with no salaries and about $1000/month burn rate ("living expenses" in the right market outside of SV) about four months of runway. You'd have to approach at a sufficiently early stage (like so: http://velocity.uwaterloo.ca/funding/velocity-fund/).
Sorry noob question, but if you don't pay for power at your apartment could you run a rig for just the cap x to get started?
I do the same thing, with Overcast.
What makes you say there's a floor?
The article is better in that it has no Robert Krulwich.
But what that FAQ does not answer is: "Does the additional patent grant in the Facebook BSD+Patents license terminate if I sue Facebook because they violated one of my patents unrelated to the Facebook software?"

The answer to that one is, unfortunately, yes.
Yes, but this is how you get evicted.
2 cents is an abnormality. Europeans pay around 20 cents per kwh on average.
Anyone calling a bubble in tech who isn't actively shorting SVB's stock is full of crap.
> That’s what everyone says but how many 100x’s are there really? I’ve been doing this a long time and there just aren’t that many.

> I don’t have the same pressures of a fund in liquidity, timing or the need for 100x returns. If I can consistently get 5x to 10x I’d take that all day long.

How many investors, angels, VCs or otherwise, focus on the 5x-10x return deals?

And are 5x-10x deals safer, meaning that more of a sure thing, than the 100x deals in terms of return? I.e. are VCs being rational by focusing on the 100x deals since 5x-10x deals aren't safer, or are they forgoing safer and better returns of the 5x-10x for the chance to become movers and shakers of the largest players?
I've heard the phrase "keep me updated" before ;) Perhaps they don't want to give honest feedback in case they later turn out to be wrong and want in?
90th!? I don't go above 23rd, pretty sure 90th is like the Canadian border.*

* Kidding, but there are people like this.
Ask HN: What tasks or processes does your company outsource?
Context around function (sales vs. engineering), timeline (project-based vs. ongoing), cost, etc. would be ideal.
>It would be great to have another interpreter written in Rust that reads the same Lisp files.

Agree, but then we would have a new case of Greenspun's 10th rule.
Sounds like xkcd 927 ...
Been using IPv6 only addresses for my company internal use websites for years now.

Road warriors get on via our ipv6 only openvpn servers. Works like a charm.
I have tried PyPy once and it gives huge speed up. I am not sure how it works with Pandas/Numpy. I have also tried Numba JIT. Eeasy to use, but in my experince it saves just up to 10% of time.
There is also Cython (https://pandas.pydata.org/pandas-docs/stable/enhancingperf.h...) and it definitely works with Pandas. Have not tried yet.
Update on the Department of Labor Lawsuit
All conversations.

In the case of f2f (face to face) I just let my phone run me like a peripheral.
Chamath Palihapitiya says you should keep 1% of your net assets in Cryptocurrencies.
Just to look at, here are the actual machine proofs from running our verifier theory through the Boyer-Moore prover.[1] AI, the early years, at work. Here's one proof, for commutativity of TIMES for the natural numbers.

(PROVE-LEMMA COMMUTATIVITY-OF-TIMES (REWRITE) (EQUAL (TIMES X Y) (TIMES Y X)))

Give the conjecture the name *1.

We will appeal to induction. Two inductions are suggested by terms in
the conjecture, both of which are flawed. We limit our consideration to the
two suggested by the largest number of nonprimitive recursive functions in the
conjecture. Since both of these are equally likely, we will choose
arbitrarily. We will induct according to the following scheme:
(AND (IMPLIES (ZEROP X) (p X Y))
(IMPLIES (AND (NOT (ZEROP X)) (p (SUB1 X) Y))
(p X Y))).
Linear arithmetic, the lemma COUNT-NUMBERP, and the definition of ZEROP inform
us that the measure (COUNT X) decreases according to the well-founded relation
LESSP in each induction step of the scheme. The above induction scheme
produces the following two new conjectures:

Case 2. (IMPLIES (ZEROP X)
(EQUAL (TIMES X Y) (TIMES Y X))).

This simplifies, applying TIMES-ZERO and TIMES-NON-NUMBERP, and opening up
the functions ZEROP, EQUAL, and TIMES, to:

T.

Case 1. (IMPLIES (AND (NOT (ZEROP X))
(EQUAL (TIMES (SUB1 X) Y)
(TIMES Y (SUB1 X))))
(EQUAL (TIMES X Y) (TIMES Y X))),

which simplifies, unfolding the functions ZEROP and TIMES, to:

(IMPLIES (AND (NOT (EQUAL X 0))
(NUMBERP X)
(EQUAL (TIMES (SUB1 X) Y)
(TIMES Y (SUB1 X))))
(EQUAL (PLUS Y (TIMES Y (SUB1 X)))
(TIMES Y X))).

Appealing to the lemma SUB1-ELIM, we now replace X by (ADD1 Z) to eliminate
(SUB1 X). We employ the type restriction lemma noted when SUB1 was
introduced to constrain the new variable. We must thus prove:

(IMPLIES (AND (NUMBERP Z)
(NOT (EQUAL (ADD1 Z) 0))
(EQUAL (TIMES Z Y) (TIMES Y Z)))
(EQUAL (PLUS Y (TIMES Y Z))
(TIMES Y (ADD1 Z)))).

However this further simplifies, applying the lemma TIMES-ADD1, to:

T.

That finishes the proof of *1. Q.E.D.

Boyer and Moore were trying really hard to make the results understandable to traditional mathematicians.

[1] https://github.com/John-Nagle/pasv/blob/master/src/work/temp...
I admit that the times I want to play podcasts over my iMac speakers, I use Rogue Amoeba's "Airfoil Satellite" running on the Mac so I can airplay to it. Obviously this is a macOS/iOS-specific solution, but it works well enough.

Having said that, in practice I tend to just play podcasts over a Bluetooth speaker (a JBL Flip for years, but as of yesterday a Bose SoundLink Mini II, as the Flip's battery life is down to well under an hour and it was time for a replacement/upgrade).
Attach a stick with a powerful magnet to the top of a rocket. The magnet will pull the rocket up. Boom, infinite space travel hack unlocked.
> This is more exciting than this title suggests

If you are excited by that title I have an exciting opportunity I would like to discuss with you.
> I got pretty far in math (ms in cs with half of the classes being legit math classes) I never got the obsession either.

Relative to the average Joe on the street you may have gotten "pretty far" in mathematics, but not relative to math majors. I'd expect undergrads to destroy you. And certainly nowhere near the prodigies of mathematics like Gauss or Euler.

Since you got pretty far in mathematics, you must know of https://en.wikipedia.org/wiki/Euler%27s_identity

e^(ipi)+1=0

The fact that this one equation relates some of the fundamental constants is pretty profound, and some would say, beautiful. The fact that a human like you or me came up with this true assertion is also, beautiful. Have you heard of Srinivasa Ramanujan?
So... there's absolutely no proof of what this article says, other than the existence of Fuchsia? Whose purpose we don't even know yet.....
If wishes were horses, beggars would ride.
Why is Sam's post flagged?
Well, now I can use CockroachDB, so that's nice. :)
Good to know. If it's more of a technical exploration of implementation, i would prefer you lead with that. This, as the end result of a series of blog posts, would make a lot more sense to me.

But it, in itself, has some glaring product design and marketing issues. In that - it's an afterthought. Which, given that this was a learning experiment, is more palatable for me, than as a service I'm actually expected to signup for and use.

Regarding the current try before signup behavior: i'm not actually trying the app before signing up, when i fill in a form. I'm, filling in a form and then being forced to signup after. Instead, it would be better for users to explore an existing (demo) account's data and tinker with entering results and exploring charts, and then decide to signup if it's good.

If this was a food delivery service, where an account signup could impede potential users from using and where it may not even be required, this approach would make more sense - just let them start using right away. But because it is a collection of data, you would be better off showcasing dummy data.
First you need data 20 years will do and then you start back testing every trading system you can find with the main focus on limiting losses when you figure this part out you just need to find a slight edge in the market and the compounding will make you rich in the comming years...
ok why does the URL change after it's loaded in such a way that I can't reload, it seems like it cuts off the last part of the path
> So you claim that Ansible learns the state of the system through some magic that is not possible to be called from shell?

I never claimed that.

> Because I could do pretty much the same in a shell script just fine.

So could I. But I didn't have to. Because Ansible does it for me. So right there, just by comparing my declarative configuration with the current system state, it's clearly adding more value than "shell script executer".

> There are many big companies that throw money at dumb processes only to make them running

You said it can't scale. You're now moving the goalposts to "well, it can scale, but it takes more money".

> You should have asked a sysadmin

Fortunately I didn't ask this sysadmin because you keep confusing your own requirements with mine. I was never looking for a product that is best of class but takes weeks or months to learn. I've already made it dead clear several times that my most important requirement was "easy and quick to learn". Ansible is the best product of those I tried when that's the primary requirement.

> You see, precisely this is the issue here.

The only issue here is that you can't accept that Ansible was the best fit for my requirements.

> For some strange reason, programmers tend to avoid tools available to sysadmins, which is a quite big blind spot

Some programmers have enough common sense to not spend months learning a tool to automate a few hours of work that happens a few times a year. I asked my friend which would be the quickest to learn, he said Ansible, I wasn't hot on it because Chef and Puppet were more popular, so I tried learning Chef and Puppet and when I realized how long that was going to take I tried Ansible. Within a few hours I had everything automated with Ansible. It was hands-down the best solution based on my requirements. So I do agree there is quite a big blind spot here. But I wouldn't say it's on my side, or the friend who's advice turned out to be spot on. ;-)
aside from central park and a few museums there's little to do above 23rd ;)
Java can be performant, but still typically has a huge footprint and memory profile. Others will point out that there are multiple implementations of Java, which is true, but to what adoption? IMO, the only thing propping up Java is legacy enterprise and Android. The adoption of Go, Rust, et al show that people just aren't that into VMs anymore. They had a place in the self hosted world, but in the microservice/cloud world, it's a -lot- of overhead. The same is true in smartphones...we have a huge memory use problem in Android. It may be 'performant', but it's still a resource dog.
Benchmark Capital has a pretty small number of bets, and a pretty high hit rate, from my perspective. They certainly seem better at picking than most.

Though I'd say a lot of that is of course positive selection - the best founders self-select to Benchmark/Sequoia/A16Z, and to Greylock/Accel.
My rule of thumb is to never install anything into system Python by pip, etc. If it's not an OS package, it belongs to a virtualenv.
I started the hobbes project at MS and am happy to answer any questions that folks have about it!
It depreciates to a point. An i7 2600 depreciated about half its value when the next generation came out, but 5 years later it still sells used for 40% of its MSRP. The era of older chips being downright worthless passed circa anything since ~2006.

The start of that era for GPUs was much more recent because they matured much more into recent times, but I would easily say anything from the AMD 4000 series or the Nvidia 400 series and up has held value long term.

There is also some "classic" rebound for parts once they drop off the retail market. If a specific component in a system from 2012 dies, be it the motherboard; processor; or ram, the supply of replacement parts will gradually dwindle over time as old hardware breaks down. It makes what you have all the more valuable.

I still have a near-complete Nehalem desktop with the original i7 920, which has a used retail price of around $30 (it depreciated a lot more than the aforementioned i7 2600k because there were still substantial IPC improvements between their generations) but my x58 deluxe motherboard can still be sold used for about $150-200. It has had a depreciation in 9 years of only about 30% from what I paid for it. Meanwhile the ram is almost worthless, mostly because DDR3 is still available in retail.

This is also why its usually recommended to either buy new or buy the immediate last generation hardware on the cheap. Anything older becomes a scarce resource for repair purposes and can maintain value as such.
As one poster here said, "Makes sense. Rust is systems language and emacs is an OS replacement."

If anything, it could be great if Rust is used to implement a faster Emacs Lisp compiler/interpreter, thus preserving all of Emacs Lisp source (and saving some implementation time.)

And make it fully multitasking so there are no more problems of key input getting stuck because of a process.
And I can attest to learning this lesson personally in 2012.
I look forward to when in the future some automated system knows what everyone is doing in the upcoming week/month/yr and automatically shows them "things I wish" style things relevant to them.
The max blocksize is a code constant, so it requires upgrading software on a lot of machines to a version with the fix, which is incompatible with older versions. Called a "hard fork", meaning a fork in the blockchain - because older software would see those new larger blocks as invalid.

The blocksize has been increased in the past, without major upheaval. There is some risk, but staying with outdated software forever also has its own risk.

We should make the single hardfork count - eg. an agreed schedule to increase blocksize over time to keep pace with moores law was proposed as a way to avoid future recurring hardforks.

I think the issue is to manage the risk well - telegraph and explain the roadmap so there is certainty for all parties. Gain consensus, but understand perfect consensus is impossible.
You can check my older posts for books I have recommended to get you started
What motivated you to start building your own language? Did you use much kdb/q before?

How did you manage to get this open sourced?
I read a lot of articles by saving them to Pocket and reading via my ereader. I wrote a little PHP browser based application that interfaces with the Pocket and hn.algolia.com APIs that helps me to follow up on articles in related forums such as Hacker News and track my reading habits.

Naturally I called it Pocket Lint.
Isn't it only the 4GB RX cards that will get worse for mining? Or is it that the GPU memory bandwidth is less on AMD cards?
Increasing shareholder value does not make me happy or unhappy, for what it's worth.
lol, sorry, but how long until your landlord contacted you? What was the conversation like? I'd would have said, sorry running servers for my internet business.
> The adoption of Go, Rust, et al show that people just aren't that into VMs anymore.

Or, you can also say that the adoption of LLVM compilers, Javascript/Node, Python, and Ruby, show that people are more into VMs than ever.
Bitcoin Takes Weekend Slide
Both are good points, but I think it's always good to remember the humans behind work, even if you don't think it's useful work. It's perfectly reasonable to be unconvinced of the value of a project, but that doesn't mean one needs to be entirely "stop energy" (to take a nice phrasing from a now dead comment).

Fortunately, your top level comment was taken in good faith by one of the contributors, but this won't always happen (and, especially in a space like editors, where everyone uses them and many people have unreasonably strong opinions, so people doing "unconventional" things may have a history of feeling attacked for their hobby) but not phrasing a comment as uncompromising criticism can encourage productive discussion (instead of randoms like me bringing up non-technical things like this whole subthread).
Maybe this is an incredibly uneducated comment, but won't they have to buy those GPUs back when the price of ETH inevitability goes up again? This is all just FUD from August 1st, ICO instability, and lack of Ethereum use cases. All of these issues have resolutions planned. So one would be stupid to think Ethereum stays at $150 for even a year.
Android is slow? that's news to me. Been using Android for years.
Messaging App Telegram to Boost Efforts to Remove Terror-Linked Content
Thanks, I do have it in the queue to make more targeted examples. I realize that what's there is a little scattershot and each of the use-cases mentioned could use a lot more detail.

For example, inside MS we have these reactive hobbes processes that watch log data and incrementally build B-trees to deliver future query responses very quickly. I hope to put some examples like that up in the coming weeks.
Sorry to tell you, but the general rule that adding road capacity doesn't reduce congestion (due to induced demand) will be true of any future Bay crossings.
On the bright side, this has been a great test of etheriums scalability. Which isn't great, but when this mining craze dies down I won't hesitate to run ethminer when I'm not home for a little extra dough.

What I would really expect is an overreaction to the price crash, which means the difficulty rate might drop a lot. At this point, doing what a lot of people do with bitcoin - mining small amounts for a long period of time and just holding it until it reaches all time highs to cash out - is probably really easy money.

Probably most relevantly is how crypto valuations are bound together. Bitcoin is also down about 20% from its ATH, and will certainly drop more as long as eth pulls it down. The entire market will rise and fall on the hype of just one blockchain. Coins nobody even cared about like peercoin saw 5x returns on miners during this eth bubble.
> We objectively know in many cases medicine and health care that is better for them. Full stop.

Except many of the indigenous people die because of diseases brought by modern man. Look up Andamanese.

> the land those people occupy represents a large earning for the other impoverished people in the country

Will you be happy if your home was destroyed to help the poor people of your country?
> > much more so than K or Q.

> For most people that is not very high bar.

hehehe
You could just not do power cleans. I still think SS is a great read, it can be a bit technical with all the biomechanic stuff but I found it very useful for learning more about form and stuff.
Library book renewals. I have an AWS Lambda function that runs daily, scrapes html from my public library (they have no API), and if a book is due within the next day, renews it. If I've reached max renewals, it sends me a notification.
LLVM is not a vm, despite its name. Node is popular mainly because frontend people want to do backend work. Python is python, it's been around forever and is available. It's also unmatched in scientific realms. Ruby seems falling out of favor.
Yes that's a good point, I do hope to build out more targeted documentation and example programs over the coming weeks.
Wrote a program that tracks Australian movie release dates for movies I'm interested in. Sends a daily email if a release date moves, or there a new movies for me to flag my interest in.

Interfaces with themoviedb.org for plot summary, cast and crew info and such. Interfaces with Google Calendar for writing entries for each movie I'm tracking.
I'd like to know this as well. I know most array languages coupled with a DB aren't as fast as a language with a JIT, but the code is quite expressive. If Kdb+ can ever easily be run on an FPGA or GPU cluster...that would be something.
Ask HN: What do you spend money on that greatly increases your quality of life
What do you spend your money on that greatly increases your quality of life? Is it books, good coffee, Uber/Lyft, massages, gym memberships, vacations, etc?
I think miners acting in their self interest would realize that a much larger number of transactions with smaller fees would result in a larger total fees profit per block solve.

Almost all of their resources would be the same - the vast majority of their electricity bill is spent solving the block hash compute problem, the resources to actually process the transactions and send them are small compared to that.

The basic logic holds, that you cant make money if nobody uses Bitcoin.
Was the table at the bottom of the page somehow insufficient? jcs managed to present all the same information, with more detail in fact, in an easily parsed format, so I'm not sure what contribution the comment really adds.
Mageia 5 was a little rough, hope this is better
Getting VC funding does not mean you are a success. Most VC funded companies fail. To have a real business, to be a real entrepreneur (not just a power point sales guy), you actually need to make sure income > cost and you need to actually grow the business. Not just fund growth with VC money until it runs out.
> people just aren't that into VMs anymore

Bytecode can be translated quite well to native code. So I'm wondering if this isn't about "VMs versus native" as much as it is about "garbage collected versus unmanaged memory".
Rent in the Bay Area (we live about 5 years in the future) ;)
Like many forks in open-source, MPC-BE was forked off because of an internal conflict in the team. MPC-BE is made up of all the Russian developers from the former MPC-HC team after a complete breakdown in communication (i.e. drama).
صور+خلفيات+2017 اجمل+صور+و+خلفيات+للكمبيوتر+روعه
> They literally had a GUI that was like a circuit board where you could drag and drop these components and connect them via a wires.

So the CEO didn't realize this very step is no other thing than... programming?
If Eth crashes (more) and bitcoin continues to drop, no crypto is going to be worth anything.
JavaScript is moving away from VMs in a sense, since WASM has basically unmanaged memory (no garbage collector). That's a good thing, because in theory you could build your own GC on top of it. (I say in theory because the technology is not there yet, in particular on the concurrency front).
Or just, you know, buy ETH with money right now.
Out of curiosity, how much experience do you have with APL, J, Q, or K? They aren't like C, so none of your previous programming skills are transferrable, but that doesn't mean it is hard to read.
There would be a Jeff Bezos if the drug market was as unregulated as the book market. Because of the regulations, instead there will be a Martin Shkreli.
And they may actually do just that eventually.

The point I'm trying to make is that in an oppressive regime the only thing that actually provides plausible deniability is having and using the exact same hardware/software as everyone else uses; a rooted phone with an opensource OS, unusual chat apps or cryptography tools won't give you any plausible deniability but actually make everything even more risky for you.