skysight-inc/HackerNews huggingface dataset:
The Cobet Project inc, bringing you internet security
The Cobet Project inc, is here to help anonymize the internet. A while ago the other co-owner, noodles, posted here hoping to gain some traction. Sadly, it failed. However recently, we have been in a position to be able to incorporate and have a constant userbase. Also, now we have 2 up-to-date products available. We have, ANSA, [A] [N]etwork [S]ecurity [A]nalyzer, #2 FRISP, [FR]ee [I]nternet [S]ocial [P]latform. FRISP is still a WIP, we just released the open to public alpha build. We are also working on fixing our other project, XASE, e[X]remely [A]nonymous [S]ecure browser.

If you are interested in our project please join our discord!

If someone's asks you, say wood3n told you about it! Have a great day!

Discord Link: https://discord.gg/Gd8dbFa
Secure enough to process $50 trillion in 2018.
Checks have substantially less security there. Not more - and even if/when it gets fixed the money comes out immediately.
And kept them SO FAR away from their families with no apparent intention of ever returning. I wonder if some of his generals were able to get 'leave' and go back to Macedonia, though I imagine the trip back must have been quite hazardous as Hellenization was just getting started.

Also he apparently forced a lot of his officers to marry Persians in an effort to join the two cultures. I think that caused a lot of hard feelings.
Any old-school bloggers still posting?
But why? It just doesn't make sense to not have a push system. I, honestly, don't get it.
Something that was good enough to invest a little of their hopes and dreams in. You are applying a sophisticated buyer's perspective to the situation of a fairly naive person; some customers would certainly recognize the sales strategy for what it was, but many younger or less well off customers would take the retailer's claims at face value at least for a while.

Sure, nobody might expect much of a pair of earrings bought to wear at a party for a couple of pounds, but you'd be upset if you bought an engagement ring and the stone fell out.
> Richard Stallman is coming to speak at Microsoft. Well, Microsoft Research. But still. Stallman. That's insane.

Wait, what? That's very interesting.

I love Microsoft's language tools (TS, Vs Code, C#, LSP, ...) and I used to work on Azure, but I'm still very skeptical. For these 3 reasons:

1. https://en.wikipedia.org/wiki/Open_Letter_to_Hobbyists
2. https://www.theregister.co.uk/2001/06/02/ballmer_linux_is_a_...
3. http://techrights.org/2009/06/25/bill-gates-office-patents/

Until BillG himself comes out and says Intellectual Slavery laws should be changed, I won't fully trust MSFT's long term motives here.
It changes the order in which I think about solving problems, to something I'm less comfortable with.
nice work!

RTL-SDR is pretty cool, I highly recommend that everyone get one.
Are Snap-on branded tools “identical” to Harbor Freight “branded” tools? I mean a wrench is a wrench, right?
TypeScript is such a fundamental milestone in the web and javascript community. (coming from Microsoft too!) I really do hope front end communities converge on typescript in an idiomatic manner.
>They build a light rail here, a high speed train there, at great expense but without any kind of systems thinking.

This isn't exactly true. It's true if you take the "high speed" out; we don't actually have any high-speed trains in America, not really. We have some pretty lame and slow trains, and that's about it.

But that's a nit-pick; your post is mostly spot-on about Americans.

I've been to Munich, BTW, and the public transit there is fantastic. All the elevated bike lanes are really nice too. Why on earth would you leave such a nice city for LA anyway? If I had to get a new job tomorrow, and I had my choice of working in LA or Munich, I sure as hell wouldn't pick LA!
Like, to pay for something remotely? I’ve emailed a picture of the check to sellers who refuse to use PayPal and then they use their bank’s online deposit system to drop it into their account (a couple of times for second-hand board games).
You also probably can't be a director of a private or public company until the bankruptcy is discharged (2 years?).

If student loans became dischargeable through bankruptcy, I imagine that could put pressure on bankruptcy laws in undesirable ways (e.g., the current 7 year period might get extended to 20 years).
I am saying from a pure ROI standpoint, it is simple to determine whether the cost of the education was worth it. By using a few criteria.

