skysight-inc/HackerNews huggingface dataset:
> I've heard that is one of the most valuable ad spots in the world

Yeah since they literally won't sell that spot, I'd say it's worth billions of dollars.
The borrow checker is the reason to use Rust, in spite of its annoyances (clunky syntax, limited type inference, non-interactive programming, long compilation times, etc.), so it's always nice to see someone trying to provide the upsides of Rust without the downsides.

That being said, your website is disappointingly terse regarding how Carp recovers the advantages of Rust in the context of a Lisp derivative. What makes this particularly suspicious is the fact that, in the past, Lisp programmers have claimed to recover the advantages of other statically typed languages in a Lisp setting, but there have always been huge caveats, like “the system can be very easily circumvented, reducing the benefits of static typing to nothing”.

The main reason why I feel confident that Rust is a safe language isn't just the fact that rustc seems to catch many bugs in practice. That alone wouldn't distinguish it from the countless static analysis tools for C and C++ that have existed for decades. The main reason why, at least in my opinion, Rust is such a trustworthy language in spite of its ginormous complexity, is the fact that its core developers, in particular Niko Matsakis, do a terrific job of communicating the process by which Rust's features are conceived and designed. When you read Matsakis' blog [0], it becomes patently clear that Rust's developers take into account the kind of corner cases that in many other languages are only discovered months or years after the feature has been implemented [1][2].

Other languages that inspire similar confidence in me are:

(0) Standard ML. It has a formal proof of type safety.

(1) Pony. It has a formal proof of type safety.

(2) Haskell, as specified in the Haskell Report (i.e., without the crazy GHC-specific language extensions), because its type system is similar to Standard ML's, and there are no reasons to believe the differences introduce any type safety holes.

(3) OCaml, again without the crazy extensions (GADTs, first-class modules, etc.), for more or less the same reasons as Haskell.

Links:

[0] http://smallcultfollowing.com/babysteps/

[1] http://joyoftypes.blogspot.pe/2012/08/generalizednewtypederi...

[2] http://io.livecode.ch/learn/namin/unsound
LIL, the Little Implementation Language (1974)
Right, but does a monoculture actually help that in any way? It's not like Apple is always at the forefront of innovation with WebKit.
Ask HN: Do you make desktop software?
Why do you chose desktop over cloud implementation? Can you share your experience; expectations, pitfalls, wins and advice?
That's pretty disingenuous. "You guys" is different than "software guys". You would totes say "you guys" to refer to two 70-year-old ladies, but if there were two women working on web development, you wouldn't refer to them as the "web dev guys".
Online sales? Maybe one day, says Chanel
Personally, I've found drinking that much coffee is very likely to give me headaches, and has even given me a couple ocular migraines over the years (not fun). Not to mention making me feel terrible once the caffeine starts to wear off in the evening.

Add in the caffeine withdrawal afterwards, and I've decided that it's best to just avoid caffeine altogether. Overall, I feel like I have more energy now... but it does require being more careful about getting enough sleep.
That's a known thing. Drinking coffee blocks adenosine receptors (which affect tiredness). In result, they increase in number to compensate that. So if you stop drinking coffee, the increased number of receptors causes more intense feeling of tiredness. If you stop drinking coffee for a long time, the number of receptors adjusts back down.
"If you’re in college and just drive for Uber on occasional weekends, it doesn’t make sense to include all of the fixed costs of the vehicle in your profit calculations."

But it does make sense to prorate the portion of those fixed costs associated with the Uber use. Failure to do so is a major business mistake, since you will have to replace the vehicle, etc., sooner than you would otherwise.

Which means something like a conservative 53¢ per mile.
Synfloods are really easy to accomplish comparatively. That said with the size and sophistication of the botnets these days I suspect that'll start to change to higher level attacks against services.
>they’ve been obsolete for nearly a decade..

It's almost like the entire Internet doesn't immediately handle every vulnerability as soon as it comes out...
> Then you have an interesting challenge. Businesses are never at equilibrium. So if you're not growing, you're shrinking. There may be lulls where things are flat, but you never want to be flat.

