HackerTrans
TopNewTrendsCommentsPastAskShowJobs

jesuslop

638 karmajoined hace 12 años
A software engineer during the day, the rest of time an amateur mathematician as the own word says: doing something nobody pays me to do, and something that I love.

comments

jesuslop
·hace 3 horas·discuss
That is a sensible way of turning chaos into order, but let a contrarian voice tell an alternative story. I think filesystem pdf organizing is underrated. I have been curating a tree along years and now I know where to park new pdfs by heart in there. Wrote an arxiv button adder with grease-monkey to save pdfs with title, year and authors as file-name. Windows have a nice abstract property system that can use pdf (bib) metadata by installing a shell extension, that you can use in Explorer, where you can customize displayed fields. Classic Windows search offers a good background indexed database of content and metadata for local files. You just need an "IFilter" component to let it see inside the pdf text layer (suamtraPDF cames with one). It is the kind of functionality one would expect of a commercial product, just for the windows license. Beyond File Explorer, You can query the index from scripting or dot-net. I wrote a flow-launcher plugin to making searching faster than from Explorer search text input. Search supports "saved searches", saving queries in xml. I use a lot two, listing the saved pdfs of the last week and the last month. Windows is weird in having that cute infra built-in, but just having left unfinished the last glue code needed to give some good user experiences managing docs.
jesuslop
·anteayer·discuss
mmh I'd don't say that much, I think the logic and math foundations is common in both classic and quantum theories, only content changing, so you would say "import mathlib" from both classic-phys.lean and quant-phys.lean if writing Lean proof assistant code (I am guessing the "import" command). Concepts from linear algebra as eigendecomposition, to say something, will be used in both applications.
jesuslop
·hace 3 días·discuss
I think Gödel undecidable sentence is always relative to a formal system (the title of the paper spoke about systems in the expressive power rank of Russell's Principia, of which he gives one particular example assuming it shows how his methods apply to the whole family of systems), but now Hilbert problem #6 still stands for the lack of a comprehensive axiomatization of Physics, as its modern heir the mass-gap millennium problem, that still also lingers, so we don't have a controllable notion of naked/absolute undecidability for physical phenomena or for arbitrary assertions unbound by explicit logic rules in general.
jesuslop
·hace 23 días·discuss
Agreed, Media player classic is the Winamp of video.
jesuslop
·el mes pasado·discuss
check mate
jesuslop
·el mes pasado·discuss
Yep the MV3 thing was my ticket out also here. And some benchmarks about firefox better memory usage. All their parlance about they "protecting us" is patronizing.
jesuslop
·el mes pasado·discuss
news impact oil futures, inflation expectations, fed rates, discounted cash flows then valuations.
jesuslop
·el mes pasado·discuss
Markets are looking revenue figures and forward guidance.
jesuslop
·hace 2 meses·discuss
amazing this is measured
jesuslop
·hace 2 meses·discuss
The music analogy is very pleasant. Let me share another stab with similar inspiration. The parallel I'd make is with harmony. For instance in LOTR Dominant is when Frodo and Gollum struggle at the cliff of Mount Doom, they lose control of the Ring that makes an upwards arc spinning. Max tension. Fast forward, Frodo returns to Shire, music is at home again. Tension resolves. (Tonic). So setup, conflict, resolution would be pre-dominant, dominant and tonic. Subplots are secondary dominants.
jesuslop
·hace 2 meses·discuss
Not just no money in, but actual money out. RSS is a hole in user funnel inflow to platform.
jesuslop
·hace 2 meses·discuss
Reports of the death of large swathes of the internet have been greatly exaggerated. This guy blog post "RSS Feeds Send Me More Traffic Than Google" is evidence by existing (personal web blog) more than by making the point. https://tinyurl.com/5n8cub5a
jesuslop
·hace 3 meses·discuss
A bit late thanks, and a respectful hat tip.
jesuslop
·hace 3 meses·discuss
The Showstoppers book by G. Pascal Zachary is an entertaining account of NT uprising.
jesuslop
·hace 3 meses·discuss
Colinux was a tech feat, just not that many people noticed.
jesuslop
·hace 3 meses·discuss
autotools felt old even in 90's
jesuslop
·hace 3 meses·discuss
Just to confirm it is true. This is LaLiga bringing down essential country-wide infrastructure on soccer hours if your internet access is through main ISPs.
jesuslop
·hace 3 meses·discuss
I think "Foundation" axiom F forbids your recursive set, and there are models of both core set theory satisfying either F or ¬F, so F is independent of core set theory (core -> not including F or ¬F). F is normally assumed in set theory, but Aczel has worked with "ill" founded (¬F) set theory models. Just as with the axiom of choice. No religion wars, just people pushed to be explicit with assumptions.
jesuslop
·hace 4 meses·discuss
Hi Nick, the lag is quite bad in the field, honest. In desktop app in this case/datapoint. There was that "halt and catch fire" episode where they spoke about a millisencod threshold of delay that separated usability and non. Solvent hw and fiber connection.
jesuslop
·hace 4 meses·discuss
Nice summary, saving it. If author is around, Bellman equation label ended overlapped to eqn., and pargraph quoting signs got into HJB displayed one. Suggest changes is 404 not found. Liked the presentation overall, thank you!