skysight-inc/HackerNews huggingface dataset:
5 million / (1-0.20) = 5 million / 0.8 = 6.25 million

A "convertible note" is a cash investment that "converts" into an equity investment when the company starts doing equity investments. The have two separate mechanisms for rewarding investors for getting in early.

The "20% discount" means the investor can convert the note into shares paying 20% less per share than later investors.

The "$5 million cap" means, if the company has a valuation greater than $5 million, the investor can convert the note into a fraction of the company as if the company was valued at $5 million.

The investor then chooses whichever of these options is better.

Take the example of a $1 million as a note with a $5 million cap and a 20% discount, when series A funding comes along.

If Series A values the company at $4 million, the investor can choose between taking shares at a 20% discount (they get shares valued at $1.25 million for their investment of $1 million) and taking shares at a $5 million valuation (they get shares valued at $0.8 million for their investment of $1 million) and they obviously choose the former.

If Series A values the company at $10 million, the 20% discount still lets them get shares valued at $1.25 million for their investment of $1 million - but now taking the shares at a $5 million valuation lets them get shares valued at $2 million for the same investment. Obviously they choose the latter!

A $6.25 million valuation is the crossover point, where the 20% discount and the $5 million cap give the investor the same number of shares. At a valuation below that the discount is the better choice, and at a valuation above it the cap is the better choice.
I was using Isabelle. There is indeed a paper about this: http://link.springer.com/chapter/10.1007%2F11921240_19,
and the flaw is described on page 284.
Put it on github - I'd love submitting a few pull requests.
I ask about clock domains because you stated real world designs are by and large synchronous. The issue is when we have data crossing clock domains we have a potential area for bugs dependent on the possible combinations of clock speeds.

It becomes effectively asynchronous because we need to determine when data from one clock domain arrives relative to the edge of the other clock.

I can't understand the Haskell stuff you are linking to. I don't know whether it is capable of finding the issues I am talking about.

The second question was just trying to figure whether CLaSH can be used with Verilog/VHDL in some way. I was hoping against hope that there was a usable aspect to it in industry.

I can't figure out whether there is though.

The Haskell aspect is not a sweetener. We don't usually study that and it doesn't look good. You think VHDL looks bad but I think Haskell looks bad. It's like saying you've been real keen on a new beer made from brussel sprouts.

10 years ago, people were going on about SystemC. It didn't really catch on and it was a lot more normal looking.
I'm ready to be held accountable for what I write and say. But under no circumstances am I to held accountable for your poor understanding...
I've had an airline (Delta) do this, but only if both legs were on the same airline. Especially in international travel, I'd really appreciate some automation with hotels & cars.
Hot water freezes faster than cold – and now we know why (2013)
They can still geolocate my IP address.

I was appalled a few months ago, to find that even though I disabled location services, when I looked up Portland in Google Maps, then zoomed in, there was a "stickpin" in the map that was located about twenty feet from where I was.

While I haven't had the headspace to deal with it yet, I'm getting ready to tunnel all of my web and dns through a Xen VM that I have in The Netherlands. That won't stop them from geolocating my IP, but it will lead them to believe I hang out in hash bars, as well as ice skate on canals during the winter.
Why have an iPhone at all then?
The issues in sample project are regular challenges. I also think it's not a complex project without real-time parts, searching, async and concurrency tasks. Especially in Python 3.
Well, the address length depends on your domain.

I have an email address with 8 symbols.
I'm assuming you chose science for the basis of this analysis because scientists would be more likely to provide thoughtful replies, if any reply at all correct? I did like the analysis, but once the proselytizing kept popping up, it started to lose value and actually stoke some some of the existing tensions on this matter (we should stop teaching Python 2??)

So now we have to come down from the clouds into reality. For one, having limited yourself to scientific fields (sort of) you have literally chosen the tip of the iceberg. Let's ignore the fact that the stats clearly show abysmal adoption of Python 3 among those who make a living by being on the cutting edge and can most afford to adopt. But 786 replies?? And we should stop Python 2 for THAT (even though ~700 in that set aren't using it)??? If you venture into the commercial world, this entire analysis becomes irrelevant. My field of finance and derivative trading is one of the big up and comers in the Python space for a number of reasons but likely to costs - rapid prototyping, powerful testing, ease of training, etc. And I can say with a fair degree of confidence that there are more Python developers at my firm than this entire set - and all of them use Python 2.6. Or at least they did until a multi year upgrade migration finally brought us to Python 2.7 just this year ( and cost millions to achieve). Most are still using 32 bit, develop in Windows (on in house built IDEs) and have some split of deployment between Window client side projects (GUIs) and Linux server deployment. This is not to say we are simpletons - we have vast and complex systems, globally distributed compute grids with tens of thousands of cores (and equivalent disaster recovery clusters), reactive caching graphs, time shifting time series, cutting edge data stores manipulating massive data sets in the tens of billions of rows and basically run huge swaths of the HUNDREDS OF TRILLIONS in notional derivatives that drive the entire global economy. These systems have BILLION dollar budgets. And mine is one firm out of thousands employing tens (if not hundreds) of thousands of well compensated software developers.