1. On average, was the cost of the education worth the difference between not going to college at all vs going to college.

We know the answer to that question: https://www.ssa.gov/policy/docs/research-summaries/education...

2. Once you determine whether going to college vs not going to college is worth it, is the cost of going to an expensive college versus a cheaper college beneficial based on the difference between the discounted future cash flows of your lifetime earning potential?

You can figure that out on average by looking at the median ten year earnings after graduating from college.

It doesn’t make any sense to spend more than the minimum to get a degree in certain fields - like teachers, social workers, and even pharmacists.

Yes I’m saying that most people don’t choose colleges strictly based on the ROI. I think that is either a mistake or a luxury depending on your viewpoint.
The current issue right now is that as China develops they're going through the same demographic decline a lot of other developed nations are going through, and it's not certain that removing this outdated cap on their population growth will actually solve their demographic problems. They got rid of their one child policy 3 years ago when they realized there was a population crunch in their labor force coming.
I was just looking for something that could print hex color codes to the terminal the other day. The best solution I found was some hacky perl script which was hit-or-miss with certain colors, for some odd reason. Much appreciated.
But the US gallon has never been used in the UK, and there is a temporal continuity of usage in mpg, people like to compare across time, a discontinuity would be weird
Can you provide details? It seems likely that this incident was overblown in the press but I'd like to know more.
Says who? Merriam-webster's first definition is "too extraordinary and improbable to be believed".

Cambridge: "impossible or very difficult to believe:"

Dictionary.com: "so extraordinary as to seem impossible:
incredible speed.
not credible; hard to believe; unbelievable:
The plot of the book is incredible."

Or is dictionary.com too incredible?

And, I know I'm risking hardcore my karma here, but I see "good" used as a moral measure. I doubt that "incredible" is referring to the interviewee's moral excellence, but I could imagine that perhaps the interviews are along the lines of becoming a better person.
That destroyed company? https://en.wikipedia.org/wiki/Signet_Jewelers
It's interesting how they talk about "doing as much on device as possible"... but Siri's voice recognition still works by sending the Siri request audio to an Apple server and doing the voice recognition there (only the trigger phrase "hey siri" is recognized on-device). Why isn't it all done on-device? I'm pretty sure even older iPhones have more than enough CPU-power for that.
> It's a shame more folks cannot find a pattern of transit/cycling that works for them

If you want to commute by bike in LA you've got to have the place you live and the place you work (and everywhere in between) be properly managed by the city so that it's safe to bike. In my experience that's very rare: anything resembling a bike lane near me is likely to suddenly end into a line of parked cars, and with poor visibility and high traffic the risks are large.

I know of only one coworker who commuted by bike. He lives much closer than I do. He was also hit by a car in his first year.
>Rust improved upon languages like Cyclone but it's a far cry from being the next C/C++

I was with you till this point. Rust is ugly, complex, but far batter that C++ in this regards.

* Functions instead of 666 constructors with obscure rules of which you should implement in pairs

* Hygienic macros instead of that ugly unsafe mess in C and C++ called macro and templates

* Move by default and Copy by calling a copy() function

* Everything is so explicit
Tell HN: Learn about the State of the Art in Program Synthesis
Hi HN: Program synthesis generates code from specifications such as test-cases, I-O examples, and assertions. On September 19-20, synthesis researchers will speak about recent breakthroughs and practical tools, aiming the talks at software engineers. We want to extend an invitation to the HN community because the periodic posts on program synthesis and Z3 show interest in the technology.

Speakers will include researchers from Stanford, Berkeley, UW, MIT, and Google Brain. Topics will include hw-exploit synthesis, end-user web programming, verification and synthesis of OS level code.

Technical abstracts and registration is on:

https://synthetic-minds.com/pages/conference/2019/#program.

After the conference we’ll post the slides of the talks.

