Goto

Collaborating Authors

 library


Two free apps every eBook reader should know about

PCWorld

When you purchase through links in our articles, we may earn a small commission. Libby and Hoopla give you instant access to thousands of digital books, audiobooks, and other media from your local library. Today, you don't even need to physically visit your local library to enjoy the books it offers. If you have a library card, there's a good chance you can borrow eBooks, audiobooks, comics, movies, TV shows, and even music without ever walking into a branch. My two favorite apps for this are Libby and Hoopla, and they're both completely free through participating libraries.


How I get free Kindle books without breaking the rules

PCWorld

PCWorld reveals three legitimate strategies for accessing free Kindle books, including Amazon's hidden free section, library borrowing through Libby, and public domain collections.


I turned my Plex library into 24/7 streaming channels with this free app

PCWorld

PCWorld reviews Bunny Ears TV, a new Apple TV app that transforms your Plex Media Server library into 24/7 streaming channels with cable-like navigation. The app creates up to 26 themed channels from personal video collections, offering ad-free channel surfing with DVR controls and customizable features. Despite some usability issues and bugs, it provides an effective alternative to ad-heavy free streaming services for $3/month or $30 lifetime. While lots of free streaming services offer lineups of live TV channels to flip through, they all have the same problem: You're not in control of the content, and you're constantly interrupted by ads. A new app called Bunny Ears TV aims to solve those problems with help from Plex Media Server. If you have an Apple TV box and your own collection of movie or TV files in Plex, Bunny Ears TV can spin them into dozens of round-the-clock streaming channels with practically no effort. It's a neat app that mimics the channel surfing of cable using your own content, but unlike with cable, there are no commercial breaks.


Learning Effective Soliton Dynamics from Scattering Data

arXiv.org Machine Learning

In such settings, the inverse scattering transform (IST) of Ablowitz, Kaup, Newell, and Segur [2] has enjoyed a rich and successful history, and is now the standard theoretical framework for deriving reduced-order evolution equations for soliton dynamics. Although these derivations are traditionally of an analytical - rather than data-driven - nature, recent work has employed the IST formalism as a tool for experimental data analysis, using the technique to analyze soliton content from empirical measurements [8, 15, 24]. Moreover, recent approaches using alternative parameterization techniques have demonstrated that the learning of reduced-order, interpretable equations of motion for solitons is tenable in a data-driven setting [6, 26, 27]. Despite the success of this recent work, however, little effort has been devoted to developing a data-driven modeling approach based on the IST itself, most likely due to the fact that the framework is fundamentally problem-specific. In this paper, we address the question of whether effective soliton dynamics can be inferred directly from observed scattering data (as opposed to being derived or approximated analytically).


Lost books by ancient philosophers recovered from 'unreadable' scrolls

New Scientist

Lost books by ancient philosophers recovered from'unreadable' scrolls Long-lost works of ancient philosophy have been recovered from papyrus scrolls that were scorched by the AD 79 eruption of Mount Vesuvius and thought to be impossible to read. For the first time, researchers have used AI to extract the entire surviving text from super-high-resolution 3D scans of a scroll without unrolling it. The scrolls come from the library of Herculaneum, which was buried along with Pompeii nearly 2000 years ago. Scholars have been trying to read the carbonised scrolls, which resemble lumps of charcoal, since the library was discovered in 1752. Physically unwrapping them risks their destruction and the ink they are written in is mostly indistinguishable from the charred papyri - at least to human eyes.


Hold the onions โ€“ and see if they make you cry

New Scientist

Feedback could never be a professional chef. That's partly because there is no way we could stand the pressure of such a frantic work environment, to say nothing of the stress of potentially running into Gordon Ramsay. But mostly it's because we would tear up every time we had to chop an onion. The reason some of us cry when we chop onions is a chemical called syn-propanethial-S-oxide, which gets sprayed into the air . It triggers the trigeminal nerve, which, in turn, activates the tear ducts to wash away the irritating chemical.


AI helps read papyrus scroll burnt to crisp during Vesuvius eruption

The Guardian

The scroll was recovered from the library of a luxury Roman villa in Herculaneum, near Naples, that was blasted by heat and buried under ash in AD79. The scroll was recovered from the library of a luxury Roman villa in Herculaneum, near Naples, that was blasted by heat and buried under ash in AD79. The surviving part of an ancient scroll that was burnt to a crisp when Mount Vesuvius erupted nearly 2,000 years ago has been virtually unwrapped and read with help from artificial intelligence. Researchers uncovered 20 columns of previously hidden text covering more than a metre of charred papyrus without physically unrolling the scroll. The age of the scroll, named PHerc 1667, makes it one of the oldest in a collection of hundreds recovered from the library of a luxury Roman villa in Herculaneum that was blasted by heat and buried under ash in the volcanic eruption that destroyed nearby Pompeii in AD79.


Tree-Based Premise Selection for Lean4

Neural Information Processing Systems

Premise selection is a critical bottleneck in interactive theorem proving, particularly with large libraries. Existing methods, primarily relying on semantic embeddings, often fail to effectively leverage the rich structural information inherent in mathematical expressions. This paper proposes a novel framework for premise selection based on the structure of expression trees. The framework enhances premise selection ability by explicitly utilizing the structural information of Lean expressions and by means of the simplified tree representation obtained via common subexpression elimination. Our method employs a multi-stage filtering pipeline, incorporating structure-aware similarity measures including the Weisfeiler-Lehman kernel, tree edit distance, $\texttt{Const}$ node Jaccard similarity, and collapse-match similarity. An adaptive fusion strategy combines these metrics for refined ranking. To handle large-scale data efficiently, we incorporate cluster-based search space optimization and structural compatibility constraints. Comprehensive evaluation on a large theorem library extracted from Mathlib4 demonstrates that our method significantly outperforms existing premise retrieval tools across various metrics. Experimental analysis, including ablation studies and parameter sensitivity analysis, validates the contribution of individual components and highlights the efficacy of our structure-aware approach and multi-metric fusion.


Gymnasium: AStandardized Interface for Reinforcement Learning Environments

Neural Information Processing Systems

Reinforcement Learning (RL) is a continuously growing field that has the potential to revolutionize many areas of artificial intelligence. However, despite its promise, RL research is often hindered by the lack of standardization in the environment and algorithmic implementations. This makes it difficult for researchers to compare and build upon each other's work, slowing progress in the field. Gymnasium is an open-source library that provides a standardized API for RL environments, aiming to tackle this issue, with over 18 million installations. Gymnasium's main feature is a set of abstractions that allow for wide interoperability between environments and training algorithms, making it easier for researchers to develop and test new environments and/or RL algorithms. In addition, Gymnasium provides a collection of built-in easy-to-use environments, tools for easily customizing environments, and tools to ensure the reproducibility and robustness of RL research. Through this unified framework, Gymnasium significantly streamlines the process of developing and testing RL algorithms, enabling researchers to focus on innovation and less on implementation details. By providing a standardized platform for RL research, Gymnasium helps to drive forward the field of reinforcement learning and unlock its full potential.


couch 150 200 50 0 d

Neural Information Processing Systems

To encode structure, FactoredScenes learns are dra a wn, library then of uses functions large language capturing models reusable to generate layout patterns high-lev from el programs, which scenes regularized a program-conditioned by the learned library model . T to o represent hierarchically scene predict variations, object FactoredScenes poses, and retrie learns ves and real-w places orld 3D rooms objects that in are a dif scene.