If my point isn't abundantly clear by now, then to put it frankly: WE (and many other industries like ours) ARE the Python community. And it shifts all your stats to the point where Python 3 isn't even statistically significant. So perhaps it would be wise to work with the elephant in the room instead of trying to pull the rug out from under him. Because elephants are big and don't like that shit. Moreover, as a multitude of examples can attest to, any features left out of Python 2.X ultimately just get developed in house and become closed source, with a huge inefficiency in developing the wheel again and again but also locking up the critical knowledge on the best way to do it, backed by proven production deployments with big money at stake.

I don't want to disway this sort of analytical review, but if it's going to be science, it should bear at least some resemblance to it.
A Java EE Startup: Filtering information with zeef.com
I can't help but think it's funny that they're using React for a page like this, with scripts like 'wixAppsBuilder.min.js', 'wixAppsClassics.min.js' and 14 requests to frog.wix.com (whatever that is). So apparently they built this (extremely simple!) page with... Wix Website Builder?
In principle, using GDP alone is simply saying that you are willing to allow other people to judge for themselves the value of things and you'll take their judgements at face value. I.e., if a person values an XBox but doesn't value college (as demonstrated by purchasing the former but not the latter), that's ok.

The real issues with GDP in this regard are definitional issues (e.g., man marrying his maid), positional goods (college degrees, suits, and similar things are not intrinsically useful but let me get the job over someone else), compulsory goods (legal defense against lawsuits, obamacare) and govt spending (valued at cost).
I disagree. A common currency would remove a lot of the bureaucratic work involved with having different currencies, and in the long run that saves all governments money to deal with real issues.
They can call the screenplay 2101: A Penguin Odyssey. Humans have nuked themselves into oblivion, making room at the top of the intellectual food chain. Then, the first few penguins stumble upon the abandoned waste site...
The title of this post is confusing and misleading, as Firefox OS phones were launched earlier in South Africa. The post is obviously about the first phones launched by Orange as those in South Africa were launched by MTN.
You could be forgiven for believing that Mozilla doesn't consider South Africa to be part of Africa.
Consider a string containing U+0000 or U+FFFF; both will generate output that isn't well-formed XML.
mod_rewrite FTW.

I've been contemplating doing that for years.

What led me to choose last night to set up the redirect, was a reply to my complaint that having grey hair, as well as being openly public about my mental illness, has made it impossible to find paying work.

Some joker replied that if I wanted to find paying work, I wouldn't link to my essays about my schizoaffective disorder.

I regard his suggestion as the problem, not the solution.

I won't leave that redirect there forever. Eventually I'll stop being so pissed off.
Reducing the importance of education to status games seems to me as a pretty absurd notion, considering that how educated a population is has an important (if often hard to precisely measure) impact in the technological and social development of a civilization.

What evidence do you have of this?

Further, even if true, you are still measuring the inputs rather than the outputs. Energy consumption is also highly correlated with the technological and social development of a civilization, but it would be as silly thing to include.
Yes, and the very first picture shows that amongst the additions is an HP lab power supply worth well over $200 second hand.
GeoIP isn't too accurate, really. You were probably near the center of a city. (GeoIP should not tell anyone more than a ZIP code can, unless in an area with very high population density.) If people decide to track you it is much easier and more accurate to do it over actual phone networks.
Well, those are major words... IMO it won't be that easy or soon. Roland, Moog, NI, Steinberg, etc, are light years ahead of web audio. The web audio API direction is good and really promising tho.

I'm really excited about a combo of Node/websockets (real-time), NW.js/Electron (GUI), Emscripten/ASM.js (reusing audio libs) and Web Audio API. Amazing things can come out of this.
I'm writing an app.

Much of what smartphones do today, they didn't do when I took up mobile development. I can defeat Google Analytics by blackholing its server with my hosts file, but that kind of thing is hard to do with mobile analytics.

A while back I attended a talk on mobile analytics in Portland. One of the speakers displayed a photo of her company's data center, then went on to point out that their SDK was free of monetary charge to mobile developers.

It costs a lot of money to outfit and operate a data center, yet their SDK is free?

Someone has to be coughing up a lot of money for that information.

I don't want to give them mine.
Yeah, Wix has been transitioning all their Angular code to React.

You're blaming superfish for using a website builder for a trivial page rather than actually care about hosting + coding + etc?
Thanks for your reply! This is very enlightening! I think I'll go for FastMail, but I'll also keep RS and AppRiver in mind.