The foundations part of the conference will explain why synthesis reduces to solving an \exists\forall logical query. More specifically, the query asks “does there exists a program P such that for all inputs x, P(x) computes the correct output?” A solution to the query is the synthesized program P. How to solve the query? The Z3 prover works well for boolean satisfiability (i.e., one \exists query). To solve an \exists\forall query, one approach is to have a two Z3 solvers communicate: one solver synthesizes a candidate program P’ that is correct on a sample of inputs, while the other verifies that P’ is correct on all inputs. If P’s is incorrect, a counterexample input is added to the sample on inputs. The two solvers iterate until the latter is satisfied with the correctness. This process is not unlike GANs; it is called CEGIS (counterexample-guided inductive synthesis) and was invented 2005, and built on an earlier CEGAR (counterexample-guided abstraction refinement) technique from the 90s.

Please comment or email us with questions.
It's not like they couldn't do all that without google's help. They would have looked at every camera nearby, talked to every witness, etc. If your name/face came up and you had priors or matched the description you'd get a visit. Google's data is probably more accurate/scoped and more impervious to bias than the other options they had.
> But the proof that it's non null is the deref in main?

This is an incorrect interpretation, it only proves that 'node' is non-null. Recall that 'walk' is called twice—once for 'node', and once for 'node->child'. The compiler bug (and this IS a compiler bug, make no mistake) is that the the proof that 'node != NULL' is incorrectly treated as a proof that 'module != NULL', which is not sound, and the bug manifests as incorrect program behavior during the recursive call 'walk(module->child, ...)'.
> This bug is a misfiring attempt at detecting undefined behavior to allow for optimizations.

I don't think it is. It's the same as removing the conditional here:

int foo = 1;
if (foo) {
// whatever
}

The compiler (incorrectly) deduced that the pointer was non-NULL and removed the check because it saw it as unnecessary.
Socially, there is a “need” for status symbols, among many people.
I doubt it, they might lose their banking license over it.

SEPA direct debits allows for R-transactions to unwind a collection up to 13 months after execution, no questions asked, it’s wild.
they ported SQL Server but I doubt they would ever port Office. It would make more sense to use your browser to access online Office.
Centralized logging: SaaS services that do this are a dime a dozen. Sumologic, Datadog, Elastic, etc.

You seem to be interesting in tracing or APM [1] which also has many providers.

Lots of people do a local Elasticsearch, Logstash, Kibana stack which can be done without licensing with a variety of forwarders.

You might be most interested in Envoy Proxy or Elastic APM (there are many others)

https://www.envoyproxy.io

https://www.elastic.co/products/apm

1. https://en.wikipedia.org/wiki/Application_performance_manage...
Bloke claiming he invented Bitcoin must hand over $5bn of e-dosh in court case
It's a conclusion that you can reach from publicly available financial information, transportation logs, and behavior of the accused. It's not like there's nothing there, it just hit a dead-end because you have a situation where the complicit and co-conspirators are now responsible for the sentencing aspect of proceedings, so the house is basically going to sit on the continuance of the investigation. Additionally a lot of the relevant investigations were handed off to the relevant state prosecutors so the accused can't pardon himself and his underlings.

My point is, it's not so much a propaganda campaign as an obvious juicy news story to be written about and it's predictably not reported on lately because nothings happening out in the open right now, but watch by October 2020 it'll be a thing again, because it'll be politically expedient again.
Not for the US which started earlier after the Equal Pay for Equal Work Act was signed.

The graph for OECD countries on average which includes the US turns in the early 70s. From a report on Japanese women participation going the opposite direction.

https://www.hamiltonproject.org/ee-ce-image/made/assets/img/...
Iowa State University: http://catalog.iastate.edu/collegeofengineering/softwareengi...

UC Irvine: https://www.informatics.uci.edu/undergrad/bs-software-engine...

Penn State: https://behrend.psu.edu/school-of-engineering/academic-progr...