Is this true? I suspect that a majority of small business are at equilibrium, providing income to the owner/operator. I just don't have the data to prove it.
Nobody cares about pixel for pixel perfection. But as a professional developer you should make sure that functionally it works in all major browsers.
This is a very interesting project. Years ago when I wanted to learn how to use Linux, my friend who was a system admin at the time just told me to read Man Pages. It was so overwhelming and confusing to say the least, it made me give up on Linux for a long while.

Times have changed and I will definitely love to contribute as well as recommend this project.
Thanks for the tip - because I have differing MTUs across my systems (the stuff I do at work requires jumbo frames for adequate network performane and getting it right between a windows box and two Linux boxes is hard) I sometimes get a network hang. I'll be sure to try this next time it happens.
Not sure if you are aware of this but the bind-key here sets it up so that pressing ` twice sends the backtick through:

set-option -g prefix `
bind-key ` send-prefix

I don't find it's too much of a pain to press twice when in markdown.
Or Cmd + Shift + Del on macOS.
It can't get any faster than this.
I only drink one cup per day and I only started when I was in my early 30s so I guess I'm not getting much out of it.

Some people like me are very sensitive to caffeine. I wonder if we the jittery ones process caffeine slower and could that be a disadvantage.

Acrylamide due to roasting isn't a great thing either.

Hot liquid ingested every day may be a risk for throat cancer.
https://www.cancer.org/latest-news/world-health-organization...
For games I believe Unreal Engine 4 works on Windows for iOS as long as you stick to Blueprints and no C++.
If you’re worried about Caffeine withdrawal drink decaf. There are good quality decaf coffees available.
Duplicates https://news.ycombinator.com/item?id=15769046
That does not work because the browser that does not know how much it can reduce the presented feature-set without actually breaking the site. Some content is vpx-only.
Why should they? Why can't the poor help themselves? Most of us won't be poor if we only spent on the essentials. Stop buying material crap. Foster good relationship with family, neighbors and community. Community service at large and help each other. The wealthy get rich because we keep buying more of the crap they make that we don't need.
I chose desktop because:

I live in the country (limited bandwidth)
I control the source (nobody tells me I violate their 'who knows what')
My information is secure (my desktop app is hosted on non-internet accessible computers)
I have yet to see browser based apps as powerful / native as true desktop apps.

Downsides:

You have to do more of your own grunt work.
You have to do your own backups.
For more, see

* https://news.ycombinator.com/item?id=7166257

* https://news.ycombinator.com/item?id=7308852

* https://news.ycombinator.com/item?id=10797303

* https://news.ycombinator.com/item?id=14985449

* https://news.ycombinator.com/item?id=13071636
Office 365 is affordable, well-supported, easy to use, and updated frequently. It does what businesses and governments want. Their formats are well-supported. The software is also very stable and very mature. Other than ideology, there are few reasons not to use Office 365.
They still work.
If you find any supporting data, I'd love to see it because I dearly hope this to be true.

Unfortunately, I suspect most of these businesses are vulnerable to larger competitors, market fluctuations and other risk factors that one would want a growing business to protect against.

However I'm sure many businesses have managed to keep things fairly stable with modest growth and loyal customers for the lifespan of their owners relationship with the business. I'm just not sure if that is enough to support the fact that there is in fact a state of equilibrium for a business.
Now is as good a time as any to remind people that things aren't bad for everyone just because some people are sensitive to them. The hysteria over gluten, generally reasonable amounts of salt, peanuts, etc. in the diets of people who are not sensitive to them always irritated me.

I have to be careful with caffeine personally because I haven't needed to have it for the last few months, so when I do have it, it usually seriously upsets my (unbounded) sleep cycle if I don't take care to go to sleep at a regimented hour.
It's not enough :-) Ask the OCaml folks, they're going through this pain right now because their stdlib modules are called `Array`, `List`, and so on. They're planning to put them all under `Stdlib`, so e.g. `Stdlib.Array` and so on, but it's going to be a big effort with a lot of pain.

The main problem will arise when users create their own libraries; suppose some people create a `Option` libraries and then later you want to add a standard option type to Carp, it will be painful. Better to namespace your stuff under `Carp` from the beginning, so e.g. `Carp_IO_println`, `Carp_Option_map`, and so on.
To maintain the status quo.

"Making the world a better place" is the biggest lie ever said.
Depends on your customers needs really. I work on stuff that goes on ships and factory automation. No cloud required.
I didn't make a statement either way about likelihood of it happening, I replied to your naive hope that the FCC would still jump in and stop Comcast from doing so after net neutrality rules are abandoned. If you think that this would still be illegal, please do explain which laws and regulatory bodies would be involved and how it would be enforced. Also, it is not at all worth noting that a group who are legally barred from a behavior engage in it less than a group that is not legally barred. Why on earth would it be?
Creature 2.04 Crack and serial Key [full Version]
In India, the poor do this. They don't have enough food to eat, forget helping others. They live on less than 50c a day. They don't buy material crap. Your answer applies to the American poor, not the ones who live in third world countries.
Notes and utilities for reverse engineering the MediaTek LTE baseband
The real question of interest here is: how much do they pay people to make favourable posts online?
"Natural" in this context is just shorthand for "at fixed level of safety tech". You can substitute "baseline" if you want.
I didn't like their report which is why I wrote my guide.
There is one problem with your theory: There is a serious shortfall of affordable housing in the US. So a lot of Americans are having trouble affording even the basics.
Cold brew for the win!
Why not suicide then?

If a certain species starts to value the environment more than its own existence, it becomes extinct. Same happens to cultures.

Those who stay around adapt instead.

If humans failed to adapt and kept hunting large animals, they could have gone extinct, having destroyed their food supply. If humans kept on cutting and burning woods to create fields, they could have gone extinct, having turned forests into more Saharas. But humans kept adapting. I suppose we should continue with that.
there are also still retro games being played, like Descent, with small and tight-knit communities.
Drinking decaf ~one week a month is a good way to reset your tolerance
Fully laid out and explained here: https://medium.com/@thegrugq/tor-and-its-discontents-ef51648...
Do you have a response to the argument being put forth as opposed to making unsubstantiated ad hominem attacks?
I'm not following. The most useful thing on first read (and at other times) of man pages are the examples section. Frequently this section is pretty bare which is unfortunate. We should fix that. Yep with all of that.

npm install a thing with multiple clients. Um, huh? Where did that come from? At best now we have 2 competing man page systems, one for the "complete" information and one for the examples section? This is crazy, surely? You're not going to be able to stop using man pages! A replacement that can't be a replacement.

But sadly the examples themselves will probably have licensing problems to be able to be incorporated as documentation patches to the man pages - I hope I turn out to be wrong about that.
> "Well, I'm sorry about that. Going public was the best thing that ever happened to this company."

I'd be curious to learn Fred Wilson's explanation why going public was the best thing that ever happened to Etsy.
Learn how to work with people.
There are too many people around here who sit in front of a comp the whole day, and develop the misguided notion that developing their sw skills is all that's required. But in a few years some kid is going to come along and do whatever you are doing faster and better.
Because the most marginalized in our society are so screwed. They're dealt the worst cards. It's easy to shout Randian quotes from your high tower, but when you come from impoverished backgrounds barely making ends meet, something like an unexpected parking ticket or an injury can mean going homeless.
> any sufficiently complicated UDP-based protocol contains an ad-hoc, informally-specified, bug-ridden, slow implementation of half of TCP

Assuming that's true, that doesn't change the fact that TCP is unusable for real-time gaming.

So the solution sounds like a formally specified, bug tested, and fast implementation of half of TCP, as long as it's not the half that breaks soft real-time gaming.
So you are saying you are losing $2.00 on each unit but making it up by selling a lot of units?
Thanks ! I was looking for gnome shell style navigation
Small / medium business Linux accounting
Are there any Python / Gtk / Postgresql developers out there looking for a small to medium size business accounting package? I started one for myself, and would enjoy collaborating with like minded people.

Even if you have no programming experience, but know the ins and outs of accounting, I would be pleased to correspond with you.
If I drink that much caffeine I get very sensitive to anxiety attacks.
You don't know what - if this general result could be invalidated by your personal experience not matching it?
As I tried so hard to point out, "which accident is worse" is not the point. They are both unallowably bad. You are correct that a serious nuclear accident is likely worse than a bridge collapse. The question was how and whether mistakes in nuclear design are treated differently from other engineering fields. You brought up bridge collapses, which is a bad example because mistakes aren't tolerated in bridge design either. Or in structural engineering in general, which includes the design of nuclear plants by the way.

You now bring up frequency of bridge collapses per year, which doesn't seem relevant either. Or if we somehow decide it's relevant, it's actually a counter-indicator to your point. Because if it's a low number, that means the bridge field probably takes mistakes very seriously and ferrets them out successfully. And if it's a high number, that starts to weaken your point about "which is worse." But the number would have to be pretty big to compete, and we would stop building bridges long before reaching it, and again it's not about which is worse.

You finally address the point in the last line. Educate me about those design/review/construction restrictions if you like.
Luckily it's not like that was ever tried before, or we would have some idea of what will happen.

Oh ... wait ...

https://www.foreignaffairs.com/articles/1932-01-01/crisis-go...

The problem, at its root, is that we have large parts of the world with negative trade balances. What that boils down to is that there are large parts of the world that don't have any economic use but get included anyway.

Those parts represent interruptions to an economy that only works long-term if it's a circle.

Now just so we're clear: the problem is overcapacity, and a demand-limited economy. The solution is obviously not to cut parts out and lower demand further (why not ? Because anyone doing that will get outcompeted in a credit-based economy and therefore doing this is not a Nash equilibrium).
You're looking at average cost, which includes half-ton pickups and large SUVs. Look at page 6, which contains small and medium sedans.
How to deploy an ERC20 token in 20 minutes
Slowiris doesn’t affect an async server like nginx, which Cloudflare deploys.
I wasn't aware any cogent argument was being put forward. "Does what businesses and governments want" is so broad as to read like advertising copy. I mean this is about as blatant as it gets. Clearly the only reason to use open source software is because one is an idealogue... please.
Very good advice.

Couple thoughts:

First, Google’s Password Alert extension should be added to the list of extensions. Best protection against spear phishing.

Secondly, “Assume that anything you say on Slack or in Twitter direct messages will one day be public. It's fine to use Slack for coordinating and organizing, but be mindful of the conversations you have there. Move private discussions to Signal.”

This “eventually public” argument they say is the best framing of the benefit of end-to-end encryption I’ve seen so far. It’s not about “hackers could hack Slack and own your data now!” as much as “eventually any interesting cloud data that’s unencrypted will be made public.”
I completely agree and that's totally fair. What isn't far though is charging more for (or slowing) traffic that could be 20 hops away (and thus not directly connected to your network) just because the packets happen to be labeled "Netflix".

As it is everyone pays for their own connectivity. Netflix pays to connect to their ISP. You pay to connect to your ISP. The ISPs pay to connect to each other. They have agreements on traffic levels and bandwidth. But an ISP shouldn't be able to double-dip and "tax" certain services for which they have no direct connection with. It effectively amounts to extortion.
Your link’s first paragraph states coffee is usually consumed at temperatures below the risk threshold. A couple paragraphs later is states that coffee has been removed from their list of beverages they’re worried about.
But it does tend to be more expensive in cities, which is where these cars operate more.
One reason not to use it is because it makes German government dependent on a foreign company. Another reason not to use it is because it's a cloud product and shouldn't be used to store private data about German citizens. Another reason not to use it is because the FOSS alternatives are free.
Can it be used completely offline and off-the-grid while still supporting work-flows between peers? Can the documents created easily be shared with peers not using it? Is one tied to other products due to this product, like OS, certain hardware and other things? Who has authorative power over the software and it's updates?
I've been using Linux for twenty years and have maybe spent two hours reading man pages. Man pages seem to be written by engineers that honestly wrote them like it was code. It's dense material and assumes you can decipher it.

Since the days of Alta Vista and webcrawler. And even with Google, I skip the first link (man pages) and find a better explanation
Exception handling in Haskell Jobs
The main thing about man pages is that it is a "manual": reference material for people who already know the basics.

If you are just getting started, don't read the man pages, but read one of the many "Getting Started" or "Quick Guide" or "Beginning XXX" books. Those will generally be tailored to beginners, including features such as discussions of unifying themes between different commands, historical references and more beginner-friendly organization. Beginners don't need to know all the details at first (which are what the man pages provide), but just the big picture.
When you have to replace your current car, do you plan on getting your next car free?
NIST recently updated their standard guidance to no specific characteristics requirements, just long and unique. But no doubt it will take a while to trickle down to many websites that they don’t need this craziness any more.
Rodney Brooks is underestimating AI. He never has done any proper work in ML/AI
Here's my main problem with MS productivity software: Quality degradation when including standard formats like png, pdf (not sure about svg these days).

With Apple desktop software you can pretty much copy & paste from A to B and never worry about the result looking bad. With MS I have to follow very specific workflows to get an acceptable result. I don't understand why this is still such a hassle after 25+ years of development. I'd love to have some of Office's advanced features (collaboration, referencing, most excel features, powerpoint's line and endpoint snapping), but with Pages/Keynote/Number's GUI and layouting engine.
Amazon is eating the software
What if there were a protocol for password management, such that you never had to use a signup form again? Kind of like OAuth, but for a password generator/manager. It would support password changing (with an e-mail confirmation), so that it would be extremely easy for people to convert from manually managed passwords to automatically managed.
thinking about this same topic there is probably amazing opportunities out there for programmer mathematicians. Don't get me wrong, of course there are quants and such for trading firms but intuitively I would think there are an amazing number of applications for this kind of advanced mathematical programming that seem relatively under utilized.
Rodney Brooks is one of the best. He was head of MIT CSAIL and started IRobot. Let's see how he does with his new company...
Maybe you are looking for React Native + Expo. You can develop iOS / Android apps without Android Studio or Xcode installed
You use a hash map, and make the linked list a linked list of hash entries. So, if you're using chaining (as opposed to the many variations on open addressing):

class Entry<K,V> {
Entry<K,V> younger; // LRU doubly linked list
Entry<K,V> older; // LRU doubly linked list
Entry<K,V> next; // for hash map bucket chaining
V value;
K key;
}

The naive solution using two separate data structures would look like:

class MapEntry<K,V> {
Entry<K,V> next;
DoublyLinkedListEntry<MapEntry<K,V>> LruEntry;
K key;
V value;
}

class DoublyLinkedListEntry<T> {
ListEntry<T> prev;
LintEntry<T> next;
T value;
}
It is not a case of one or the other. I often implement programs to run on a local server and the GUI is a WebApp. Personally I find QT, GTK wxWidgets to offer minimal advantages over a HTML/JS WebApp. And I can always move from local hosted server to cloud hosted server or back again.
This article is extremely misleading to most people
Actually, what I had in mind when I wrote that was a situation where total economic activity was sufficient to meet everyone's needs (as I believe it currently is) and each employee was working 1/10th of the total time expected of the single employee. An extreme example, I'll admit, but one that demonstrates that people might be in a better situation if they have a lot more time and sufficient resources rather than an over abundance of time and no resources or an over abundance of resources and no time.
Or, you've removed one indirection and made the linked list actually a part of another data structure, as in how LRU caches are generally implemented.