I actually like the way IMAP is email-only. FastMail also offers CalDAV for calendar syncing, which should address most of your points about invitations, right?

I'll think about Office 365, but I'm not using much of the Microsoft stack beyond the obligatory Office apps.
But the scenario doesn't even make sense. The airlines already have the ability to rebook the passenger on the next flight automatically. Why don't they do so? (They probably do for the highest level passengers.)

Granted, they don't currently know where the passenger is. But they don't need to. Right now they can send an SMS noting that the passenger hasn't arrived and asking if they want to be rebooked on the next flight ... or the one after .. or for the next day. (Though this assumes the passenger hasn't checked in online first.)

Because the airline company doesn't know the reason for the delay, or if it will be resolved by the time of the next flight. How long do they continue to rebook?

Then there's also the chance of false positives. Does "late" mean that the gate is closing and it's physically impossible for the passenger to arrive? Or is it predictive? If predictive, and I accidentally leave my phone at home, or the battery is dead, do I get bumped because the airline was unable to get accurate tracking information about me?

I once missed a flight because when I got up to the airport I realized I had left something important at home. (This was a frequent flier ticket and rebooking was free, so I didn't end up paying for a ticket change fee.) Consider a similar scenario for the future. I get to the airport parking lot, then realize that I left my baggage at home, so turn around to fetch it. Does the software assume that I'm at the airport and therefore not late? Or does it determine that I will be delayed? When does it make the assumption? Or should it assume I left my phone in the car by accident and my lift is driving away with it? How do I, as a passenger, know that I've passed some decision making boundary where I must now actively change my booking? Is it the airport parking lot? The entrance to the terminal? Security? The gate?

Same with "The car rental service or taxi service would know of the delay, and the hotel might be notified of a late arrival — all seamlessly."

The airlines already know if someone is 1) on a flight, and 2) delayed. They can offer this service right now, even if the passenger carries no electronic devices at all.

I've no qualms with the point that it's all too manual and expensive to do now. My qualm is with the hypothesis that location tracking devices are an important and useful prerequisite to enable that change.
I was in a loosely populated suburb.

Either my wireless access point had a static IP, or if dynamic, it had not changed since the last time google's van full of spy electronics drove by.
Can you point me to a list of such recommendations for Django 1.8? Are these official ones?
You'd think that since Superfish was a web malware company, that intercepted web pages and added content to them, they would be competent enough to write a ten-line site without using a heavy, bloated website builder that makes 28 requests, most of them JavaScript. IIRC Wix was, until very recently, a Flash website builder.
Мачо и ботан 2 / 22 Jump Street
Read "The Social Animal" by Elliot Aronson.
Facts about Tesla’s PowerWall Battery
Why you should share your “secret” startup idea with anyone who will listen
Oh boy, let's see, there's