Those three schools are > 30k students each.
Kodable is hiring a Game Developer to help teach millions of kid to code
All a bank is, is a UX on top of low-level financial APIs like ACH. If the bank then exposed an API, you could just use it to build another bank (without all the effort the original bank went through) and so compete with them on lower margins (because you don't have nearly the capital costs to recover that they do.)

Basically, it's the same reason that phone companies would never have allowed MVNOs to exist without legal regulation forcing them. The MVNOs outcompete the infrastructure-building phone companies, because MVNOs don't have to build infrastructure!
It isn't particularly helpful to downvote a comment to -3 without actually expressing what you found to be incorrect about it.

I linked to an issue where all current GCC versions emits incorrect memory corrupting output from a pretty boring correct input which has been sitting idle for almost 4 months. The issue-- a morally similar issue of applying a constraint to the wrong scope-- was found in production code, in the wild-- it's not like its some machine generated test case. Currently the finders are working around it with -fno-stack-reuse but it's unclear how much other software is impacted... Should I be lobbying Linux distros to recompile everything with -fno-stack-reuse ? ... hard to say: there isn't an easy way to instrument the compiler to detect when the bug is being triggered.

A rapid and highly knowledgeable response to miscompilation is what I've historically experienced from GCC and thats what's exhibited on the headline issue, but seemingly not in the case I linked to.
Show HN: I discovered the easiest way to plot graphs in Django
Also Thunderbird and Enigmail/PGP etc had been fairly solid for a long time.
His comments weren't even controversial, as they echoed beliefs that are held by those in the fashion industry. Lots of clothing companies make it plainly obvious not everyone is supposed to buy their products.
The timeframe is much longer - 60 days AFAIK. So essentially you verify every statement, or verify the online transactions every month and a half.

Even with the smaller attack surface of a banking system based on only "pushing" money, surely other countries must have analogous timeframes for reporting unauthorized transactions (eg from an authorized login).
True, on second thought, I found myself saying let's Skype soon and end up using some other app during facetime...
Press Council of India is supporting the curbs on media reporting in Kashmir.

Supreme court of India is giving passes to meet people in curfewed Kashmir, and asking them to just meet and not do anything else (i.e. report on human right violations).

It is amazingly surreal to see this repeat again. Anyhow, how can a democracy use medieval rule like curfew on 10 Million people. Entire province disconnected from the world and themselves.
It's generally pushing towards the type of projects I want to work on anyways, with small codebases, and things broken down into components, and lots of freedom in how to implement things.
Cerebras Wafer Scale Engine: An Introduction [pdf]
Yet somehow it has stayed relevant for more than 45 years.

Go figure.
I was looking for a quick way to convert RGB 0-255 to RGB float 0.0-1.0 (often used in shaders and other areas of 3D programming) just the other day. This tool doesn't currently seem to support that, would be a nice addition.
I use a FUSE filesystem on linux- not ExFAT, but as an S3 interface. I often see 1+Gigabyte/sec throughput over the wire from simple multithreaded IO operations. FUSE can be very fast.
Google Maps Bug: Embedding in a Secure Site Results in Mixed/Insecure Warning
Tune: A scalable framework for hyperparameter tuning from UC Berkeley
Do you know when? Also is it some internal MSR thing at 99 or inside-out in east campus?
System.out.println()
Well it's [CCP] existence is objectively a net negative for the world, so what do you expect?
That's true. But NTFS could also improve rather than simply adopting Linux's filesystems. Heck they could improve it then Open Source the new thing.
>But God help you if you have a prior record and happen to be black or match the description of the assailants... and just happened to be around the bank at the time

Seems reasonable that you would be approached by investigators if you were present at the scene and matched a witness description.
Phoenix forked from Netscape Navigator 6. The renaming to Firebird and then Firefox were entirely about trademark conflicts.
Use the export functionality to create a script in your language of choice? (c#, Java, Curl, etc.)?
Windows Home is to Microsoft, as Chrome is to Google.

Microsoft hasn't charged consumers for upgrades to Windows for years - and surely that is because they expect to profit from advertising.

The same can pretty much be said for Windows Pro and small businesses. Why is there no subscription to Windows? Why can't I pay to get 3 more years of security fixes for Windows 7 however an enterprise can?
The original ones from the MSDOS days should have long expired. The one with VFAT/FAT32 from the Windows 95 era should have expired a few years back. I think exFAT is probably the last one remaining.
So, like Die Another Day, where that villain takes blood diamonds into Iceland to obscure their origin and sell them like they came from there?
> This bug is a misfiring attempt at detecting undefined behavior to allow for optimizations.

It's closer to a conditional constant propagation that was accidentally applied unconditionally. The code was guarded by an if statement that asserted that a variable did not have a particular value, which lets the compiler delete further checks that the variable does or does not have the value. No UB behavior in play, unless you're complaining about the UB of "variables can't be changed unless the programmer changes them directly or indirectly."

If you pay attention to the change that introduced the bug--it was a change in the constant propagator that caused the bug.
Gotcha, thanks. Yes my experience may be out of date.
> But there's no world in which, say, a Silicon Valley software developer is going to be paid their regular daily salary with benefits.

Why not? The proportion of people involved in a trial at any given time must be so small that replacing their salaries would be a relatively minor drag on companies if it was distributed well.
Governments serve Google with over-broad search warrants frequently, but there is not information in this article stating or implying that Google responded to this or other similar warrants. Google has a whole department of attorneys dedicated to evaluating search warrants. They claim they won't comply with vague and overbroad warrants.

https://www.youtube.com/watch?v=MeKKHxcJfh0&feature=youtu.be...
I use the stackdriver logging in Google Cloud Platform.

My GAE apps and google services just log there automatically. My non-GCP services require a keyfile and couple lines of fairly trivial setup.

I have a single logging console across my entire system with nearly zero effort and expense. It works incredibly well. Doing this in-house is a waste of engineering resources.
Hi Dennis, we do support XML job feeds for all of our customer accounts, including those on the free plan.
The inadvertent triggers is what worries me. My HomePod is always randomly saying things like “I’m sorry I didn’t get that” or “go ahead”. And creepily one night just said “I’m still here”.

Ideally they’d fix that but in the mean time I’m glad I can at least rest a little easier knowing Apple isn’t listening unless I opt in (which I might consider if it helps them actually fix the false triggers).

Maybe they need a dashboard that shows all the requests and let you mark which ones were false or wrong instead of having someone directly listen?
That’s not speculation. That’s arbitrage.

But it’s also not traditional arbitrage. The producers of these counterfeit bars would likely be delighted to have the real gold minting houses certify and stamp their gold for a reasonable price. But they can’t because of sanctions or possibly capital controls. This counterfeiting is about bypassing market controls to trade illicit gold.
Yeah. The bug is that the compiler propagated not null from main.node to walk.module.

But how did the compiler determine main.node is not null?
"We didn't include an option to turn off data analytics for Siri in the privacy section of the control panel where all the other data analytics options are" is a far cry from "We are now buying a copy of everyone's credit card transactions so you should buy all your targeted ads from our fully armed and operational surveillance capitalism Death Star". (to borrow a Star Wars metaphor)
HL Mencken has a famous quote: "For every complex problem, there is an answer that is clear, simple, and wrong."

You undermine your own point with your assertion that that government guarantees are the issue, not the inability to discharge debt that provide the abundance of students.

Allowing the discharge of debt will not impact schools if the government still guarantees loans. If anything, it will exacerbate the problem by incentivizing more debt by reducing the risk to the borrower. It seems like you are conflating multiple issues in a complex problem in an effort to provide a simple solution.
Yeah, the only good use cases I heard for wanting real time payments had to do with businesses not wanting to keep cash reserves on site at all times. The two I recall were

(1) in businesses that have variable payment demand (think scrap yards that buy scrap material from anyone that walks up) and they currently handle this by keeping large amounts of cash on site in a safe

(2) some states where when a hourly employee is terminated, due to regulations it's easiest to pay them out for hours worked on the spot and this is currently usually handled in cash that's kept in a safe on site

I might be forgetting some details on the whys but it seemed like they wanted a way to avoid having to secure cash funds.