skysight-inc/HackerNews huggingface dataset:
They are really just trying to price the risk spread of taking on long term debt (their leases) and re-lending with short term leases at a higher interest rate.

I would guess this is super high beta (overall market exposure). When the next downturn comes we'll see if they have the capital to survive the credit event.
Because his real estate start up isn't making a profit, so he can't personally profit from it.
Using it in production since early 2018 as our data backbone. Other systems are feed by using CDC.

Killer features: Change data capture (to feed elk for full text search & as a event bus for microservice), follower reads, horizontal scaling, easy to manage/operate, compliance by letting user decide where should their data reside (row-level partitioning)

Before choosing crdb we made a deep investigation about the ppl involved, the activity on github, the quality of the process/PR & contributions to the go ecosystems. It’s incredible how high is the quality bar for these folks.

The first version wasn’t that good but since 2.0 things changed A LOT.

Really enjoying it
Very Close
relatively recent :)
Everything is relative.
Version without needlessly butchered images:

https://www.lowtechmagazine.com/2019/06/small-wooden-wind-tu...
Reading your post below I believe a Dell Latitude would fit what you want. Something like the E7440 is cheap, reliable, repairable, expandable, etc. They cost about £200 if you're not fussy.

That doesn't fit your display requirements though, so you'll probably need to look around at newer models. Dell, as far as I can tell, make it hard to search their laptops by display resolution.
Should be feasible to show a list of edits and avoid that
I would like to see a source for this because I heard the same thing, but don’t want to spread disinformation.

If it’s true, that’s not a good look for him or the company.
Is there a reason you wouldn't use Udemy or one of the other websites like that?
Ethernet can carry protocols other than IPv4. IPv6 is one of them, but there were at one time a whole slew of them, like IPX and Appletalk. But ISPs don't carry them, so they're effectively blocked and have largely died out, and everything uses IPv4 or IPv6. Even if you want to use Appletalk today, you encapsulate in IPv4 or IPv6.

There are also a whole bunch of IP transport protocols other than TCP and UDP, but firewalls have a tendency to block them, so today people just encapsulate everything in TCP or UDP.

There are a lot of TCP and UDP ports too, with their own protocols, but those darn firewalls again, so now everything is increasingly using HTTP[S].

The things that get blocked never go away, they're just made to look like whatever is still allowed. Yes sir, Mr. Firewall, this is Hypertext Transfer Protocol over SSL on TCP port 443 using IPv4, which is approved for intercept.

Except that it's really email and games and file downloads and whatever else, with things added daily by everyone on the internet, and no reference for what all of that plaintext is even expected to look like.

So you say you're going to get a DPI classifier and try to distinguish all these different types of HTTP. Except that whatever you exclude will soon be right back encoded as formats and protocols you allowed, because information theory says you can encode anything into anything.

And it gets harder to distinguish them with every iteration, because what you're really using to distinguish them is their encoding inefficiency -- it's the things that are always the same for a given class of data, even though the relevant part of the message is the things that are different. The end state of all of this is that the real entropy is all that's left and there is nothing there to distinguish with anymore.
basically SoftBank said so
Show HN: A place where new technology creators can find early adopters
As a technology creator, you want to get early versions of your technologies into the hands of early adopters. This is what Catsup helps you do. If you like this idea, then maybe we can build this platform together. We’re talking to some of the top researchers and technology creators in the world, so this should be fun project to stay close to the edge of technology, and the future.

Reach out to us here: https://www.catsup.live/
The Jetson Nano provides a very fair amount of computing power for AI applications like this- I've been following JetsonHacks[0] for a while and there's some neat projects posted on the site. The site owner's Youtube channel[1] also goes into detail on interoperability across the TX series such as cameras, code libraries, and assembling a car based on MIT's open-sourced Racecar[2] built with a TX2.

[0] https://www.jetsonhacks.com/2019/03/25/nvidia-jetson-nano-de...

[1] https://www.youtube.com/channel/UCQs0lwV6E4p7LQaGJ6fgy5Q