* ip address
* utdoa, e-cid, et al (trilaterated on a number of cell towers)
* cgi and cgi-ta (from the one cell tower are you talking to)
* bluetooth
* wifi of course (skyhook etc)
* gps
* dtdoa from TV/radio reception (a number of phones have receivers; look for the Rosum TV patents)
* ambient magnetic field mapping (not making this up; it's pretty accurate)

The first five methods require no phone participation other than to have that radio turned on. The others need software in the phone to do the locating.

A foil bag is probably the best idea if you're seriously off grid.
Thanks arocks! I'll update that!
>leaving (most of) value judgements to buyers

Not true in the case of:

* Currency manipulation

* Corruption

* Waste

For some countries you've accounted for about 1/3 of their GDP just with those 3 things.

>Whereas HDIs and progress indexes give (undue imho) weight to things valued by the creators of the index

For the man who values money above all else, GDP is the ideal measurement.

Is that you?
I apologize that I have not read the linked article.

I am dismayed by the hero worship that is so common these days - "here's how to be an overachiever", "Uber's valuation exponentiates", "Children graduate high school without ever meeting their parents".

It is exceedingly uncommon for only one parent to have a job anymore. Nowadays, if there are two parents in a family, they both work, not to get rich, but in their struggle just to get by.

When I was a kid, unless he was aboard ship or - for a year - stationed in Saigon, my father was always home for supper.

Me, I work seven days a week, quite commonly go for days without sleeping so I can work.

What have we become?
On Solaris 10 package management was generally a pain, but there was a "sparse root" kind of zone that shares /usr with the global zone, so these get the updates automatically.

http://solaris.reys.net/zones-in-solaris-10-part-three-spars...

For OpenSolaris derived products with ipkg, the documentation says that "pkg update" in the global zone will update not only the global zone but all non-global zones as well.

https://docs.oracle.com/cd/E26502_01/html/E28984/gmhaa.html
> For an engineer it does not matter about the language that describes the circuit. [...] Typing it in is the easiest part.

Well... once upon a time, people were writing software with assembly, and they probably didn't care about the number of lines either. After all, typing was easy, in fact the only problem was just porting your program to a different architecture :-)

You talk about the complexity of a SoC, and you are right it is complex. But software is complex, too: an application relies on hundreds of millions of lines of code, counting everything between the hardware and the application (OS, network stack, HTTP server, all libraries, database, etc). So how do software engineers manage all that? They use better languages than assembly. Because what matters is the performance/expressiveness ratio (which is why C is still relatively popular) and how hard it is to shoot yourself in the foot (which is why C is not as popular as it once was :D).

> They are all toys aimed at newbies. They address problems that are no problem at all to a qualified engineer in the profession.

I think this kind of attitude is one of the main problems of the hardware design industry (the other one is the conservative mindset). Today's beginners could be tomorrow's hardware designers, instead they switch to software because the culture is much more open and friendly. Besides, you know what they say about asking users what they want: if Henry Ford has asked his customers what they wanted, they'd have asked for a faster horse ;-)
And what would be that lesson?
Why is JIT a minimum requirement?
Very same company. Fish as in phish as in phishing.
A computing scientist's approach to a once-deep theorem of Sylvester's (1988)
Which browser is this?
Not sure it's for Certify, but my first thought when I saw the title was: http://www.paulgraham.com/submarine.html
Guess it would be ok if you have control and can turn it on and off and choose who's tracking you. The controls on the iPhone are kind of hazy at the moment.
This one?
#include <boost/math/tools/remez.hpp>

I used some bits from it to help me in building my own log approximation but I didn't have time to dig into it.

I ended up doing Chebyshev approximation over [1, 2) interval but I extended the interval slightly to make sure that an error term at 1.0 is minimal (you can also minimise an error term at 2.0 if you want some smoothness between [1, 2) and [2, 4) intervals).

It's easy to calculate new interval values for Chebyshev approximation and it shouldn't be a problem to modify Remez but I couldn't find any Remez implementation that would let me do what I needed.

Usually, interval ends in Remez algorithm are fixed, while internal points can be moved by the algorithm. I needed a way to to fix one or two internal points (1.0 and optionally 2.0) but let the algorithm move interval ends within certian limits.

If anyone knows of any tool that let me do it, I'd be happy to play with it and publish my code. My approach is a bit similar to [1] but I'd more likely use Intel assembly or DynASM.

[1] http://gallium.inria.fr/blog/fast-vectorizable-math-approx/

PS The author of [1] uses remez from e Sollya tool but it doesn't let me fix internal points. I looked at the implementation but it's more obscure than boost/remez.

UPDATE: it's not clear from the above what my objectives were. I wanted to to produce exact values for integer powers of 2 including log2(1). This approach also gives a small relative error around x=1.
Additionally, carrier-based location services don't rely on any IP or app based functionality on your phone at all. Your location is known merely by the fact you use the network.

I'm not at all convinced this is a huge problem. But then, I like the functionality trade-off I get from letting services know my location.
I earned a [mostly] online engineering masters degree a few years ago (in industrial engineering, from NC State, which I think is generally ranked in the top 10-15 programs nationally), and I had a great experience. Since I live near the campus I had the option of attending lectures in person if I wanted to (they have since changed the policy and distance ed students are distance only, unless the prof looks the other way), but my feedback to them would be similar to your idea: provide the lectures themselves as pre-recorded content, then set aside the actual lecture time to work through and review problems & questions. This serves to free a couple/few hours a week from the professor's schedule and dedicate it to student interaction, and it allows the students to make productive use of their instructional time. As others have noted, being lectured at for an hour is seldom educational, especially in technical fields.

As an undergrad [at UVA], after my first year I explicitly sought out classes that had no more than 40-60 students, preferably fewer, just to get more 1:1ish time. That said, a lot of my best learning experiences were in courses taught by TAs, not research professors.
Show HN: Tmux wrapper for Facebook PathPicker
It's how WebAudio works. If the tab loses focus, the callbacks to the Audio Thread are throttled so the sequencing might be a bit messed up.
Sometimes, just maybe, the priority isn't to build something from scratch (however simple), but rather press a few buttons and move onto something more important.
This would work if -and only if- the currency was not printable so that it could not be inflated away.

Of course, for a large chunk of recorded history we did have such a currency - accepted everywhere. It was gold.
Intuition sounds nice until you realize it means "there are things happening here which I cannot explain nor verify nor teach.".
What happened to a plain HTTP page? (with all js you want, of course)
I disagree that Dart's code transformers are comparable to Macros- their intent is runtime optimization- take valid code which runs fine in the VM and optimize it for dart2js compilation.

This feels more like an advanced compilation feature than macros which are typically used to encapsulate a set of complex operations.
After printing, there was still some machining and polishing.