Yeah, I find it circuitously poses similar questions over and over, with vague allegories towards hypothetical application, and provides no real conclusions. For example in the part about evaluation order, a long walk through all the different observations, and some small ideas of what "mathematica does", and as I read hoping for a final conclusion on the section, a redirect to a new subject. Feels like I was listening to a joke with no punchline, on the edge of the seat over and over again. In the end I don't know what I was hoping for, but I feel the key works in the field of Algorithmic Information Theory, expresses all of these ideas more succinctly, the irony of which is not lost on me. Wolfram is a physicist who wants to be a computer scientist? A computer scientist who wants to be a mathematician? None of the above in the pursuit of all of the above? I always walk away from his ramblings feeling the same way. I did find he had some great occasionally insightful observation, but to what effect? I'd like to see what happens when he takes an approach like this to a more applied problem, rather than this endless open-ended "future of
..." (Physics, computing, etc)
Would making all HTTP requests embed a header with a CCPA / GPDR claim be binding? It is as verifiable as any request through their form... its my original connection, so if they associate tracking data with me then they must associate this with me as well. Businesses should agree to my terms to make socket connections to me, else I should be able to see them in court. Proliferation is one way to end the modern shitty tracking madness.
> x-ccpa I do not consent to the sale or disclosure of my personal data and demand the deletion of my personal data per Californa CIV 1798.120, 1798.121, and 1798.105
> Copyright (C) 2020-2021 Terence Kelly. All rights reserved.
did you happen to get the author's permission to put that up? I don't even like IP law that much, but its funny to me how much no one gives a shit. This was a crime, albeit a silly and small one.
Very strange to see few to no references to io_uring here. I guess it's still too new. As I've seen many times before so much complexity is replicated in userspace to reproduce kernel behavior out of mmap or DIO/AIO, in order to break the latency, caching, and prioritization into a micromanaged state tuned for a narrow set of applications... Then applied to database code used in a myriad of applications which violate those assumptions and have their own needs. io_uring can't take over fast enough.
For Part I, though I get the point to demonstrate proofs with CBMC, this is a pretty contrived example. E.g. using state machines for the cocos search makes an on-line very lazily written implementation human-verifiable at a read. I would like to see an example that doesn't have such a contrived nature.
Edit: Now I see in part II/III where the title actually comes to fruition and there is a state machine oriented generator is made and used. That still doesn't satisfy me about part I, honestly I would have just skipped it in retrospect.
There was a hypnotic graphic effect on my phone. As the wave phased between modes it appears to be a smooth wave after a threshold (graph sample aliasing?), a cyclic standing envelope like angular frequency, in t. Quite nice.
Holy cow! It pays to be a whistleblower in securities. Its probably a fairly good career path to seek being a mole in crummy investment banks just for the payout.
With the way this optimizes it would produce crap, even if using the same seed frame to frame. One very interesting prospect is in taking the motion vectors out of the video and applying them to overlapping primitives in the shape data form as a first step to apply when fitting the shapes, that is to do this greedy hill climb in tandem with mpeg motion decoding. Maybe it wouldn't be too hard but it's not something I've got the motivation to try out and tweak right now
I recently read a paper [1] by the author of asymetric numerical systems fame, Jarek Duda, which I found a fun dive into what I realized was Bohmian mechanics. It was chuck full of typos and hand waiving, but it was pretty approachable as a short dive through how one might get from basic mechanics of ellipsoid potentials to standard model particles. It posits a view of maximum entropy among all potential paths in space-time in a Lagrangian framework determines physics. Fun to think about, but I'm not sure if anyone has explored enough to see if it really can get to some of the tricky corners of phenomenology.
Uh I always saw the analysis packages specific to a domain being pushed so hard on students as their exclusive means of learning material to be this form of colonization. Matlab, SAS, Mathematica, each pushed in programs I enrolled in and students out of them are dependent so much they are guranteed buys (and set the next generation into working 'ONLY' via those software). Sure they have competitors, but there is so much lock-in that practically if you learned how to do all your analysis for a particular program in one you are never leaving and totally dependent. Some like me resist. Use R! Octave! Maxima! Of course the classes would ask for things specifically not easy to do in the free versions that are nearly turn-key in the commercial ones. This form of 'get-em before they know any better' should be regulated (by the university, not the government), and professors should be encouraging unique solutions, not punishing out of the box thinking. Whatever, its an empire, carved up for the industrialists and investors. Nothing to see here, move along.
Right, and chrome is trying _Hard_ to make that happen, whereas opera, firefox, etc, are not necessarily automatically upgrading to https:// where possible from http:// URIs, etc. Its highly unrepresentative of anything but a google chrome user experience.
That metadata is surely still useful when you know frequency and target IP addresses. In addition not everyone uses google services and browsers, and so its really narrow to say 'chrome is encrypted, so who cares?'... This metadata by the way is exactly how you can calculate correspondence and association of graphs of people and information. How is that not exactly a breach of exactly what people fear most? It doesnt matter what data you are looking at, it matters who else is looking.
Solid state as a term is a discipline of materials, practically speaking it's a bad idea to overload it with your imprecise generalization. Solid state as mentioned above specifically refers to a lack of moving parts (even at a micron level). In this space without multibody dynamics some wave properties are determinable in a much more deterministic sense.
Does anyone else think the NIH online reader is a disastrous UI for mobile? I mean yes there is a PDF link at the top, please don't point out the obvious. I just mean who the heck checked the box to accept this work, or worse yet demanded this horrible pagination interface? I'm sure that they've been promoted to the highest levels in this fail-up world...
Even in your own comment, equating Superposition and linear combination, you are almost there but not quite. A spanning set of linear combinations is not the same thing as reference to the concept of linear combinations. One might argue small difference, but we are talking about the precision of language here.
I noticed that the job app lists US Citizenship as required for ITAR. This is not true, Legal Permanent Residents are in fact US persons for ITAR requirements.
I wonder what the limits are on that, and if it chains very deeply, e.g mreg ("memory register") to op to mreg to op to mreg.... What's the limit? Can this be used to extend the optimization of some chained computations via a kind of unrolling?
Such a mixed signal from that blog. At first it explained broken security, and then recommended I run only binaries passed down from God. Luckily I'm a believer in rational security and wouldn't run this program if I actually cared about security.
The intel Kaby Lake G processors are Radeon RX Vega M GL/GH paired on-die with an 8th gen core series processor over an internal PCIE 3 x8 link. Seems like they could do much better, but its the only such product I know of.
This could have used an earlier definition (as in IN THE ABSTRACT) of what the CHERI system hopes to accomplish. A dialect for memory safe pointer access and other architectural capabilities built into pointers
I am guessing this work didn't end, its just in the dark world. I would really love to work with a 2-3 ghz dynamically reconfigurable FPGA. I wonder if we will see them in a public setting any time soon. It seems the foundation is there.
I think it would be pretty interesting to scrape the site for celeb prices over time and analyze them. At the least it would be a hilarious stock ticker to put in a waiting area or restroom
I would say the kalman filter is quite appropriate where the state is our model of the world, the 'page flip' as a state update based on observation. Also the same as a Bayesian model update:
Super fun: In the full model { 5%, 3%, 5, 3, 0.25, 5, 14 } led to a walking sprawl of disease in a healthy population that lasted a long time, turning down the incubation days by 2 made it slower. The rate of new infections eventually eventually tapered off because the virus encountered its own sprawl like a growing structure in Go. Seems like a STD.