Vera T. Sós is a Hungarian mathematician known for her contributions to various areas of mathematics, particularly in combinatorics and graph theory. She has published numerous research papers and articles and has been involved in educating the next generation of mathematicians. In addition to her research work, she is recognized for her role in promoting mathematics through various initiatives and collaborations.
William Henry Whitfeld was a notable figure in the field of civil engineering and transportation. He is best known for his work on various railway projects and contributions to the development of transportation infrastructure.
Zoltán Füredi is a mathematician known for his contributions to various areas of mathematics, particularly in combinatorics, discrete geometry, and graph theory. He has authored numerous research papers and has been involved in collaborative work within the mathematical community.
Discrete Applied Mathematics is a branch of mathematics that focuses on discrete structures and their applications in various fields, such as computer science, operations research, information theory, cryptography, and combinatorial optimization. Unlike continuous mathematics, which deals with concepts that vary smoothly (such as calculus), discrete mathematics focuses on distinct and separate values, making it particularly relevant for problems involving finite systems or objects.
The European Journal of Combinatorics is a peer-reviewed academic journal that focuses on the field of combinatorics, which is a branch of mathematics dealing with the study of finite or discrete structures. The journal publishes research articles that cover a wide range of topics in combinatorics, including but not limited to graph theory, design theory, combinatorial optimization, and enumerative combinatorics.
Chiron is a hypothetical moon that has been proposed in discussions about celestial bodies in our solar system. It is not currently recognized as an existing moon orbiting any planet, but rather a concept that appears from time to time in hypotheses or discussions related to the search for moons or related phenomena around various celestial objects, particularly dwarf planets or asteroids in the Kuiper Belt.
In formal language theory, "alternation" refers to a concept primarily associated with alternating automata, a type of computational model that generalizes nondeterministic and deterministic automata. Alternating automata can be thought of as extending the idea of nondeterminism by allowing states to exist in a mode where they can make choices that are universally quantified (for all possible transitions) or existentially quantified (for some transition).
Tested on Ubuntu 23.10;
git clone https://github.com/google-deepmind/mujoco
cd mujoco
git checkout 5d46c39529819d1b31249e249ca399f306a108ac
mkdir -p build
cd build
cmake ..
make -jNow let's play. Minimal interactive UI simulation of a simple MJCF scene with one falling cube:Test soure code: github.com/google-deepmind/mujoco/blob/5d46c39529819d1b31249e249ca399f306a108ac/sample/basic.cc. The only thing you can do is rotate the scene with the computer mouse it seems. Mentioned at: mujoco.readthedocs.io/en/2.2.2/programming.html#sabasic
bin/basic ../doc/_static/hello.xmlSome more interesting models can be found under the
model/ directory: github.com/google-deepmind/mujoco/tree/5d46c39529819d1b31249e249ca399f306a108ac/model E.g. the imaginary humanoid robot DeepMind used in many demos can be seen with:bin/basic ../model/humanoid/humanoid.xmlA more advanced UI with a few controls:Test soure code: github.com/google-deepmind/mujoco/tree/5d46c39529819d1b31249e249ca399f306a108ac/simulate. Mentioned at: mujoco.readthedocs.io/en/2.2.2/programming.html#sasimulate
bin/simulate ../doc/_static/hello.xmlA very cool thing about that UI is that you can manually control joints. There are no joints in the hello.xml, but e.g. with the humanoid model:under "Control" you move each joint of the robot separately which is quite cool.
bin/simulate ../model/humanoid/humanoid.xmlThere's also a Mentioned at: mujoco.readthedocs.io/en/2.2.2/programming.html#sarecord but TODO that produced a broken video, related issues:
bin/record test executable that presumably renders the simulation directly to a file:bin/record ../doc/_static/hello.xml 5 60 rgb.out
ffmpeg -f rawvideo -pixel_format rgb24 -video_size 800x800 -framerate 60 -i rgb.out -vf "vflip" video.mp4Dejean's theorem, which is named after the French mathematician François Dejean, is a result in combinatorial theory concerning sequences of words over a finite alphabet. Specifically, it addresses the concept of "universal sequences" or "universal words.
The Graham–Rothschild theorem is a result in set theory, particularly in the area of infinite combinatorics. It deals with the properties of certain kinds of partitions of the natural numbers, specifically the partition relations involving sequences and subsets. The theorem states the following: If a family of sets of natural numbers (or more generally, a collection of sets) has a certain property related to partitioning, then it must contain subsets that exhibit a specific structure.
A **hyperbolic group** is a type of group that exhibits a particular geometric property related to negative curvature. The concept of hyperbolic groups originates from the study of hyperbolic geometry and plays a significant role in geometric group theory.
Levi's lemma, also known as the Lebesgue’s dominated convergence theorem, is a result in the theory of integration, specifically concerning the conditions under which one can interchange limits and integrals.
CIA 2010 covert communication websites Wakatime redirects by 
Ciro Santilli 37 Updated 2025-06-17 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-06-17 +Created 1970-01-01Summary: this is just a red herring. Wakatime owner likely registered the domains just after this article was published as a publicity stunt. Fair play though.
As raised at: news.ycombinator.com/item?id=36280666, many, but not all, of the domains currently redirect to wakatime.com/ as of 2023, and apparently they were taken up in 2013 (TODO how to confirm that). TODO what is the explanation for that? Some examples that do:But some failed resolution examples:Even more suspiciously, according to his LinkedIn: www.linkedin.com/in/alanhamlett/, the owner of Wakatime, Alan Hamlett, worked at WhiteHat Security, Inc from Aug 2011 - Sep 2013. The company was then acquired by Synopsys in 2022. Holy crap!!! As shown at: web.archive.org/web/20131013193406/https://www.whitehatsec.com/ that company made website security tools. Did that dude use the tools to find the vulnerabilty and then just gobble up all the domains??? What a fucking legend if he did!!!
Let's try:
Running e.g.gives:so we see that he must have setup redirection with Namecheap as mentioned at: www.namecheap.com/support/knowledgebase/article.aspx/385/2237/how-to-redirect-a-url-for-a-domain/
curl -vvv dedrickonline.com* Trying 162.255.119.197:80...
* Connected to dedrickonline.com (162.255.119.197) port 80 (#0)
> GET / HTTP/1.1
> Host: dedrickonline.com
> User-Agent: curl/7.88.1
> Accept: */*
>
< HTTP/1.1 301 Moved Permanently
< Date: Mon, 12 Jun 2023 20:30:19 GMT
< Content-Type: text/html; charset=utf-8
< Content-Length: 55
< Connection: keep-alive
< Location: https://wakatime.com
< X-Served-By: Namecheap URL Forward
< Server: namecheap-nginx
<
<a href='https://wakatime.com'>Moved Permanently</a>.
* Connection #0 to host dedrickonline.com left intactLet's also try DNS history
- whoisrequest.com/history/:
- tools.whoisxmlapi.com/whois-history-search
- dedrickonline.com:
- CIA (registrar: Godaddy, registrant name: domainsbyproxy.com)
- Created Date: October 27, 2010 00:00:00 UTC
- Updated Date: October 28, 2013 00:00:00 UTC
- Expires Date: October 27, 2014 00:00:00 UTC
- Alan (namecheap):
- Created Date: June 11, 2023 09:59:25 UTC
- Expires Date: June 11, 2024 09:59:25 UTC
- CIA (registrar: Godaddy, registrant name: domainsbyproxy.com)
- activegaminginfo.com:
- CIA (Network Solutions, registrant name: LLC. Corral, Elizabeth|ATTN ACTIVEGAMINGINFO.COM|care of Network Solutions)
- Created Date: January 26, 2010 00:00:00 UTC
- Updated Date: November 27, 2010 00:00:00 UTC
- Expires Date: January 26, 2012 00:00:00 UTC
- Alan:
- Created Date: June 11, 2023 09:59:40 UTC
- Expires Date: June 11, 2024 09:59:40 UTC
- CIA (Network Solutions, registrant name: LLC. Corral, Elizabeth|ATTN ACTIVEGAMINGINFO.COM|care of Network Solutions)
- iraniangoalkicks.com:
- iraniangoals.com:
- CIA (registrar: Godaddy, registrant name: domainsbyproxy.com):
- Reuters:
- Created Date: September 29, 2022 11:16:09 UTC
- Updated Date: September 29, 2022 11:16:09 UTC
- Expires Date: September 29, 2023 11:16:09 UTC
- dedrickonline.com:
So these suggest Alan might have just come along in 2023 way after the 2022 Reuters article and did the same basic IP range search that Ciro is doing now, so possibly no new tech. Let's ask... twitter.com/cirosantilli/status/1668369786865164289
Searching tools.whoisxmlapi.com/reverse-whois-search with term "Corral, Elizabeth" gave no results unfortunately.
Basic search under tools.whoisxmlapi.com/reverse-whois-search for "Corral" also empty. They can't see their own data? Ah, need advanced. Marked "Historic" and selected "Corral, Elizabeth", ony one hit, activegaminginfo.com.
The Necklace Splitting Problem is a well-known problem in combinatorial optimization and computer science, particularly in the area of fair division and resource allocation. The problem can be described as follows: Consider a necklace made up of \( n \) different types of beads, where each bead can be seen as a "piece" that has some value.
The term "parameter" can have different meanings depending on the context in which it is used. Here are a few common interpretations: 1. **Mathematics and Statistics**: In mathematical functions, a parameter is a variable that is not of primary interest but can be used to define a family of functions. For example, in the equation of a line, the slope and intercept are parameters that affect the line's position and orientation.
Shift space refers to a concept in the context of computing, programming, and sometimes in mathematical modeling. However, the term can have different meanings depending on the domain: 1. **In Programming/Software Development**: Shift space is commonly associated with the idea of manipulating data structures or managing user interface elements, especially in environments where the "shift" key is used to modify the actions of other keys or commands (for example, holding Shift while clicking to select multiple files).
Pinned article: ourbigbook/introduction-to-the-ourbigbook-project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.
Figure 3. Visual Studio Code extension installation.
Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. 
- Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact