HackerTrans
TopNewTrendsCommentsPastAskShowJobs

jesuslop

638 karmajoined قبل 12 سنة
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
·قبل 6 ساعات·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
·أول أمس·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
·قبل 3 أيام·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
·قبل 23 يومًا·discuss
Agreed, Media player classic is the Winamp of video.
jesuslop
·الشهر الماضي·discuss
check mate
jesuslop
·الشهر الماضي·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
·الشهر الماضي·discuss
news impact oil futures, inflation expectations, fed rates, discounted cash flows then valuations.
jesuslop
·الشهر الماضي·discuss
Markets are looking revenue figures and forward guidance.
jesuslop
·قبل شهرين·discuss
amazing this is measured
jesuslop
·قبل شهرين·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
·قبل شهرين·discuss
Not just no money in, but actual money out. RSS is a hole in user funnel inflow to platform.
jesuslop
·قبل شهرين·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
·قبل 3 أشهر·discuss
A bit late thanks, and a respectful hat tip.
jesuslop
·قبل 3 أشهر·discuss
The Showstoppers book by G. Pascal Zachary is an entertaining account of NT uprising.
jesuslop
·قبل 3 أشهر·discuss
Colinux was a tech feat, just not that many people noticed.
jesuslop
·قبل 3 أشهر·discuss
autotools felt old even in 90's
jesuslop
·قبل 3 أشهر·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
·قبل 3 أشهر·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
·قبل 4 أشهر·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
·قبل 4 أشهر·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!