SPB Git

spb/localvm-research Public License

Running LLMs larger than memory on a consumer Mac — falsification-driven research: margin-gated deferred refinement, out-of-core verification on Apple Silicon. TR-01 published.

Python 63.2% JavaScript 23.5% CSS 11.8% Shell 0.9% Makefile 0.5%
4.5 KB · 69 lines json
Raw Blame History
1{2  "author": "Simon-Pierre Boucher",3  "contact": "contact@spboucher.ai",4  "project": "localvm-research",5  "description": "Cross-domain eval prompts (charter section 8.2/9): code, math, chat, French, English prose, reasoning. Used for teacher-forced decision-stability and importance-trace experiments.",6  "domains": {7    "code": [8      "Write a Python function that merges two sorted lists into one sorted list without using sort().",9      "Explain what this C snippet does: `while (*d++ = *s++);` and why it is dangerous.",10      "Implement a least-recently-used cache in Python using collections.OrderedDict.",11      "Write a SQL query returning the three highest-revenue customers per region.",12      "Refactor this loop into a list comprehension: result = []\nfor x in items:\n    if x > 0:\n        result.append(x * 2)",13      "Write a shell one-liner that finds the 10 largest files under /var/log.",14      "Explain the difference between a mutex and a semaphore with a short code example.",15      "Write a JavaScript debounce function and explain when to use it."16    ],17    "math": [18      "Compute the derivative of f(x) = x^3 * ln(x) and simplify.",19      "A train travels 240 km in 3 hours, then 180 km in 2 hours. What is its average speed for the whole trip?",20      "Prove that the sum of two odd integers is even.",21      "Solve the system: 2x + 3y = 12 and x - y = 1.",22      "What is the probability of getting exactly two heads in four fair coin flips?",23      "Factor the polynomial x^2 - 5x + 6 and verify the roots.",24      "A rectangle's perimeter is 36 and its length is twice its width. Find its area.",25      "Explain why the harmonic series diverges."26    ],27    "chat": [28      "I'm feeling overwhelmed at work lately. Any advice on how to handle it?",29      "What's a good gift idea for a friend who loves cooking?",30      "Can you help me write a polite email declining a meeting invitation?",31      "I'm planning a weekend trip to Montreal. What should I not miss?",32      "How do I politely tell my roommate they're too loud at night?",33      "What are some tips for staying motivated when learning a new language?",34      "My laptop feels slow. What are the first things I should check?",35      "Suggest a simple weekly meal-prep plan for someone who works long hours."36    ],37    "french": [38      "Explique la différence entre l'imparfait et le passé composé avec des exemples.",39      "Rédige un court paragraphe décrivant l'hiver à Québec.",40      "Quels sont les principaux fleuves de France et où se jettent-ils ?",41      "Traduis en français : 'The experiment failed, but the data revealed something unexpected.'",42      "Écris une recette simple de soupe à l'oignon en cinq étapes.",43      "Résume en trois phrases l'intrigue du Petit Prince.",44      "Explique ce qu'est la francophonie à un enfant de dix ans.",45      "Rédige une lettre de motivation courte pour un stage en informatique."46    ],47    "english": [48      "Write a short paragraph describing a lighthouse at dawn.",49      "Summarize the causes of the French Revolution in five sentences.",50      "Explain the difference between 'affect' and 'effect' with examples.",51      "Describe the water cycle as if teaching a ten-year-old.",52      "Write the opening paragraph of a mystery novel set in a small coastal town.",53      "Explain what photosynthesis is and why it matters for life on Earth.",54      "Draft a short product description for a mechanical keyboard.",55      "Describe the plot of Romeo and Juliet in one paragraph."56    ],57    "reasoning": [58      "If all bloops are razzies and all razzies are lazzies, are all bloops necessarily lazzies? Explain step by step.",59      "Alice is taller than Bob. Carol is shorter than Bob. Dave is taller than Alice. Order them by height and explain.",60      "A farmer needs to cross a river with a wolf, a goat, and a cabbage. The boat holds only one item at a time. How does he do it?",61      "Three boxes are labeled 'apples', 'oranges', 'mixed' — all labels are wrong. You may pick one fruit from one box. How do you relabel all boxes correctly?",62      "If it takes 5 machines 5 minutes to make 5 widgets, how long does it take 100 machines to make 100 widgets? Explain the common mistake.",63      "You have two ropes that each burn in exactly 60 minutes but non-uniformly. How do you measure 45 minutes?",64      "A bat and a ball cost $1.10 together. The bat costs $1.00 more than the ball. How much is the ball? Show the algebra.",65      "Why can't you conclude that ice cream causes drowning even though sales and drownings are correlated?"66    ]67  }68}69