[2] https://racecar.mit.edu/platform
In Java, you'd expect map() to throw, and the type of y to be Vec<string>, in Rust parlance. If one of the conversions failed, you'd expect the stack to unwind as the exception propagates, and you'd expect that the use of map() means you're not particularly interested in which item failed, you just want to abort (roll back) on failure. This is the 99.9% use case for exception in Java, or C#, or Delphi; you almost never catch exceptions.

If you're interested in which item failed, ideally you'd be using a method that doesn't throw at all, and instead returns an error condition. I like how C# makes this clear, with Parse and TryParse on Int32. You use Parse when you want unwinding and abort behaviour including stack unwinding, and TryParse when you want to handle errors, and you don't use exceptions for expected errors, since expected errors are not exceptional.

(If the map is lazy, you'd expect the materialization in collect() to throw. But the return type wouldn't change.)

IMO, the kind of code you write on a daily basis is the primary determinant of your preference for error codes vs exceptions. If you need to handle error conditions frequently, you'll prefer error codes, because they're data, like all other data, and you can use the general compositional tools at your disposal to manipulate them. If you handle error conditions exceedingly rarely, and mostly just want to abort, unwind, roll back, go back to the main loop and log them, then exceptions are your friend.

I do not think there is a fundamental superiority either way. I think there are tools for purposes. I do think that Java's checked exceptions are half-baked; they're half-way into the compile time type system in a language whose applications are generally better suited to run time exceptions.
Knuth is famously a slow worker, but he "gets to the bottom" of any problem. He's basically a turtle (from the Tortoise vs Hare story). A giant "juggernaut" turtle. You can't stop his analysis, but it takes a long time to get anywhere.

Its been over 40 years and he's still writing "Art of Computer Programming" books, and fixing errors in the text. Its an exceptionally well-crafted piece of writing. His solutions to various programming problems are excellent too, great analysis and deep thought applied to them.

Definitely not the "10x programmer" of today's lore. Knuth is an older, gentler kind of genius that I have a huge amount of respect for.

---------

For those who haven't read Knuth's works yet, I suggest starting with Knuth's analysis into Alpha Beta pruning: https://pdfs.semanticscholar.org/dce2/6118156e5bc287bca2465a...

Knuth's writing style is just so much deeper and thorough than pretty much everything else. You have to give the guy mad respect.

Of course, I also recommend reading "The Art of Computer Programming", but that's far more material to read through. The ~34 pages on Alpha-Beta pruning are a quicker introduction to Knuth's writing style. Even if you think you know how Alpha-Beta pruning works, Knuth goes far deeper into the subject than you might imagine.

EDIT: In particular, the F -> F1 -> F2 algorithm (F being Minimax, F2 being Alpha-Beta, and F1 being an in-between algorithm to help describe F2) is brilliant writing. Only Knuth would spend so much effort describing F1. But all that effort into F1 helps both his analysis, as well as better describes what is going on in Alpha-Beta pruning (aka F2).
Seems he has solved housing problem at least for one person in bay area.
Lmao. OP items like these reek of people looking for shallow poser shortcuts rather than digging in.
Isn't this exactly how McDonald's did it?
I have the 15v3 and can confirm it's a great laptop too. Really looking forward to their Librem 5 phone too. The companies really going in a good direction.
previous: https://news.ycombinator.com/item?id=20071836
honestly pretty sure they can buy whatever they want given their funding.

whether that pays off for investors is another story
Senior Android Developer|Dimagi|Delhi, India|Full Time|HTTPS://Grnh.se/537b484d1
Apply Here:https://grnh.se/537b484d1

Dimagi was born from the belief that there’s a better way to provide services to those in need. CommCare, our mobile data collection platform, helps our customers build mobile apps that improve the quality and efficiency of services in the most remote corners of the world. We work across various sectors with organizations of all sizes providing mobile solutions that put end-users first. Dimagi is a recognized social enterprise with offices around the world, a B Corp, and certified Benefit Corporation, working since 2002 towards our commitment to making an impact.

Responsibilities of this role include:

Helping to grow a mature open-source Android product base
Building quality software with a strong focus on usability by groups of people facing unique challenges (remote locations, low levels of literacy, no experience with technology, etc.)
Cross-functional team collaboration to design, define and ship new features
Testing application performance and bug-fixing
Helping to support infrastructures for testing, QA, and release management
Continuous evaluation, discovery, and implementation of new technologies to maximize the efficiency of development

Required Qualifications:

Bachelors degree in Software Engineering, Computer Science, or related technical field
3+ years of experience in android development
Experience in Java, Python
Debugging and analysis skills
Familiarity with using a version control system to facilitate collaborative work
Ability to communicate effectively and work well with colleagues across the globe
Excellent communication, analytical and problem-solving skills
Authorized to work in the country for which you are applying

For more information and to apply visit: https://grnh.se/537b484d1
Andela Is Building Africa's Tech Ecosystem–and Is Assessing 130k Engineers
Learn how to predict video frames using CNNs and LSTMs
I kind of disagree. A kind of hidden point I loved about Norvig's presentation is that there are design patterns useful and proper for Dynamic languages. The main problem is trying to use design patterns created for static languages, in dynamic languages.

I remember reading the Ruby book about design patterns. It was painful and the general motto of the book was "you don't need this and that static design pattern".

However, I think as a community we should be defining a collection of design patterns that are useful in dynamic languages. At the end of the day, the main idea behind Design Patterns was the definition of higher-level logic constructs that could be used to solve a problem when developing software.

It is like in the construction industry where bricks are the "code" and the 'best practices' (design patterns) of how to built houses with bricks do not apply when you are building a house using wood. Sure, brick design patterns do not work for wood, but that does not mean that wood building doesn't have their own patterns.
NTP works fine. This is a very minor risk. VMs on cloud providers are already preconfigured to use NTP with their own time servers so they are very reliable [1][2] and you can always add your own monitoring [3]. Also CRDB is tested with clock-drift and you can read the jepsen report [4].

1. https://aws.amazon.com/blogs/aws/keeping-time-with-amazon-ti...

2. https://developers.google.com/time/

3. https://docs.datadoghq.com/integrations/ntp/

4. https://jepsen.io/analyses/cockroachdb-beta-20160829
And there would be no point in doing so anyway.

Chrome, etc., require that certificates which descend from publicly trusted roots have their certificates published in certificate transparency logs. Someone would quickly notice bogus certs being issued and the associated root would get blacklisted.
Hit archive.org so we don't run the batteries down... https://web.archive.org/web/20190718210140/https://solar.low...

(For real, it's running on solar with a battery backup: https://web.archive.org/web/20190714175801/https://solar.low...)
To be noted though, Tele2 has as of recently exited the Kazakhstani market: https://www.tele2.com/media/press-releases/2019/tele2-has-ag...
Related discussion:

Microsoft to Explore Using Rust

https://news.ycombinator.com/item?id=20468756
It's not a technology problem, it's a social one. If a society values it's privacy enough then it will change.

The real issue is how abstract the consequences of loss of privacy are. It requires people to actually think beyond "I've got nothing to hide".

No worries though. Greedy corporations and governments are greedy and they'll keep pushing the limits of societie's tolerance until it blows up in their face.
https://www.wsj.com/articles/weworks-ceo-makes-millions-as-l...

> One of the landlords behind the building was no ordinary owner: It was Adam Neumann, WeWork’s chief executive, who leased the property to WeWork after buying it, according to people familiar with the situation.

> Mr. Neumann has made millions of dollars by leasing multiple properties in which he has an ownership stake back to WeWork, one of the country’s most valuable startups. Multiple investors of the privately held company said the arrangement concerned them as a potential conflict of interest in which the CEO could benefit on rents or other terms with the company.
Yes I've heard this too. The franchise agreement states that you are behest to wherever McDonald's decides to let you lease. Unable to corroborate though.
>The homeless scare away families

This applies to a narrow subset of urban locations
Six years would be a blessing. Most people I know have been waiting 10 years or longer. The green card queue for the vast majority of applicants today is essentially infinite, even if you stay in the same job at the same company.
A couple of sentences of mature advice would replace the whole of DoNotPay's business. More tech not always betta.
I used to believe as you do until AlphaZero learn to play Go and Chess by itself and discovering new strategies in the process.
We only know about the times it is noticed.
Neither this nor resetting one of the cookies to "off" (another method) works at all times. These are client-side overrides.

However, the user-agent spoofing works because it fakes IE11 on Windows 7 and it triggers a server-side override.
We still would have easily found out had any of these methods been employed; any uncompromised machines still left in the country when they flipped the switch would start getting TLS warnings.

They could, of course, avoid spying on uncompromised machines to avoid detection, but then anyone practicing good security hygiene would be automatically left unaffected by the government spy program. Plus there'd still be the possibility of detecting malware through other means (malware on client machines is far easier to detect than MITM of unencrypted communications). Not to mention how much more difficult all this would be than simply MITMing unencrypted traffic.

The situation with HTTPS is significantly improved.
In some months, "This is how faceapp actually influenced US elections..."
What's the problem with YouTube?

If I'm interested in a subject / person, I try to both read about it and listen video about it / from him. I found that the two information sources are often complementary.
I have a hard time believing that their website was more popular than YouTube. I remember using loads of different video streaming services before YouTube was bought by Google (e.g. Vimeo, Google Videos, etc) and I've never heard of livevideo.

Also, Google Videos was Google's own YouTube competitor from before they bought YouTube, which arguably was anti-competitive because it was much easier to search for Google Videos from Google than for YouTube videos.

The more likely explanation for why their search rank plummited is their shady backlinking between their properties.

> The only one that survived was Justin. That eventually became twitch because they picked video games as a category and just eliminated everything else. And YouTube didn’t really go after one market like that. They went after all video on the internet, so Google let them kind of have video games and that was it.

Their explanation for why Twitch succeeded doesn't hold water. My understanding is that video gaming is currently one of the most popular categories on YouTube today and probably has been since the beginning (e.g. PewDiePie started as a video gaming youtuber). They're directly going after Twitch with YouTube Gaming. And Twitch obviously hasn't been deplatformed by Google Search.
NASA wasn't a startup. It was (and is) a full blown government bureaucracy. The idea that there'd be a bunch of 20 and 30-somethings making critical decisions for a big organization like that is very foreign today.
> Your attack on my integrity here is unwelcome

I absolutely did no such thing. You may wish to consider taking that untrue statement back, for the sake of your integrity. Nothing I said is attacking you personally in any way.

You called for a retraction of my top comment, implying it is flip-flopping and hypocritical, but you misunderstood my argument and made a rebuttal point that didn't address mine. That's a straw man, and since you appear to believe "straw man" is judgemental, it is not. It simply means you're arguing against a different point than the one I made.

It's a fact that you haven't yet responded to the merge commit point I made, and that merge commits in the OPs data are relevant to my original comment.

> I regret having given you so much time

You make it sound like I'm supposed to appreciate you calling my words untrue and "completely irrelevant". How does arguing with me and saying I'm attempting to defend an irrelevant position amount to you extending good faith?
Wow, lite.cnn.com is great! I usually dislike CNN, but this makes it almost bearable
> Mathematics and programming are not really all that related to each other

With respect, that tells us much more about you than about math or programming.

No Haskell expert, or formal methods expert, or complexity theory expert, would ever make a statement like that.

You may be right that math is quite a distance from day to day development, of course. (I don't think I'm being pedantic here, but perhaps.)

> it's only one type of logical thinking among many types which can be applied to programming.

What do you have in mind? Design patterns and software development practices, or something else?
No, it's not pointless. This attack was detectable because of PKI. Without it the attack would not have been detectable.

Being imperfect is different than being pointless. Even if you developed the perfect algorithm for global security infrastructure, the Kazakhstan government could still just break down your door and implant the backdoor into your hardware if they wanted. So by your logic should we just forget about this encryption stuff and just do everything in plain text again?
What concerns me about the Red Hat acquisition is just how much of what we consider "Linux" is developed and controlled by Red Hat employees. Look at things like Gnome, PulseAudio, and systemd. Canonical and other Linux companies very rarely have this kind of impact across the entire ecosystem.
Does anyone know how much the support costs?
thats 5% of his equity if sold at the same valuation of the last funding ($47B).

Its easy to point fingers at rich people, but this seems like a fairly logical cash-out.

More stakeholders means more legitimacy.
> I should be a multimillionaire ... we should have been what ... a major competitor of YouTube and we should be a multibillion dollar Unicorn Tech Company. And the only reason we’re not is because of anti competitive behavior from Google

Hmm ok. Are you sure that was the only reason?

All those organic links from those 74 million of websites do not disappear even if you do disappear from the search results.

The mention that google executives contacted them to discuss the $3,000 a month he could of made if he ran google ads - that is genuinely peanuts. This makes me think that was a really small operation that didn't have a hope in hell in going big and competing with vimeo or dailymotion, let alone google. For comparison I was running an AdSense site around the same time and was easily clearing £800-1000 (approx $1500 I guess) a month with only about 150,000-200,000 visits/month (CPMs were higher in those days - I get about the same traffic now but only about £150-300 a month now)

If you these google "executives" (p.s. these wont have been "executives" wasting their time on a tiny publisher like this, you'd be lucky to even get a call from an actual google employee at that size - any tiny publisher deals like this would be farmed out to third party "partner" companies... the real actual executives would be talking to the New York Timess/Conde nasts/ESPNs of the world where the serious money is worth their time) are suggesting you could get up to $3,000 a month then sorry you were never destined for the big time.

Sounds like those 74 million (74,000,000 sites linking to you - that is loads) sites sending traffic your way were actually only sending in a trickle of users otherwise you'd be able to sell a lot of advertising. Even if each site only sent a single measly user per month, 74,000,000 visitors a month is a chunky visitor base and would easily net you more than $3,000 - even with a CPM of 25c ("good" publishers can expect rates well in excess of this - easily $1 and perhaps $3,4 or even 5 for really top-tier stuff) you'd be looking at about $18,500 a month. You'd easily be able to do direct deals with advertisers and get better CPMs at that sort of level.

Start ups fail all the time. It is hard and it is sad but I don't like it when people don't accept responsibility for their own failures though. This attitude of "it was everyone's fault apart from mine!" annoys me a lot
For reference, the reason they serve low-quality images is explained here: https://solar.lowtechmagazine.com/2018/09/how-to-build-a-low...
How does the analogy "WeWork Founder" ~ "McDonald's Corporation" work precisely?
OP is not stopping anyone from pursuing higher education or working hard or getting a high paying job, they are merely describing their experience of the broken system and not asking for your sympathy.
`git commit --fixup` very nice, I never particularly liked the workflow of "git rebase -i <hash>"
Even if you can't renew a cert you paid for, in most cases you should be able to get a temp cert from Lets Encrypt and renew it every couple of months. I have free wildcard certs for many of my domains. HSTS just requires HTTPS. It doesn't pin the cert to a particular CA. That is what CAA records are for.

Are you saying that you have applications that require HTTP port 80 only?
Good thing China is loaning out their infrastructure there! /s
Highly skilled people should be more entitled to a green card (and that often corresponds to highly paid)
Is there a way to get out how much $ in property they own?

47 billion is a lot for an app startup, but if they owned say 40 billion in property, it's a lot less of a stretch...
What number of red flags is going to be enough for the tech/business press to start asking questions about how WeWork is being run?

From the outside it looks like another Theranos waiting to happen.